aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic)
Can AI prove the Riemann Hypothesis? Tudor Achim, CEO of Harmonic and creator of Aristotle — the first AI to win IMO gold and solve Erdős problems using the Lean theorem prover — joins Deniz and Thorsten to discuss how mathematical superintelligence is transforming research, education, and the very nature of proof.
Podzilla Summary coming soon
Sign up to get notified when the full AI-powered summary is ready.
Free forever for up to 3 podcasts. No credit card required.
Listen to This Episode
More from aboutlogic
aboutlogic: premises #08 | Choice vs. Excluded Middle: A Constructive Paradox
aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory
aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman
aboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set Theory
Get summaries like this every morning.
Free AI-powered recaps of aboutlogic and your other favorite podcasts, delivered to your inbox.
Free forever for up to 3 podcasts. No credit card required.