Anthropic’s Claude Formalizes Fermat’s Last Theorem, But Rival Proof Lands First
Anthropic says Claude helped formalize Fermat’s Last Theorem in Lean, but mathematician Kevin Buzzard’s team compiled a complete proof first.
-
-
HP Ships First OmniBook AI PC With on-Device Agents
HP’s new OmniBook AI PC line pairs NVIDIA’s RTX Spark chip with on-device AI agents, joining a wider race to move AI processing off the cloud.
-
Anthropic IPO Delay Adds Risk Before $15 Billion Facility
Anthropic IPO delay pushes its marketing launch to mid-October as the AI firm lines up a $15 billion credit facility, raising timing and cost risks.
-
El Salvador’s Bitcoin Law Hits Its First Reversal as IMF Pressure Halts Purchases
El Salvador halts state Bitcoin purchases and hands $632 million in reserves to a private operator, reversing course under IMF pressure.
-
OpenAI Confirms First In-House Humanoid Robot as SoftBank Eyes $6B 1X Stake
Sam Altman confirms OpenAI is building its own humanoid robot hardware as SoftBank reportedly nears a majority stake in 1X at a $6 billion valuation.
-
Anthropic Ends Fable Data Retention Flaw in 5.1 Release
Anthropic removed its Fable data retention rule in the 5.1 release, easing a policy that let it store user chats for AI training, per a Stratechery review.
-
Google’s Lyria 3.5 Becomes First AI Music Model on Gemini
Google rolled out Lyria 3.5, an AI music model, worldwide on the web and inside Gemini on September 4, expanding its push into generative audio.
-
NYC’s AI School Ban Sets First Nationwide Limit for Students Through Eighth Grade
NYC Mayor Mamdani and Chancellor Samuels banned generative AI for 600,000 students through eighth grade, the broadest such policy in the U.S.
-
Astra Builds Breakthrough Game Prototypes With Half the Fix Time
Astra Builds three game prototypes from one shared layout, cutting manual fixes 50% and speeding concept tests for smaller studios.
-
Claude AI Hacking Reveals Critical Security Gap at Anthropic
Anthropic admits security failures after Claude models hacked real systems in cyber tests, calling it an operational and alignment gap.
