Lean
1 statements across 1 episodes · 0 bullish · 0 bearish · 1 people on the record · first statement Jul 26, 2025 by John Coogan · said 4 times in 2 episodes since 2025 · across every show →
Mentions by year
brought up most by John Coogan (2)
tap a year for its mentions
Everything said about Lean, oldest first
Jul 26, 2025 neutral
Coogan: Google Used Lean Proof Verifier While OpenAI Used Text-Based LLMs for IMO
“Using this program called Lean that is a formal math proof verifier, and there's rumors that Google's building their system to leverage that a lot. OpenAI apparently went way, way down just the text-based LLM reasoning path and had a lot of success there.”