Anthropic proves Fermat's last theorem in 11 days with AI

anthropic's claude ai system was able to formally prove fermat's last theorem in just 11 days. the proof consisted of 13 million lines of code, which was computer-verified. this achievement showcases the potential of ai in mathematical research and discovery. the use of ai in mathematics can help accelerate the pace of discoveries and provide new insights. fermat's last theorem, a fundamental concept in number theory, was first proposed by pierre de fermat in 1637.