ReportingVerified newsroom
Fermat’s last theorem formalised by AI agents in just 11 days - New Scientist
Fermat’s last theorem formalised by AI agents in just 11 days New Scientist
Anthropic (Google News)·Saturday, September 5, 2026 at 11:45 AM UTC
AN
Anthropic
Frontier AI lab · Anthropic
Fetching source· Pulling live content from news.google.com…
Company hub:Anthropic News →