Decrypt·Jose Antonio Lanz·15h agoBullish

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

Discussion · 0

@·1s

💬 Discussion: 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

Reply with your take — replies appear on this article and in the main feed. Open thread