Back to news
AI chatbot produces proof of Fermat’s last theorem
ONE REPORT·Published ·Main source · Nature
Story essentials
Claude (AI chatbot)
Global
September 2026
Original reports
An advanced AI chatbot prototype generated a 13-million-line, computer-checked proof of Fermat’s last theorem in 11 days.
The achievement highlights the potential for AI to assist in complex mathematical research.
The article also reports on pesticide poisoning statistics and gene-editing trial deaths in China.
This page is produced by collecting and structuring multiple public reports. Sections based only on reporting or testimony affect the displayed assessment, and the page is updated when new information is identified.
About this article
COMPAMIR Editorial Team
The COMPAMIR editorial team brings together public reporting and links to the original coverage. We update the page as new information emerges.
Read our editorial policyRead next
Prioritized by shared people, places, and events.
Apple announces iPhone 18 Pro and Pro Max
Apple unveiled the iPhone 18 Pro and 18 Pro Max. Features include the A20 Pro chip, 2nm technology, and improved battery life. John Ternus presided over the event as the new CEO.