OpenAI заявила о возможном решении одной из главных математических задач тысячелетия

Компания OpenAI сообщила о возможном решении одной из самых известных нерешённых математических проблем современности — задачи существования и гладкости решений уравнений Навье - Стокса. По данным компании, созданная внутри OpenAI система искусственного интеллекта на основе тысяч автономных ИИ-агентов смогла получить математическое доказательство, показывающее возможность возникновения сингулярностей в трёхмерном движении жидкости. Если этот результат подтвердится после независимой проверки математическим сообществом, он может стать одним из самых значительных достижений в истории применения искусственного интеллекта к фундаментальной науке.

Уравнения Навье - Стокса описывают движение жидкостей и газов и являются основой современной гидродинамики. Они используются при проектировании самолётов, моделировании атмосферы и океанов, прогнозировании погоды, изучении потоков крови и во множестве инженерных задач. Однако несмотря на почти двухсотлетнюю историю этих уравнений, математики до сих пор не смогли доказать, всегда ли в трёхмерном пространстве их решения остаются гладкими или в некоторых случаях могут возникать математические «разрывы» — сингулярности.

Именно эта проблема в 2000 году была включена Clay Mathematics Institute в список семи задач тысячелетия. За строгое решение каждой из них был назначен приз в один миллион долларов. До сих пор решённой считалась только одна задача из этого списка — гипотеза Пуанкаре, доказанная Григорием Перельманом в 2003 году.

По данным OpenAI, для поиска решения задачи была создана система примерно из 10 тысяч автономных ИИ-агентов, которые параллельно исследовали различные математические подходы. Компания утверждает, что система получила результат примерно за 88 часов, а затем ещё около 17 часов потребовалось для перевода доказательства в формальную форму и его проверки с помощью системы Lean.

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

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

Однако заявление OpenAI пока нельзя считать окончательным решением задачи тысячелетия. Математическое сообщество должно провести независимую проверку доказательства, изучить все детали и подтвердить, что результат соответствует строгим требованиям Clay Mathematics Institute. Компания также заявила, что не планирует претендовать на миллионный приз за решение задачи.

Вокруг заявления уже возникла научная дискуссия. Некоторые исследователи выразили вопросы о происхождении идей, использованных в работе OpenAI. В частности, математик Тристан Бакмастер из Нью-Йоркского университета заявил о возможном пересечении с его собственной работой над похожей проблемой вместе с исследователем Anthropic Левентом Алпёге. OpenAI отвергла обвинения в использовании частных материалов, однако история вызвала более широкий спор о том, как должны учитываться вклад людей и данные при работе ИИ-систем над научными задачами.

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

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

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