Терренс Тао использовал ChatGPT для разбора контрпримера к гипотезе Якобиана

ИИ опровергает 87-летнюю математическую гипотезу — а величайший математик мира разбирает это с ChatGPT

Одно из самых обсуждаемых математических событий июля 2026 года — это не просто опровержение знаменитой Jacobian Conjecture (гипотезы Якобиана). Это то, как Лауреат Филдсовской премии Терренс Тао публично поделился своим диалогом с ChatGPT, в котором разбирал суть найденного контрпримера. Диалог немедленно завирусился в математическом и AI-сообществе: люди читали его как окно в мышление одного из умнейших людей планеты.

Что такое гипотеза Якобиана

Гипотеза Якобиана — знаменитая нерешённая проблема алгебраической геометрии. Она утверждает: если полиномиальное отображение из n-мерного пространства в себя имеет ненулевой постоянный Якобиан-детерминант (Jacobian determinant), то у него существует полиномиальное обратное. Впервые её сформулировал немецкий математик Отт-Хайнрих Келлер в 1939 году, и она считалась доступной для понимания даже на уровне школьного курса.

Проще говоря: можно проверить, «насколько хорошо» функция преобразует пространство, вычислив Якобиан-детерминант. Если он везде постоянен и ненулевой — функция нигде не «сминает» пространство. Гипотеза утверждала: в таком случае всегда должна существовать обратная функция, возвращающая все точки в исходное положение.

Как Claude Fable 5 опроверг гипотезу за один сеанс

20 июля 2026 года математик Левент Альпёге из Anthropic использовал модель Claude Fable 5, чтобы найти контрпример к гипотезе Якобиана — задаче, остававшейся нерешённой с 1939 года. Контрпример представляет собой Якобиан-детерминант, тождественно равный −2, но при этом три различных входа отображаются в один и тот же выход, опровергая глобальную обратимость. В течение нескольких часов математики по всему миру независимо верифицировали корректность результата.

Контрпример занимает всего 216 символов. Он отображает C³ → C³ с постоянным Якобиан-детерминантом −2, однако не является глобально обратимым: три различных входа дают один и тот же выход.

«hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final» — Левент Альпёге, X (Twitter)

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

Тао берёт ChatGPT и разбирает «чудо» вместе с ним

21 июля 2026 года лауреат Филдсовской премии Терренс Тао опубликовал пост «A digestion of the Jacobian conjecture counterexample» («Осмысление контрпримера к гипотезе Якобиана»), в котором назвал явный полиномиальный контрпример «настоящим чудом».

Тао опубликовал свой диалог с ChatGPT, в котором пытался разобраться в контрпримере к гипотезе Якобиана. Читать этот диалог — удовольствие: видно, как работает его ум, какие связи он выстраивает.

Диалог мгновенно разошёлся по соцсетям. В одном из постов на X пользователи шутили, что главным «открытием» из разговора стало использование Тао двойных пробелов в промптах. Другие восприняли публикацию серьёзно — как редкий пример того, как передовой учёный демонстрирует свой рабочий процесс с ИИ.

Хронология событий

timeline
    title Опровержение гипотезы Якобиана — июль 2026
    19 Jul : Альпёге и Ахил Мэтью работают с Claude Fable 5 над задачей
    20 Jul : Альпёге публикует контрпример в X (Twitter)
    20 Jul : Математики по всему миру независимо верифицируют результат
    21 Jul : Терренс Тао публикует «разбор» и диалог с ChatGPT
    22 Jul : Диалог Тао с ChatGPT становится вирусным на Hacker News

ИИ в математике: новый уровень

Это открытие стало продолжением серии прорывов: в мае OpenAI опровергла гипотезу Эрдёша о единичных расстояниях, DeepMind автономно решила девять задач Эрдёша. В отличие от предыдущих достижений, результаты 2026 года выделяются весомостью решённых проблем и значительно большей автономностью ИИ.

Контекстное окно модели в 1 млн токенов и способность к длительному рассуждению позволили ей проработать многошаговые алгебраические выводы, генерировать полиномиальные отображения-кандидаты и итеративно совершенствовать поиск вместе с Альпёге на протяжении длительных сессий. Именно для такого рода работы — многочасового, многошагового решения задач с сохранением контекста — и создавался Fable 5.

Что это значит для отрасли

Публичный диалог Тао с ChatGPT — символичный момент. Он показывает сразу несколько вещей: ИИ уже работает на переднем крае чистой математики; лучшие учёные не стесняются использовать языковые модели как рабочий инструмент; а открытость таких диалогов позволяет всему сообществу учиться на примере мышления экспертов мирового уровня.

Прорыв демонстрирует, что ИИ начинает превосходить человеческую интуицию на переднем крае чистой математики — одновременно обнажая ограничения технологии: ИИ не может объяснить «почему».

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