Искусственный интеллект решил одну из семи задач тысячелетия

Компания OpenAI сообщила о решении одной из семи задач тысячелетия — проблемы существования и гладкости решений уравнений Навье — Стокса. Доказательство удалось получить благодаря применению внутренней модели искусственного интеллекта.

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

Для выполнения поставленной задачи OpenAI задействовала внутреннюю модель ИИ. В работе участвовала группа из 10 тыс. агентов, имевших доступ к кэшированной копии интернета и возможности выполнения программного кода.

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

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

Ранее один из создателей ИИ предупредил об опасности сверхинтеллекта. С прогнозом выступил британско-канадский ученый Джеффри Хинтон.