OpenAI заявила, что ее внутренняя модель искусственного интеллекта решила проблему существования и гладкости решений уравнений Навье – Стокса. Компания представила доказательство и его формализацию на языке Lean.
Компания OpenAI заявила, что ее внутренняя модель искусственного интеллекта решила одну из семи задач тысячелетия — проблему существования и гладкости решений уравнений Навье – Стокса. Представлены доказательство и его формализация на языке Lean. Информацию передает Arzuw.news со ссылкой на онлайн издание Terra-news.
В работе участвовали 10 тыс. агентов. Они имели доступ к кэшированной копии интернета и могли выполнять программный код. Одни агенты занимались поиском доказательства, другие — проверкой возможного опровержения.
В ходе обучения система также решила проблему регулярности решений уравнений Эйлера, что расширяет полученный результат за пределы исходной задачи.
Ключевой результат был получен 5 сентября 2026 года. Формализация и проверка доказательства с помощью GPT-6 Astra заняли еще 17 часов. Всего система обработала 2,7 млн сообщений и сгенерировала 130 млрд выходных токенов.
Решение одной из семи задач тысячелетия подчеркивает применение систем искусственного интеллекта в фундаментальной математике.
