AI Completes Fields Medal Project Proof in 5 Days, Stirring Math World

The rapid advancement of artificial intelligence has stunned the mathematics community, with an AI system completing a complex formalization project in a mere five days, a task that had eluded a team led by a Fields Medal laureate for over two years.

The AI system, dubbed 'Gauss' by its creators at the U.S. startup Math Inc., successfully formalized the proof for the 8-dimensional Kepler conjecture. This project had been ongoing for more than two years by the research team of Maryna Viazovska, a Fields Medal winner from Switzerland's EPFL. Gauss also completed the 24-dimensional formalization in an additional two weeks, showcasing an unprecedented speed in mathematical verification.

Mathematicians expressed astonishment at the AI's capabilities, acknowledging the impressive feat. However, a sense of unease, described as 'complex feelings,' also emerged. The process of formalization, which converts a mathematician's written proof into computer-verifiable code, is crucial for detecting logical errors and missing assumptions. While AI's efficiency in this task is undeniable, some mathematicians worry that relying solely on AI could diminish the valuable learning and knowledge-building that occurs when researchers manually engage with and understand complex proofs themselves.