Гонка вычислений добралась до математики

Математики Tristan Buckmaster и Levent Alpöge (из Anthropic, но вне работы) получили сильный результат о разрушении за конечное время для трёхмерных уравнений Эйлера, активно используя ИИ, включая Claude и Codex, и формализовав доказательство в системе Lean. Теренс Тао назвал это выдающимся достижением, а OpenAI, вдохновившись слухами, запустила новую модель на задачи тысячелетия.