Anthropic has published an extensive formalization of the already known proof of Fermat’s Last Theorem in Lean 4. The code is public and, according to the documentation, has passed multiple checks.
OpenAI, Anthropic and xAI confirmed overlapping incidents affecting their AI services. No common cause is known yet.
Claude Fable 5.1 brings a million-token context window, cheaper cache reads and revised cyber protections.
Anthropic reportedly told investors it had an annualized revenue run rate above $65 billion at the end of July 2026, according to multiple media outlets. This is an unaudited run rate, not full-year revenue.
A federal court in California halted Pentagon measures against Anthropic. Judge Rita Lin called the government’s actions unconstitutional retaliation for the company’s protected speech.