Ep. 70 — Claude machine-checked Fermat's Last Theorem in eleven days, Jensen Huang says AGI has arrived, and OpenAI publishes its own $600-a-day coding bill

Claude machine-checked Fermat's Last Theorem in eleven days, Jensen Huang says AGI has arrived, and OpenAI publishes its own $600-a-day coding bill 00:48 — Claude produced a complete, machine-checked proof of Fermat's Last Theorem in Lean — 13 million lines, 11 days 02:17 — Jensen Huang posts 'AGI has arrived' — and the people who define AGI immediately disagree 03:47 — OpenAI publishes its own coding-agent bill: median researcher at $600 of tokens a day, top decile over $7,000 05:17 — Authors say publishers and agents are claiming their cut of Anthropic's $1.5 billion settlement 05:42 — Follow-up: OpenAI confirms the wiki incident and says it is writing a framework for disclosing misalignment 06:06 — Three hikers rescued off Mount Shasta after planning the trip with Gemini 06:30 — Travis Kalanick's Atoms is lining up for robotaxis — and has already talked to Uber about deploying it 06:54 — What the buildout looks like on the ground: 40% of a Louisiana taco shop's business now traces to Meta's data center Daily Prompt with Archer & Iris.