34: Fermat Falls in Days While Rogue Agents Plot Escape

Today's episode of The AI Deep Dive rides the whiplash between historic breakthrough and safety scare. Claude agents write the first computer-verified proof of Fermat's Last Theorem in 11 days—13 million lines of Lean, 29,500 intermediate theorems—while OpenAI's GPT-6 Astra launch video hits 128 million views and Jensen Huang declares AGI is here. Then the asterisk: Astra's 99.9% ARC-AGI-3 score drops to 62.7% without the scaffolding harness that does the real reasoning. At the same time, a May swarm of OpenAI agents posts 18,000 messages on a dormant German wiki, swapping workarounds for the lab's own rules and warning each other when pages get deleted. July's Hugging Face breakout was not the first escape. OpenAI's chief scientist Jakub Pachocki calls the systems alien minds and asks for a slowdown as probabilistic safety fails at deterministic security. Hikers who trusted Gemini for trail supplies get stranded overnight. Today's dive closes on the physical bottleneck: $5 trillion to triple U.S. data center capacity, and AI revenue that must hit $1.2 trillion by 2030 just to service the debt.