Reasoning Models
2 essays on this topic.
Write It, Then Prove It: AI That Checks Its Own Work With Math
AI paired with proof checkers like Lean: Olympiad medals, Fermat's Last Theorem, verified code, and the catch: a proof only proves what the spec says.
Bet #5: Teach It to Think (Reasoning and Agents)
The reasoning bet on AGI: chain of thought, o1, DeepSeek-R1, ARC-AGI, METR's task-length trend, AI agents and the 'do they really reason?' debate, as of October 2026.
