Аккаунт в X: Claude нашёл контрпример к гипотезе Якобиана
20 июля 2026 года пользователь X (бывший Twitter) под ником @alpoge опубликовал пост о том, что решил одну из известных открытых задач алгебраической геометрии, гипотезу Якобиана: по его словам, гипотеза неверна, и он нашёл контрпример. В тексте поста автор благодарит «близкого друга Ахила» за то, что тот поднял этот вопрос, и «друга Fable», за вычислительную работу, которая, по его словам, велась прямо во время финала чемпионата мира. В заголовке публикации на Hacker News вклад Fable связывают с линейкой моделей Claude от Anthropic, хотя сам текст поста этого прямо не уточняет.
Гипотеза Якобиана сформулирована в 1939 году математиком Отто-Генрихом Келлером и почти 90 лет остаётся нерешённой. Она утверждает: если полиномиальное отображение F: C³ → C³ имеет всюду постоянный и ненулевой определитель Якобиана, то у него обязательно есть полиномиальное обратное отображение (то есть F, биекция). Автор поста приводит конкретное отображение F(x, y, z) = ((1+xy)³z + y²(1+xy)(4+3xy), y + 3x(1+xy)²z + 3xy²(4+3xy), 2x − 3x²y − x³z) и утверждает, что его определитель Якобиана постоянен и равен −2, формально удовлетворяет условию гипотезы. Но, по его расчётам, три разные точки, (0, 0, −1/4), (1, −3/2, 13/2) и (−1, 3/2, 13/2), отображаются в одну и ту же точку (−1/4, 0, 0). Если это верно, отображение не инъективно и не может быть биекцией, то есть перед нами прямой контрпример, опровергающий гипотезу.
В подтверждение расчётов автор приложил ссылки на Wolfram Alpha: одну, с вычислением определителя Якобиана, другую, с проверкой значений отображения в указанных точках. Пост быстро набрал популярность: по данным самого поста, за первые часы он собрал около 138 тысяч просмотров, 126 ответов, 220 репостов и 1329 лайков. Обсуждение на Hacker News на момент сбора насчитывало 144 балла и 67 комментариев.
Никакой научной статьи, препринта или независимой проверки специалистами по алгебраической геометрии автор не приложил, только сам пост в неформальном тоне и две ссылки на онлайн-калькулятор. На данный момент это неподтверждённое заявление одного человека в соцсети, а не рецензируемый математический результат: история гипотезы Якобиана знает случаи, когда предложенные доказательства и контрпримеры впоследствии оказывались ошибочными после более тщательной проверки.
Ключевые факты
- Пользователь X @alpoge заявил, что нашёл контрпример к гипотезе Якобиана, открытой с 1939 года задаче алгебраической геометрии.
- В посте благодарность другу Ахилу, за постановку вопроса, и другу по имени Fable, за вычисления; заголовок на Hacker News связывает Fable с моделями Claude от Anthropic.
- Приведено конкретное отображение C³→C³ с постоянным определителем Якобиана −2, при этом три разные точки отображаются в одну, что, если верно, нарушает требуемую гипотезой биективность.
- Расчёты подкреплены ссылками на Wolfram Alpha; пост набрал около 138 тысяч просмотров и вызвал обсуждение на Hacker News (144 балла, 67 комментариев).
- Независимой проверки математиками-специалистами или научной публикации пока нет, заявление остаётся неформальным и непроверенным.
Почему это важно
Гипотеза Якобиана, одна из самых известных нерешённых задач алгебры, сформулированная почти 90 лет назад; она фигурирует в списках важнейших открытых проблем математики. Если контрпример подтвердится, это станет крупным математическим событием, а заодно резонансным примером того, что ИИ-система (по крайней мере частично) поучаствовала в получении результата уровня открытой научной проблемы, а не просто в решении учебных или прикладных задач.
Кому это важно
В первую очередь, математикам, работающим с полиномиальными автоморфизмами и алгебраической геометрией: им предстоит перепроверить вычисления. Во вторую, исследователям ИИ и всем, кто следит за тем, способны ли современные языковые модели выполнять содержательную символьную математику на уровне открытых задач, а не только компилировать уже известные решения.
Как это применить
Практического применения «здесь и сейчас» нет, это не продукт и не инструмент. Для тех, кто хочет разобраться самостоятельно: в посте указаны конкретные многочлены и точки, а также ссылки на Wolfram Alpha, где можно повторить вычисление определителя Якобиана и подстановку точек и проверить их независимо.
Можно ли доверять
Пока нет: заявление сделано в одном неформальном посте в X, без научной статьи, препринта или проверки специалистами. Связь Fable с Claude/Anthropic, это интерпретация в заголовке публикации на Hacker News, а не прямое утверждение автора поста; сам текст называет Fable просто «другом». Учитывая, что гипотеза Якобиана уже не раз становилась ловушкой для ошибочных доказательств и контрпримеров, разумно дождаться независимой проверки, прежде чем считать вопрос закрытым.
Риски и подводные камни
Главный риск, вычислительная или концептуальная ошибка: символьные преобразования такого рода легко проверить локально (этим и заняты комментаторы на Hacker News), но не так просто удостовериться, что отображение действительно корректно определено во всех нужных точках комплексного пространства. Второй риск, преждевременный хайп: заголовки в духе «ИИ решил открытую математическую задачу» расходятся быстрее, чем идёт научная проверка, а при опровержении заявления доверие к подобным историям снижается для всех последующих случаев, в том числе настоящих.
«Привет, гипотеза Якобиана неверна, спасибо моему близкому другу Ахилу за то, что он задал этот вопрос, и моему другому близкому другу Fable за работу над этим прямо во время финала чемпионата мира.»
— @alpoge, X (бывший Twitter)