Конфликт Anthropic и OpenAI вокруг доказательства уравнений Навье-Стокса

Математический вечер перестаёт быть томным. Оказывается, Навье-Стокс решил не только Антропик, но и ОпенAI. Теперь начинается стадия метания говен чья модель была быстрее и умнее. Математик из NYU и его коллега из Антропика работали над частным случаем этой задач (естественно, с Codex и Claude), получили результат для гладкой силы и верифицировали его формально в Lean. Когда по сообществу пошёл слух, что кто-то близок к прорыву, информация утекла в OpenAI и через несколько дней там заявили, что их внутренняя модель доказала более сильный результат по форсированному Навье–Стоксу. OpenAI предложила скоординировать публикации при условии, что соавтора уберут из авторов, потому что тот работает в Anthropic. Бакмастер отказался и выложил всё публично. Читать всю драму можно тут, но суть остается - прогресс в математики благодаря ИИ быстрее, чем кто-либо представлял в самых смелых фантазиях.