GPT-5.6 опроверг гипотезу Максвелла: что это значит для математики и ИИ

Гипотеза Максвелла, сформулированная в 1867 году, оказалась ложной, и в этом помог искусственный интеллект. Однако речь идет не об уравнениях электромагнетизма, а о математической гипотезе из теории упругости. Команда исследователей с помощью GPT-5.6 нашла контрпример, который опровергает утверждение, остававшееся недоказанным более 150 лет. Это событие вызвало широкий резонанс, но важно понимать, что ИИ лишь предложил кандидата, а строгое доказательство провели люди. В этой статье мы разберем, что именно доказал ИИ, как это произошло и какие последствия ждут математику и науку в целом.

Гипотеза Максвелла — это не про электромагнетизм

Когда 29 июля на arXiv появилась заметка с названием «The Maxwell Conjecture is False», многие поспешили связать это с уравнениями Максвелла, описывающими электромагнитные поля. Однако на самом деле речь идет о совершенно другой гипотезе, выдвинутой Джеймсом Клерком Максвеллом в связи с теорией упругости. В 1867 году он предположил, что в произвольной системе масс, соединенных пружинами, всегда существует по крайней мере одна устойчивая конфигурация равновесия. Формально это утверждение можно переформулировать в терминах потенциальной энергии: если функция потенциальной энергии стремится к бесконечности на бесконечности и имеет единственную критическую точку, то эта точка является глобальным минимумом. Проще говоря, если у системы есть только одна точка, где все силы уравновешены, то она обязательно будет устойчивой.

Долгое время эта гипотеза считалась правдоподобной. В 1970-х годах ее доказали для систем с небольшим числом частиц, а в 1990-х — для некоторых частных случаев. Однако в 2023 году математик Алексей Глуцюк из Университета Миннесоты нашел контрпример для систем с определенным числом частиц, но его работа не получила широкой огласки. Теперь, спустя два года, команда исследователей, включая Филипа Аратуна, представила новый, более простой контрпример, найденный с помощью GPT-5.6.

Почему гипотезу Максвелла так долго не могли опровергнуть?

Гипотеза Максвелла казалась интуитивно верной, и ее доказательство для малых систем укрепляло уверенность в ее истинности. Однако с ростом числа частиц сложность анализа резко возрастает, и перебор всех возможных конфигураций вручную становится невозможным. Именно здесь на помощь пришел искусственный интеллект, способный генерировать и проверять огромное количество вариантов. GPT-5.6, будучи большой языковой моделью, обученной на огромном корпусе математических текстов, смог предложить конфигурацию, которая нарушает предположение о единственной критической точке. Это показывает, что ИИ может быть не просто инструментом для вычислений, но и генератором новых идей.

Как GPT-5.6 нашел контрпример

По словам авторов, они использовали GPT-5.6 для поиска контрпримеров к гипотезе Максвелла. Модель сгенерировала конфигурацию из нескольких масс и пружин, которая, как оказалось, опровергает гипотезу. Математики проверили результат и подтвердили его корректность. Это не первый случай, когда ИИ помогает в математике: ранее GPT-4 участвовал в решении задач, а в 2024 году модель AlphaGeometry от DeepMind справилась с олимпиадными задачами по геометрии. Однако здесь речь идет о более фундаментальной проблеме — гипотезе, которая оставалась недоказанной более 150 лет.

Важно понимать, что GPT-5.6 не «доказал» ложность гипотезы в автоматическом режиме. Модель предложила кандидата в контрпримеры, а люди провели строгое математическое доказательство. Тем не менее, это знаковое событие: ИИ впервые помог опровергнуть классическую гипотезу, а не просто решить головоломку. Как отмечают авторы заметки, «ИИ находит, человек проверяет». Это сотрудничество может стать стандартом в ближайшие годы.

Насколько надежен контрпример, найденный ИИ?

Контрпример, предложенный GPT-5.6, был тщательно проверен математиками, и его корректность не вызывает сомнений. Однако важно подчеркнуть, что ИИ не способен самостоятельно доказать математическое утверждение. Он лишь генерирует гипотезы, которые затем требуют строгой верификации. В данном случае проверка не выявила ошибок, и контрпример был принят научным сообществом. Это демонстрирует, что ИИ может быть полезным инструментом в математике, но окончательное слово всегда остается за человеком.

Что это значит для математики и ИИ

Опровержение гипотезы Максвелла — важный результат сам по себе, но еще интереснее его значение для будущего математики. Если раньше ИИ использовали для проверки доказательств или поиска закономерностей, то теперь он становится генератором идей. Это может ускорить исследования в комбинаторике, теории графов и других областях, где перебор вариантов вручную невозможен.

Однако есть и риски. Модели, подобные GPT-5.6, могут предлагать правдоподобные, но неверные решения. Поэтому роль математика не исчезает — она смещается в сторону верификации и интерпретации. Как отмечают авторы заметки, «ИИ находит, человек проверяет». Это сотрудничество может стать стандартом в ближайшие годы.

Какие еще гипотезы может опровергнуть ИИ?

Успех с гипотезой Максвелла открывает новые перспективы для использования ИИ в математике. Уже сейчас исследователи рассматривают возможность применения аналогичных методов к другим нерешенным проблемам, таким как гипотеза Римана или проблема P vs NP. Конечно, эти задачи гораздо сложнее, и ИИ вряд ли справится с ними в ближайшее время, но сам подход — поиск контрпримеров с помощью машинного обучения — может оказаться плодотворным. Возможно, мы стоим на пороге новой эры в математике, где ИИ станет равноправным партнером исследователей.

Кого затронет эта новость

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

В русскоязычном сообществе новость также вызвала оживление. На Habr и других площадках обсуждали, не является ли это началом конца чистой математики. Но пока рано говорить о революции: GPT-5.6 нашел контрпример, но доказательство провели люди. Тем не менее, тренд очевиден.

Что ответить скептикам, которые боятся, что ИИ заменит математиков?

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

Что будет дальше

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

Кроме того, этот случай стимулирует развитие самих ИИ-моделей. Возможно, в будущем появятся специализированные системы, предназначенные для математических открытий, которые будут не только генерировать гипотезы, но и автоматически проверять их корректность. Это может привести к настоящему прорыву в науке.

Итог

Гипотеза Максвелла, сформулированная в XIX веке, оказалась ложной, и в этом помог ИИ. Но уравнения Максвелла, описывающие электромагнетизм, не имеют к этому никакого отношения. Главный вывод из этой истории — не в том, что ИИ «побеждает математиков», а в том, что сотрудничество человека и машины способно решать задачи, которые раньше казались неприступными. Следите за новостями: возможно, это только начало.