Если доказательство выдержит проверку, то это станет вторым в истории признанным решением одной из "задач тысячелетия".

Модель искусственного интеллекта, разработанная американской компанией OpenAI, справилась с одной из семи нерешенных математических задач – проблемой существования и гладкости решений уравнений Навье – Стокса. Об этом 9 сентября сообщили в пресс-службе компании.

"Мы представляем решение задачи о существовании и гладкости решений уравнений Навье – Стокса – одной из "задач тысячелетия". Мы публикуем как описание самого доказательства, так и его формализацию на языке Lean", – говорится в заявлении.

В OpenAI уточнили, что работа над задачей началась 1 сентября, после того как в компании услышали о прогрессе в решении сразу двух "задач тысячелетия" сторонними математиками.

Для выполнения задачи специалисты задействовали внутреннюю модель, возможности которой, по их данным, значительно превосходят показатели предыдущей версии GPT-6 Astra.

В работе участвовала группа из 10 тысяч агентов, имевших доступ к кэшированной копии интернета и возможности выполнения программного кода. Части агентов предлагались формулировки, ведущие к доказательству утверждения, остальным – к его опровержению. Кроме того, в процессе обучения ИИ справился с проблемой регулярности решений уравнений Эйлера, над которой около 100 агентов трудились в течение 50 часов.

К решению уравнений Навье – Стокса модель пришла 5 сентября. На последующую формализацию и верификацию с помощью GPT-6 Astra ушло еще 17 часов. Всего в процессе работы было отправлено 2,7 миллиона сообщений и использовано 130 миллиардов выходных токенов, что сопоставимо с объемом информации в миллионе книг.

Представители OpenAI подчеркнули, что полученный результат открывает новые горизонты для применения искусственного интеллекта в фундаментальной науке.

Как пишет журнал Nature, математическому сообществу еще предстоит провести независимую проверку доказательства OpenAI, и именно от результатов этой экспертизы будет зависеть, признает ли Институт Клэя решение официально. Если доказательство выдержит проверку, это станет лишь вторым в истории признанным решением одной из "задач тысячелетия" – первой была доказанная Григорием Перельманом гипотеза Пуанкаре.

Ранее, 27 января, российский ученый Ремизов решил 190-летнюю математическую загадку. Он вывел универсальную формулу для решения уравнений, описывающих фундаментальные процессы. Источник