OpenAI заявила о решении задачи Навье—Стокса и столкнулась с критикой
Компания представила AI-сгенерированное решение одной из задач Millennium Prize Problem и приложила формальное доказательство в Lean. На фоне объявления часть академического сообщества поставила под сомнение корректность и процедуру публикации.
OpenAI →