Anthropic uses Claude to autonomously formalize Fermat’s Last Theorem
The system generated thirteen million lines of Lean code and verified thirty thousand intermediate theorems across eleven days of autonomous work.
See the latest news and media coverage for Anthropic. We track all announcements, press releases, and industry mentions in real time, all in one place.
AI safety and research company
anthropic.comLast updated
In short: Anthropic planned a 2026 IPO while its CEO called for an industry-wide slowdown and safety pacts to mitigate existential AI risks.
The system generated thirteen million lines of Lean code and verified thirty thousand intermediate theorems across eleven days of autonomous work.
The company pauses high-risk evaluations, deploys real-time monitoring classifiers, establishes partner best practices, reallocates engineering resources to defense hardening, and addresses training environment vulnerabilities.
The watermark uses SynthID-Text, is invisible to readers, costs nothing extra, and will eventually cover older models.
The research version attempted the Riemann hypothesis and unexpectedly improved the known lower bound; two Anthropic mathematicians validated the proof.
The AI company must address existential risks in its IPO prospectus, potentially warning investors about a >10% chance of human extinction.
Investing.com -- A labor-affiliated shareholder group has called on Anthropic to delay its planned initial public offering, joining growing demands for the artificial intelligence company...
Anthropic is preparing for a record-breaking IPO this fall. The company is reportedly seeking a $2 trillion valuation with ...
Anthropic has signed its first data centre lease agreement in Australia for a planned 2.16GW facility near Brisbane. The ...
Track Anthropic and your other target companies to get real-time alerts and weekly summaries delivered straight to your inbox.
Browse news for competitors to Anthropic and other trending companies.