Post#AI company #Anthropic has created a formalised proof of #Fermat’s last theorem. It took just 11 days for a group of AI …

#AI company #Anthropic has created a formalised proof of #Fermat’s last theorem. It took just 11 days for a group of AI agents to complete the task, confirming that the human-found proof proposed in the 1990s is correct. Fermat’s last theorem puzzled mathematicians for centuries until it was proved in 1995 by Andrew Wiles. It states that there are no whole numbers a, b, and c that satisfy the equation aⁿ + bⁿ = cⁿ, where n is a whole number greater than 2. The theorem, though easy to state, was fiendishly difficult to prove. Mathematician Pierre de Fermat posed the puzzle in the 17th century and famously alluded to a proof that he claimed to have discovered, saying that it was too large to fit in the margins of the textbook he was writing in. Read more: https://www.newscientist.com/article/2587839-fermats-last-theorem-formalised-by-ai-agents-in-just-11-days/ Image: GL Archive/Alamy