← The Twenty FiveReporting

ReportingVerified newsroom

Anthropic uses Claude to formalize proof of Fermat’s Last Theorem - SiliconANGLE

Anthropic uses Claude to formalize proof of Fermat’s Last Theorem SiliconANGLE

Anthropic (Google News)·Saturday, September 5, 2026 at 12:41 AM 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

ReportingSaturday, September 5, 2026 at 4:20 AM UTC
3 AI Infrastructure Stocks Retail Investors Are Researching After Anthropic IPO Buzz - simplywall.st
3 AI Infrastructure Stocks Retail Investors Are Researching After Anthropic IPO Buzz simplywall.st
Anthropic (Google News)
ReportingFriday, September 4, 2026 at 9:23 PM UTC
Which Investors Will Get Rich From Anthropic’s IPO? - The New York Times
Which Investors Will Get Rich From Anthropic’s IPO? The New York Times
Anthropic (Google News)
ReportingFriday, September 4, 2026 at 9:17 PM UTC
CarPlay now works with five major chatbot apps - 9to5mac.com
CarPlay now works with five major chatbot apps 9to5mac.com
Anthropic (Google News)
ReportingFriday, September 4, 2026 at 9:15 PM UTC
Anthropic faces different government responses as Pentagon battle continues - FedScoop
Anthropic faces different government responses as Pentagon battle continues FedScoop
Anthropic (Google News)
ReportingFriday, September 4, 2026 at 9:12 PM UTC
AI compute provider Nscale is looking for $3.5B in pre-IPO financing
Nscale, which recently struck a $45 billion deal with Anthropic, is in talks to raise additional funds in anticipation of an upcoming IPO.
TechCrunch AI
ReportingFriday, September 4, 2026 at 9:05 PM UTC
ChatGPT, Claude, Gemini down: What we know about the AI outages (updated) - Mashable
ChatGPT, Claude, Gemini down: What we know about the AI outages (updated) Mashable
Anthropic (Google News)