OpenAI сообщила о решении одной из задач тысячелетия с помощью ИИ
Модель искусственного интеллекта, разработанная американской компанией OpenAI, справилась с одной из семи нерешенных математических задач – проблемой существования и гладкости решений уравнений Навье – Стокса. Об этом 9 сентября сообщили в пресс-службе компании.
"Мы представляем решение задачи о существовании и гладкости решений уравнений Навье – Стокса – одной из "задач тысячелетия". Мы публикуем как описание самого доказательства, так и его формализацию на языке Lean", – говорится в заявлении.
В OpenAI уточнили, что работа над задачей началась 1 сентября, после того как в компании услышали о прогрессе в решении сразу двух "задач тысячелетия" сторонними математиками.
Для выполнения задачи специалисты задействовали внутреннюю модель, возможности которой, по их данным, значительно превосходят показатели предыдущей версии GPT-6 Astra.
В работе участвовала группа из 10 тысяч агентов, имевших доступ к кэшированной копии интернета и возможности выполнения программного кода. Части агентов предлагались формулировки, ведущие к доказательству утверждения, остальным – к его опровержению. Кроме того, в процессе обучения ИИ справился с проблемой регулярности решений уравнений Эйлера, над которой около 100 агентов трудились в течение 50 часов.
К решению уравнений Навье – Стокса модель пришла 5 сентября. На последующую формализацию и верификацию с помощью GPT-6 Astra ушло еще 17 часов. Всего в процессе работы было отправлено 2,7 миллиона сообщений и использовано 130 миллиардов выходных токенов, что сопоставимо с объемом информации в миллионе книг.
Представители OpenAI подчеркнули, что полученный результат открывает новые горизонты для применения искусственного интеллекта в фундаментальной науке.
Как пишет журнал Nature, математическому сообществу еще предстоит провести независимую проверку доказательства OpenAI, и именно от результатов этой экспертизы будет зависеть, признает ли Институт Клэя решение официально. Если доказательство выдержит проверку, это станет лишь вторым в истории признанным решением одной из "задач тысячелетия" – первой была доказанная Григорием Перельманом гипотеза Пуанкаре.
Ранее, 27 января, российский ученый Ремизов решил 190-летнюю математическую загадку. Он вывел универсальную формулу для решения уравнений, описывающих фундаментальные процессы.
РЕН ТВ в мессенджере "МАКС" – главный по происшествиям