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