Claude formalises Fermat's Last Theorem in 11 days, task that would take humans yrs

Anthropic's Claude completed the first fully machine-checked proof of Fermat’s Last Theorem, one of the most famous theorems in mathematics, in just 11 days, producing the largest Lean proof ever constructed. Experts had thought the project would take years. Fermat's Last Theorem was first proven in 1995 by Sir Andrew Wiles, more than 350 years after it was conjectured.