Твит утверждает: Claude Fable опровергла гипотезу 87-летней давности
Математик Левент Алпож опубликовал в X контрпример, разрушающий гипотезу Якобиана, — и приписал заслугу другу по имени Ахил и модели Claude Fable. Ни журнала, ни препринта на arXiv: математики разобрали пост по косточкам в комментариях за несколько часов.
Три многочлена от трёх комплексных переменных с якобианом ровно -2 переводят три разные точки в одну — именно такое совпадение гипотеза запрещала.
Один из самых обсуждаемых комментариев был не про математику: автор поста сам говорил о совместной работе двух человек и модели, а не о подвиге ИИ-одиночки. Математики раскололись — от «это просто лёгкие остатки» до «нам, похоже, немного хана».
Что именно опубликовал Алпож: якобиан -2 и ни одной статьи на arXiv
Гипотеза Якобиана утверждает: любое полиномиальное отображение с постоянным ненулевым якобианом обратимо всюду, где определено. 20 июля математик Левент Алпож опубликовал отображение — три многочлена от комплексных переменных x, y и z с якобианом ровно -2, — которое переводит три разные точки, среди них (0, 0, -1/4) и (1, -3/2, 13/2), в один и тот же результат. Если арифметика верна, отображение необратимо, и гипотеза не выдерживает проверки.
Алпож в посте поблагодарил двух соавторов: друга по имени Ахил — «за то, что спросил об этом», и Claude Fable — за саму работу, проделанную «во время финала чемпионата мира». Результат он выложил в X, продублировав на xcancel.com, а не отправил в arXiv или журнал. У гипотезы есть доказанные эквивалентности: вместе с ней падают гипотеза Диксмье для третьей алгебры Вейля и гипотеза Пуассона — эту связь несколько комментаторов в треде на HN независимо друг от друга вывели уже в первый час.
Поправка, которая обогнала восторги: Fable работала не одна
Один из самых читаемых ответов зацепился не за арифметику, а за формулировку самого объявления.
«Где вообще сказано, что контрпример «произвела» Fable? В твите написано, что это была совместная работа двух человек — с использованием Fable.»
— комментатор, перечитавший точную формулировку твита
Сам автор поста уже слегка обесценил момент, назвав поиск «классическим кладбищем городских сумасшедших» — так математики жаргонно называют гору любительских опровержений, которые потом оказываются ошибочными. Один из ответов пошёл дальше этого признания:
«Как отмечает сам @alpoge, это классическое кладбище сумасшедших — и всё же контрпример мог найти аспирант ещё в 1997 году компьютерным перебором за три дня. Дичь!»
— комментатор, процитировавший признание самого автора
Такой откат назад — старая история именно для этой гипотезы: инженер в треде проследил вопрос до сноски в самой Википедии, где сказано, что гипотеза «печально известна огромным числом опубликованных и неопубликованных доказательств, в которых потом находили тонкие ошибки».
В треде появились и независимые проверки. Один комментатор скормил те же многочлены модели GPT-5.6 Sol — она прогнала их через символьную алгебру и не нашла «алгебраического подвоха», добавив, что результат «заслуживает серьёзной независимой проверки, а не отмахивания». Никто в треде не утверждал, что формальное рецензируемое доказательство уже существует. Просто несколько независимых систем, проверенных по отдельности, раз за разом выдавали одну и ту же арифметику.
Настроение среди математиков: для одних облегчение, для других тревога
В треде радовались не все.
«Как математик скажу: похоже, нашему сообществу немного хана. Всё, что хоть как-то доступно нынешним методам и математической инфраструктуре, вероятно, падёт под натиском сегодняшних топовых моделей.»
— математик, комментирующий тред
Никто в треде, включая самого Алпожа, не рассказал, как именно Fable нашла это отображение. Спустя несколько дней один из ответов сместил фокус с математики на сам выбор площадки для публикации:
«Самое интересное здесь — что он просто выложил это в X, а не выдал за собственный результат и не отправил в arXiv. Уважение за такой подход. Разве это не ещё один признак того, что старая система академических журналов уже устарела?»
Получайте такие разборы каждый день
Главные истории Hacker News — на email, в Telegram или RSS.
Робот Xiaomi складывает бельё — его обучали как языковую модель
Видео двурукого робота Xiaomi, который складывает рубашки, застёгивает чемодан и загружает стиральную машину, разошлось по Hacker News на этой неделе. Компания утверждает, что XR-1 обучили так же, как большие языковые модели: гигантский претрейн, а затем файнтюнинг — на этот раз на 100 000 часов видео с нашлемной камеры и 7200 часах реальных демонстраций робота.