The computing race reaches mathematics

Mathematicians Tristan Buckmaster and Levent Alpöge have achieved a breakthrough in the study of Euler equations, proving finite-time blowup for forced 3D Euler equations. The researchers actively utilized AI tools like Claude and Codex, formalizing their proofs within the Lean system. Although the work was independent of institutional projects, it sparked significant excitement in the tech community. Rumors regarding the alleged solution of Millennium Prize problems, which spread on social media, prompted OpenAI to accelerate the development of new models focused on solving complex mathematical challenges. This event highlights the growing role of AI in fundamental science and the competition between tech giants to lead in mathematical computing, where AI-assisted proof formalization is becoming a new standard for research quality and speed.