OpenAI заявила, что её внутренняя ИИ-система решила одну из семи «Задач тысячелетия», проблему существования и гладкости решений уравнений Навье - Стокса.

Модель построила доказательство возникновения сингулярности за конечное время. OpenAI сообщает, что доказательство формализовано и проверено с помощью Lean.

Однако окончательную точку ставить рано: результат ещё предстоит тщательно проверить математическому сообществу. Кроме того, вокруг работы возник спор об авторстве и возможном влиянии неопубликованных исследований других математиков. OpenAI отрицает использование их работы.