CoinScoopAnthropic's Claude Solves 350-Year-Old Math Problem with Record-Breaking Proof
Anthropic announced that its AI model, Claude, successfully generated a verifiable proof for Fermat's Last Theorem. The process took 11 days and resulted in 13 million lines of code, allowing for automated verification without the need for human oversight.
Summaries are written by AI from the original article. Not investment advice.