Fermat’s last theorem formalised by AI agents in just 11 days - New ScientistPosted by TechPulseFermat’s last theorem formalised by AI agents in just 11 days New Scientist