← The Twenty FiveReporting

ReportingVerified newsroom

Claude formalised Fermat's Last Theorem in 11 days - The Next Web

Claude formalised Fermat's Last Theorem in 11 days The Next Web

Anthropic (Google News)·Sunday, September 6, 2026 at 1:34 PM UTC

AN

Anthropic

Frontier AI lab · Anthropic

Fetching source· Pulling live content from news.google.com…

Company hub:Anthropic News →

Read original →

More from Anthropic

ReportingSunday, September 6, 2026 at 9:18 PM UTC
Anthropic Said to Postpone IPO to Just Before Midterms - PYMNTS.com
Anthropic Said to Postpone IPO to Just Before Midterms PYMNTS.com
Anthropic (Google News)
ReportingSunday, September 6, 2026 at 8:47 PM UTC
Authors push back as publishers and agents make claims on Anthropic settlement - TechCrunch
Authors push back as publishers and agents make claims on Anthropic settlement TechCrunch
Anthropic (Google News)
ReportingSunday, September 6, 2026 at 8:47 PM UTC
Authors push back as publishers and agents make claims on Anthropic settlement
Authors say publishers seem to be claiming more than their fair share of settlement payments.
TechCrunch AI
ReportingSunday, September 6, 2026 at 5:36 PM UTC
One $70 payment gets you GPT, Claude, Gemini and more - MySA
One $70 payment gets you GPT, Claude, Gemini and more MySA
Anthropic (Google News)
ReportingSunday, September 6, 2026 at 3:01 PM UTC
New AI Designed to Replace CEOs - Futurism
New AI Designed to Replace CEOs Futurism
Anthropic (Google News)
ReportingSunday, September 6, 2026 at 1:24 PM UTC
Anthropic, OpenAI, Meta and Google All Shipped New AI Models in One Week - Startup Fortune
Anthropic, OpenAI, Meta and Google All Shipped New AI Models in One Week Startup Fortune
Anthropic (Google News)