OpenAI заявила про доведення сингулярності Нав'є—Стокса
Компанія опублікувала доведення, що в тривимірних рівняннях Нав'є—Стокса за скінченний час може виникнути сингулярність, разом із формалізацією в Lean, і сказала, що систему створено моделлю, яка значно перевершує GPT-6 Astra.
Чому це важливо
Якщо доведення встоїть, задачу тисячоліття, відкриту близько дев'яноста років, розв'язала машина, і результат прийшов уже формалізованим — тож спірним лишається не правильність, а першість і атрибуція.
Публікація від 8 вересня 2026 року. OpenAI повідомляє, що внутрішня система створила аналітичне доведення й формалізацію в Lean того, що в початково гладкій нерухомій рідині за скінченний час може виникнути сингулярність: до рідини прикладено гладку силу, енергія лишається скінченною, а швидкість зростає необмежено. За твердженням компанії, результат розв'язує задачу тисячоліття, установлюючи твердження C і D в офіційному формулюванні. Розв'язок описано як вихор, що спіраллю прямує всередину й витягується вздовж осі. OpenAI зазначає, що для цього використано внутрішню модель, яка значно перевершує GPT-6 Astra. За повідомленням Quanta Magazine, близько 100 агентів працювали приблизно 50 годин над спростуванням регулярності для рівнянь Ейлера, а близько 10 тисяч агентів — 88 годин над Нав'є—Стоксом, після чого інша модель за 17 годин формалізувала результат; агенти обмінялися майже п'ятьма мільйонами повідомлень. За 12 годин до оголошення OpenAI власні результати оприлюднили Трістан Бакмастер із Нью-Йоркського університету та Левент Альпьоге; сторони подають різні версії подій. Станом на середину вересня 2026 року доведення не пройшло звичайного рецензування.