Математический вечер перестаёт быть томным. Оказывается, Навье-Стокс решил не только Антропик, но и ОпенAI. Теперь начинается стадия метания говен чья модель была быстрее и умнее.

Математик из NYU и его коллега из Антропика работали над частным случаем этой задач (естественно, с Codex и Claude), получили результат для гладкой силы и верифицировали его формально в Lean.

Когда по сообществу пошёл слух, что кто-то близок к прорыву, информация утекла в OpenAI и через несколько дней там заявили, что их внутренняя модель доказала более сильный результат по форсированному Навье–Стоксу. OpenAI предложила скоординировать публикации при условии, что соавтора уберут из авторов, потому что тот работает в Anthropic. Бакмастер отказался и выложил всё публично.

Читать всю драму можно тут, но суть остается - прогресс в математики благодаря ИИ быстрее, чем кто-либо представлял в самых смелых фантазиях.

PS. Смотрю на результаты голосования: никогда не пойму слепую и ничем не оправданную веру людей в то, что ИИ компании что-то публикуют или говорят только ради маркетинга. Как будто они продают газировку или кроссовки? Бросайте этот копиум.