ИИ опровергает многолетнюю математическую гипотезу — «крупнейшую догадку», в которой эта технология, как считали, сыграла роль

Во время финала чемпионата мира по футболу математик Левент Алпёге (Anthropic и Гарвард) объявил об опровержении давней гипотезы — якобиановой гипотезы — с помощью модели ИИ Claude Fable 5 компании Anthropic. Алпёге опубликовал в X фразу «the jacobian conjecture is false», перечислив конструкцию многочленного отображения C^3→C^3; затем независимые математики подтвердили корректность результата. Сообщается, что идею предложил Акил Мэтью (Чикагский университет), а роль ИИ в этом открытии назвали одним из крупнейших случаев участия машин в доказательной математике. Якобианова гипотеза, в исходной форме предложенная в XIX веке и переработанная Оттом-Хайнрихом Келлером в 1939 году, касается инверсии полиномиальных отображений. Открытие привлекает внимание как к потенциальным возможностям ИИ в исследовательской математике, так и к вопросам проверки и верификации таких результатов сообществом учёных.