web3Decrypt
AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
September 5, 2026

Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required
GN Media aggregates headlines — read the full story on Decrypt.
Read full story on Decrypt
