Jacobian Conjecture

Claude Fable 5 построила отображение седьмой степени с постоянным Якобианом -2, которое всё равно отправляет три разные точки в один результат — ломая обещание 87-летней гипотезы, что такие отображения обязаны быть обратимыми.

Пост Тао восстанавливает эту конструкцию по кускам, а не называет её чудом, и признаётся, что опирался на AI-чат-бота, чтобы проверить собственную математику.

Один из давних комментаторов написал, что разбор потерял его на алгебре, и отправил всех к самой переписке Тао с чат-ботом как к более понятному объяснению.

Три многочлена от трёх комплексных переменных с якобианом ровно -2 переводят три разные точки в одну — именно такое совпадение гипотеза запрещала.

Один из самых обсуждаемых комментариев был не про математику: автор поста сам говорил о совместной работе двух человек и модели, а не о подвиге ИИ-одиночки. Математики раскололись — от «это просто лёгкие остатки» до «нам, похоже, немного хана».

От аспирантов теперь ожидают $200 в месяц за доступ к моделям вроде Sol и Fable — Гарвард уже оплачивает подписку каждому студенту, постдоку и преподавателю на математическом факультете.

Не всех в треде впечатлил результат: один комментатор поднял историю цитирований гипотезы Якобиана и обнаружил, что математики сузили пространство поиска ещё в 1983 году — ИИ не открыл новую территорию, а просто наконец её обошёл.