OpenAI заявляет о решении первой задачи тысячелетия: Navier-Stokes доказано с помощью ИИ за 88 часов
Модель OpenAI решила задачу о гладкости решений уравнений Навье-Стокса, потратив 88 часов и 300 миллиардов выходных токенов (4.9 млн сообщений агентов). Формальная верификация в Lean заняла ещё 17 часов. Математик Тристан Бакмастер признал, что доказательства выглядят как «AI slop» из-за поспешной публикации, и заявил, что Луис Мартинес-Зорока заслуживает Филдсовской медали за исходную программу.