OpenAI опубликовала пост о том, что её ИИ модель смогла решить одну из задач тысячелетия
Существование и гладкость решений уравнений Навье — Стокса — одна из семи математических задач тысячелетия, сформулированных в 2000 году Математическим институтом Клэя.
Соответствующий пост опубликован на их сайте :
Доказательство выложено на Гитхабе:
По состоянию на 2026 год только одна из семи задач тысячелетия (гипотеза Пуанкаре) решена Перельманом.
В опубликованном материале OpenAI заявляет, что их внутренняя модель сгенерировала доказательство конечного времени сингулярности для трёхмерных несжимаемых уравнений Навье — Стокса:
- Доказано, что даже при изначально гладких потоках в жидкости могут за конечное время развиться бесконечные скорости и градиенты.
- Согласно официальной постановке, задача решается в любую сторону. Существуют формулировки A и B (доказать глобальное существование и гладкость на всём временном интервале) и формулировки C и D (построить контрпример / сингулярность, в том числе при наличии гладкой внешней силы). OpenAI претендует на опровержение безусловной гладкости (то есть на реализацию пунктов C/D).
Но до официального признания решения, даже если оно верно, пройдёт несколько лет.