AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
Decrypt
Read Full Article at Decrypt →
Ad Slot — In-Article (728x90)
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 summary. For the full story, read the original article at Decrypt.
Original source: Decrypt