Раз уж заглянул.
OpenAI заявила, что её внутренняя (ещё не публичная) ИИ‑система нашла решение одной из семи «задач тысячелетия» — проблемы существования и гладкости решений уравнений Навье–Стокса.
https://openai.com/index/navier-stokes-solution/
Я считаю, что это очень круто, даже если часть идей гпт стащил у своих же пользователей.
По утверждению компании, около 10 000 автономных ИИ‑агентов работали параллельно ~88 часов и пришли к доказательству, что в трёхмерных уравнениях Навье–Стокса может возникать сингулярность (решение «взрывается» за конечное время).
Полученное доказательство затем формализовали и проверили в системе Lean с помощью модели GPT‑6 Astra ещё ~17 часов.
Уравнения Навье–Стокса — это базовые законы движения жидкости и газа (вода в трубе, воздух вокруг крыла, погода, течение в реке). Они связывают:
скорость потока в каждой точке,
давление,
вязкость («внутреннее трение» жидкости),
Авто-репост. Читать в блоге >>>












