Decrypt

AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever

AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof EverWorldPing

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…

This is a short WorldPing brief. The full report was published by Decrypt.

Read the full report at Decrypt

More coverage: all crypto & markets news on WorldPing.

Related news