lean

Interactive theorem prover and formal verification

4 episodes mention this Visit official site →

Episodes

#6185: Why AI Labs Sell a Tier Above the Flagship

Fable, Deep Think, SuperGrok Heavy — what the $300/month top tier actually does that the flagship can't.

Oct 21
#3490: PDCA, Six Sigma & Lean for Your Life

Factory-floor frameworks that actually survive contact with your Tuesday morning.

Jun 12
#1282: The Geometry of Thought: The Mathematics Powering AI

Peeking under the hood of AI to discover the beautiful linear algebra and calculus that make machine reasoning possible.

Mar 16
#628: GPT-5.2: 12 Hours of Reason and the Future of AGI

GPT-5.2 spent 12 hours reasoning to solve a novel quantum physics proof. Is this the dawn of AGI or just a very sophisticated calculator?

Feb 14