POPA ReconМатематический вечер перестаёт быть томным. Оказывается, Навье-Стокс решил не только Антропик, но и ОпенAI. Теперь начинается стадия…
Математический вечер перестаёт быть томным. Оказывается, Навье-Стокс решил не только Антропик, но и ОпенAI. Теперь начинается стадия метания говен чья модель была быстрее и умнее. Математик из NYU и его коллега из Антропика работали над частным случаем этой задач (естественно, с Codex и Claude), получили результат для гладкой силы и верифицировали его формально в Lean. Когда по сообществу пошёл слух, что кто-то близок к прорыву, информация утекла в OpenAI и через несколько дней там заявили, что их внутренняя модель доказала более сильный результат по форсированному Навье–Стоксу. OpenAI пре…
The excerpt is quoted from a public Telegram channel, which owns its text.