Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days0

• SCIENCE, Science / Health, Science Mission Directorate, scientists, Space, Space Communications & Navigation Program, Space Launch System (SLS), Space Telescope, space-x-ipo, SpaceX
• September 7, 2026

Mathematician Andrew Wiles completed the proof to Fermat’s last theorem in 1994, more than 350 years after Pierre Fermat proposed the conjecture.Credit: AP Photo/Charles Rex Arbogast/Alamy Fermat’s last theorem, one of the most celebrated mathematical results of the last half-century, has been turned into computer-verified code for the first time, using an advanced prototype of