Every story we've covered involving formal-verification.
Anthropic's Claude AI has produced a fully computer-verifiable proof of Fermat's Last Theorem in 11 days, generating 13 million lines of code that eliminates the need for human verification of each logical step. The achievement surpasses a parallel human-led effort at Imperial College London that has been underway since 2024 and remains incomplete, with leading mathematician Kevin Buzzard confirming the AI's work is mathematically sound.
No stories here yet.