#19411 Nov 2026
What Is Going On with AI? The NVIDIA Scandal, OpenAI at $1.25 Trillion and a Market Crash
context and comparison✓ articleScience and accelerated research
42:28Episode page →
A US AI startup building mathematical reasoning systems whose proofs are machine-checked in Lean.