Claude Fable опроверг Гипотезу Якобиана

Это была одна из главных открытых задач в алгебраической геометрии, сформулированная в 1939 году.
hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final

((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3 to \C^3, has jacobian
Писать тут формулировку самой задачи не буду, т. к. я все равно совершенно ничего не понимаю.
Твит срешением запостил у себя один из сотрудников Антропик. Судя по отзывам математиков в комментах и тому, что мне сказал GPT, решение верное. Fable нашел контрпример для размерности 3. Из этого автоматически следует опровержение и для бОльших размерностей. Но вот гипотеза для размерности 2 пока остается открытой.
Также в комментах пишут, что опровержение этой гипотезы, возможно, влечет за собой опровержение гипотезы Диксмье и гипотезы Пуассона.
В мае внутренняя модель OpenAI опровергла гипотезу Эрдеша о единичных расстояниях.