AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
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
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
Read the full story at Decrypt
Source: Decrypt
Original report: Decrypt
Nothing on this site is investment advice. Digital assets are volatile and you can lose everything you put in.
