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