What happened
A team using the AI model Claude completed an academic project in just 11 days, a task originally estimated to take five years.
The project involved formalizing the proof of Fermat's Last Theorem, a famous mathematical problem.
Why it matters
This demonstrates the potential of AI to dramatically accelerate complex academic work, reducing timelines from years to days.
It highlights how AI can assist in formal verification, a rigorous process that ensures mathematical proofs are correct.
Key facts
The project was originally expected to take five years.
The team completed it in 11 days using Claude.
The work involved formalizing the proof of Fermat's Last Theorem.
What to watch next
Future applications of AI in formal verification and other time-intensive academic tasks.
Whether similar AI-driven accelerations become common in mathematics and other fields.