← The Twenty FiveReporting

ReportingVerified newsroom

Claude Formalized Fermat’s Last Theorem In 11 Days On 6 Billion Output Tokens - Forbes

Claude Formalized Fermat’s Last Theorem In 11 Days On 6 Billion Output Tokens Forbes

Anthropic (Google News)·Monday, September 7, 2026 at 1:35 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

ReportingTuesday, September 8, 2026 at 12:30 PM UTC
I used ChatGPT and Claude side-by-side for a month on Android; one is clearly better - Android Police
I used ChatGPT and Claude side-by-side for a month on Android; one is clearly better Android Police
Anthropic (Google News)
ReportingTuesday, September 8, 2026 at 12:10 PM UTC
OpenAI, Anthropic Seek Investment-Grade Ratings Post Potential IPOs to Cut AI Borrowing Costs: Report - Yahoo Finance
OpenAI, Anthropic Seek Investment-Grade Ratings Post Potential IPOs to Cut AI Borrowing Costs: Report Yahoo Finance
Anthropic (Google News)
ReportingTuesday, September 8, 2026 at 10:53 AM UTC
Anthropic Scuttles Plans to Acquire AI Company Decart - PYMNTS.com
Anthropic Scuttles Plans to Acquire AI Company Decart PYMNTS.com
Anthropic (Google News)
ReportingTuesday, September 8, 2026 at 9:32 AM UTC
French A.I. Start-Up Mistral Raises $3.5 Billion as Part of Strategy Shift - The New York Times
French A.I. Start-Up Mistral Raises $3.5 Billion as Part of Strategy Shift The New York Times
Anthropic (Google News)
ReportingTuesday, September 8, 2026 at 9:18 AM UTC
AI is changing math - Axios
AI is changing math Axios
Anthropic (Google News)
ReportingTuesday, September 8, 2026 at 9:03 AM UTC
Media - Blackmagic Design
Media Blackmagic Design
Anthropic (Google News)