R1, OpenAI’s o3, and the ARC-AGI Benchmark: Insights from Mike Knoop - Gradient Dissent: Conversations on AI | Wave AI Podcast Notes