AI just verified a proof that earned one of math's most prestigious prizes. Math will never be the same
By Kit Yates
Published on March 12, 2026.
A startup, AI, has announced that their AI agent has verified a proof of a higher-dimensional "sphere-packing" problem, which involves how many spheres can be packed together in spaces of eight and 24 dimensions. The proof earned Ukrainian mathematician Maryna Viazovska the Fields Medal in 2022, one of the most prestigious prizes in math. The move represents a significant shift in mathematics, with AI systems working alongside formal proof assistants (called Lean) programs designed to check mathematical arguments for logical correctness. This shift towards AI technology could significantly increase the scope of math we can tackle, allowing for a greater understanding of complex mathematical problems. However, individual specialists had to painstakingly convert these results into machine‑checkable form, which required specialist teams to reproduce unaided. The system was not entirely unaiderided and was translated into fully verified Lean code by a human-AI agent.
Related Articles
Iran-linked cyber attack targets US medtech giant Stryker
An Iranian-linked cyber attack targeting US medical tech giant Stryker disrupted its global networks, resulting in extensive data loss and disruption, with ongoing recovery efforts ongoing.
Cleafy raises €12M to stop bank fraud before it starts
Cleafy raises €12 million in Series B funding to enhance predictive security for banks by integrating real-time threat intelligence into its platform, aiming to prevent fraud before it occurs.
Fly high for less with $500 off this DJI Mini 5 Pro bundle
The DJI Mini 5 Pro Fly More Combo bundle now offers $500 off Amazon's lowest-ever price, offering excellent quality, versatile drone features, and nearly two hours of flight time.