Big Labs Watch
OpenAI заявила о доказательстве задачи Навье — Стокса с помощью ИИ
OpenAI опубликовала решение одной из задач тысячелетия о существовании и гладкости решений уравнений Навье — Стокса, утверждая, что доказательство получено внутренней системой ИИ и формализовано в Lean. Теперь ключевой вопрос — выдержит ли работа проверку математического сообщества.