Одна из старейших открытых задач алгебраической геометрии, возможно, получила контрпример в виде одного сообщения в соцсети. Математик Левент Алпоге опубликовал конкретное полиномиальное отображение трёхмерного комплексного пространства, у которого определитель Якоби якобы везде равен −2, но три разные точки переходят в одну. Если формула записана без ошибок и вычисления подтвердятся, этого достаточно, чтобы опровергнуть гипотезу Якоби. Не отдельный её вариант и не вспомогательное утверждение, а классическую гипотезу в общей постановке...

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