Anthropic's Claude Formalizes Fermat's Last Theorem: The First Machine-Checked Proof in 11 Days
Posted on 6th Sep 2026 07:38:59 in Artificial Intelligence, Machine Learning
Working largely autonomously, Claude produced the first end-to-end, computer-checked proof of Fermat's Last Theorem — 13 million lines of Lean, 29,500 theorems, and a 350-year-old story of certainty.
Nscale Seeks $3.5 Billion Pre-IPO Financing: Inside the British Neocloud Riding the AI Compute Boom
Posted on 5th Sep 2026 06:04:47 in Artificial Intelligence, Machine Learning
London-based AI infrastructure firm Nscale is in talks to raise about $3.5 billion ahead of a possible September IPO, selling convertible notes and seeking financing from Nvidia. Founded in 2024, the neocloud was valued at $14.6 billion in March and holds a $45 billion compute deal with Anthropic.
HiddenLayer Raises $100M Series B as Enterprises Rush to Secure Agentic AI
Posted on 4th Sep 2026 06:05:40 in Artificial Intelligence, Machine Learning
AI security startup HiddenLayer has closed a $100 million Series B led by Delta-v Capital, with Microsoft's M12, Morgan Stanley, Ten Eleven Ventures and Booz Allen Ventures participating, after annual recurring revenue grew more than 10x. The Austin company is expanding from model defense into securing autonomous AI agents and coding agents at runtime.
Anthropic Launches Claude Fable 5.1 and Mythos 5.1: Frontier AI for Coding, Cyber Defense and Science
Posted on 3rd Sep 2026 06:04:21 in Artificial Intelligence, Machine Learning
Anthropic's Claude Fable 5.1 and Mythos 5.1 ship the same frontier model at two safeguard levels, cutting costs by up to 45 percent while setting new records in coding, scientific research and cyber defense.
Anthropic's Model Hardware Standard Brings AI Agents Into the Physical World
Posted on 2nd Sep 2026 06:04:47 in Artificial Intelligence, Machine Learning
Anthropic's new Model Hardware Standard (MHS) gives AI agents a universal, model-agnostic way to operate laboratory and factory equipment — cutting integration time from weeks to hours.
