✨
AI Summary
- GPT-6 Astra saturates ARC-AGI-3, learning the game as it plays.
- Anthropic formalizes Fermat's Last Theorem, proving thousands of theorems.
- Wissner-Gross highlights risks of AI reasoning becoming unreadable, not rogue models.
Guests on This Episode
AW
Alex Wissner-Gross
scientist, entrepreneur, inventor · 12 podcast appearances
EM
Emad Mostaque
22 podcast appearances