Claude и Codex помогли доказать разрушение 3D-уравнений Эйлера — OpenAI погналась за задачами тысячелетия

Два математика — Тристан Бакмастер из NYU и Левент Алпёге из Anthropic — около года в свободное время работали над уравнениями Эйлера и Навье-Стокса. Они активно использовали ИИ-инструменты Claude и Codex, а доказательства формализовали в системе Lean. 15 августа они получили сильный результат: разрушение за конечное время для трёхмерных уравнений Эйлера с гладкой внешней силой. Теренс Тао назвал это выдающимся достижением.

Вскоре в X появился вирусный пост о том, что Anthropic якобы решила две задачи тысячелетия. Слух оказался неверным: Бакмастер и Алпёге не решали эти задачи, и работа не была проектом Anthropic. Однако OpenAI, услышав слух 1 сентября, сразу запустила новую внутреннюю модель с сильными математическими способностями на все оставшиеся задачи тысячелетия. Сам факт использования ИИ для серьёзного математического прорыва уже стал важной вехой.