OpenAI Says Internal AI System Resolved the Navier–Stokes Problem

🤖 OpenAI заявила, що її внутрішня AI-система довела існування сингулярності у рівняннях Нав'є–Стокса — однієї з задач тисячоліття від Clay Mathematics Institute. Доказ, формалізований у Lean, показує: ідеально плавний потік рідини з плавною зовнішньою силою за обмеженої енергії може розвинути нескінченну швидкість (сингулярність) за кінцевий час. Це питання понад сто років залишалось відкритим і має фундаментальне значення для аеродинаміки, прогнозування погоди та гідродинаміки. OpenAI оприлюднила напрацювання системи, але не планує подаватись на премію. Якщо знайдене підтвердять незалежні експерти, це буде одна з головних математичних подій XXI століття.