GPT-5.6 помог опровергнуть гипотезу Максвелла — но не ту, про которую все подумали
29 июля на сервере arXiv появилась короткая заметка с утверждением, что «Гипотеза Максвелла неверна». ИИ GPT-5.6, работающий в паре с математиками, предложил контрпример, который сбил со счетов предположение, существовавшее менее двух десятилетий. Однако паника по поводу уравнений электромагнетизма была необоснованной: фундаментальные законы физики остаются нетронутыми.
# Опровержение гипотезы Максвелла: ролевая игра ИИ в чистой математике
Научный мир столкнулся с волной внимания после публикации заметки, заголовок которой звучал как конец эпохи в физике: «Гипотеза Максвелла ложна». Хотя новость облетела социальные сети и заставила даже представителя OpenAI отметить падение столетних догм, детали истории показывают, что речь шла не о катастрофе для инженерии, а о триумфе алгоритмов в нишевой математической задаче.
Что именно опровергли?
В центре внимания оказалась задача о неподвижных точечных зарядах. Каждый заряд создает поле, воздействующее на другие, и в некоторых точках эти воздействия суммируются до нуля, образуя точки равновесия. Вопрос состоял в том, каково максимальное число таких точек для системы из $n$ зарядов, если предположить, что все они «невырождены» (то есть устойчивы к малейшим сдвигам).
Джон Максвелл обсуждал эту проблему в своем трактате 1873 года, но сформулировать чёткую гипотезу удалось лишь позже. В 2007 году Андрей Габриэлов, Дмитрий Новиков и Борис Шапиро выдвинули предположение: максимальное количество невырожденных точек равновесия не может превышать $(n-1)^2$. Для системы из пяти зарядов этот лимит составлял бы 16 точек.
Гипотеза не претендовала на вечную истину физики, а была скорее интуитивной гранью математической геометрии, которую специалисты считали правдоподобной ориентиром между «легкими» конструкциями и абсурдно большими числовыми оценками.
Как ИИ нашел контрпример
Группа исследователей, включая Филипа Аратуна, использовала языковую модель OpenAI GPT-5.6 Sol для генерации идеи опровержения. Модель предложила геометрическую конструкцию: взять три заряда в вершинах равностороннего треугольника (что дает 4 точки равновесия) и добавить в центр два очень малых заряда. При точном подборе их величины центральная точка равновесия расщепляется на 21 новую точку. Итого получается минимум 24 точки, что превышает гипотетический предел в 16.
Важно подчеркнуть роль человека в этом процессе. Идея была подсказана ИИ, но проверку вычислений, формализацию аргумента и создание иллюстраций взяли на себя математики, используя системы компьютерной алгебры Mathematica и Maple. Габриэлов, Новиков и Шапиро, сами же и сформулировавшие исходную гипотезу, подтвердили корректность найденного контрпримера. Таким образом, ИИ выступил в роли источника вдохновения, а не черного ящика, выдающего готовые ответы.
Реакция научного сообщества и физики
Из-за фамилии Максвелла в заголовке публикация породила опасения, что электромагнетизм рушится. Однако уравнения Максвелла, описывающие свет, электричество и магнетизм, остались в силе. Проблема касалась исключительно частного математического случая расстановки зарядов.
Реакция сообщества была смешанной. Одни отметили, что опровернутая задача является довольно свежей и нишевой (возникшей в 2007 году, а не 150 лет назад), и не имеет значения для практики электроники. Другие увидели в этом важный сигнал: если модели способны решать сложные геометрические задачи без прямого программирования алгоритмов, их потенциал для научного открытия переоценен.
После публикации никто в течение нескольких дней не смог найти ошибку в рассуждениях авторов. Более того, в 2026 году другие исследователи опровергли еще две гипотезы из того же первоисточника, что подтверждает тенденцию: интуиция в таких узких областях может систематически подводить.
Ограничения и будущее исследования
Несмотря на успех, результат дал лишь частичный ответ. Опровернув гипотезу о верхней границе $(n-1)^2$, авторы не предложили новую точную формулу для любого $n$. Для трех зарядов вопрос остается открытым, а для больших систем разница между найденными контрпримерами и доказанными теоретическими пределами (которые могут достигать числа с 27 знаками) остается огромной.
Этот случай демонстрирует новую роль ИИ в науке: не замену человеческому разуму в глубоких доказательствах, а мощный инструмент для перебора идей и поиска контрпримеров, которые человек мог бы упустить из-за сложности визуализации многомерных объектов. Модель не доказывает теорему, но она может указать на то место, где теорема не работает, что затем требует подтверждения традиционными методами.