Formal verification and Lean
Subject in Mathematics
Formal verification and Lean has come up in 1 episode across 1 podcast in TMT, including Moonshots with Peter Diamandis. 1 person has made recorded remarks about it.
What people said
Vlad TenevBulgarian-born American entrepreneur, co-founder and CEO of Robinhood and founder of Harmonic
Tenev expects formal verification to extend to LLM and AI model behavior within about five years.
“I would bet also that it'll find its way into the LLM and AI model behavior in some form or fashion within the next five years”
Moonshots with Peter Diamandis: Robinhood's Vlad Tenev on Tokenizing Everything, OpenAI's 6 Misalignment Reports, Figure's Robot Makes Beds | EP #292 (Sep 19, 2026) · Listen from 46:41
Podcasts
- Moonshots with Peter Diamandis · 1 episode
Episodes
Robinhood's Vlad Tenev on Tokenizing Everything, OpenAI's 6 Misalignment Reports, Figure's Robot Makes Beds | EP #292Moonshots with Peter Diamandis · Sep 19, 2026 · 2 h 7 min
Robinhood CEO Vlad Tenev joins Peter Diamandis, Dave Blundin and Alexander Wissner-Gross to discuss AI liability, tokenization, Trump Accounts, agentic trading, humanoid robots and recursive self-improvement.