Claude proves Fermat's Last Theorem in 11 days, beating human timelines
Anthropic's AI model, Claude, successfully generated the first machine-verified proof of Fermat’s Last Theorem—a major milestone in mathematics—in only 11 days. This achievement marks the creation of the most extensive Lean proof to date, a feat professionals previously estimated would require years of work. Fermat's Last Theorem was originally solved by Sir Andrew Wiles in 1995, over three and a half centuries after it was first proposed.
by shortkt.com✓