Искусственный интеллект опроверг гипотезу якобиана, которую математики пытались доказать 87 лет. О нестандартном решении рассказал Левент Альпёге из Гарвардского университета. Математик опубликовал в соцсети X контрпример, который ему подсказал Claude Fable 5 от компании Anthropic. В своем твите Альпёге поблагодарил «близкого друга Fable» за работу во время финала чемпионата мира по футболу. В общем виде проблему якобиана, предполагавшую обратимость определенных математических функций, сформулировал немецкий математик Отто-Генрих Келлер в 1939 году...

Гипотеза Якоби продержалась 87 лет. Многие математики считали её настолько естественной, что искали доказательство, а не опровержение. Но в июле 2026 года модель Claude Fable помогла обнаружить короткий контрпример в трёх переменных. Его удалось быстро проверить, в том числе с помощью системы формализации Lean. Сам по себе этот результат уже тянет на историческую новость. Однако ещё интереснее общий фон: за несколько недель системы искусственного интеллекта нашли сразу несколько контрпримеров к старым...