Pulse Daily — Saturday, September 5, 2026

On Saturday, September 5, 2026, AI history was made as Anthropic announced Claude's autonomous Lean 4 formalization of Fermat's Last Theorem, while OpenAI's Astra model sparked a safety debate over 'recurrent depth' architecture, SoundHound closed its LivePerson acquisition, Sony and Warner's music copyright suit against Anthropic escalated, McKinsey revealed a seismic build-vs-buy shift, Nvidia chips quietly brokered geopolitical peace, and consumer robotics arrived in force at IFA Berlin. Stories: Claude Writes the First Machine-Checked Proof of Fermat's Last Theorem · OpenAI's Astra Uses Looped Transformers — and Safety Researchers Don't Love It · SoundHound Closes LivePerson Acquisition — Debt-Free Balance Sheet, $5B+ · McKinsey: Large Enterprises Racing Ahead on Agents — and a Third Are Skipping SaaS Buys · US Used Promise of Nvidia Chip Access to Help Broker Armenia-Azerbaijan Peace Deal · US and China Confirm Mid-September AI Safety Talks — Bessent Leads, Cybersecurity on Table · 35 Music Publishers Sue Anthropic Over Pirated Lyrics — Amodei Named Personally · D-Robotics Maps Full Sunrise Chip Range at IFA — 5 to 560 TOPS.