About this episode

The episode discusses the potential of AI to prove the Riemann Hypothesis with insights from Tudor Achim.

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.

People in this episode

Hosts: Deniz Sarikaya, Thorsten Altenkirch

Guest: Tudor Achim

Topics covered

• AI
• Riemann Hypothesis
• mathematics
• proof
• superintelligence
• education
• research

Keywords

• AI
• Riemann Hypothesis
• mathematical proof
• superintelligence
• Erdős problems
• Lean theorem prover
• Harmonic

Mentioned in this episode

Organizations: Harmonic

Books & works: Aristotle

More episodes of aboutlogic

• aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory · September 2, 2026 · 30 min
• aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman · August 26, 2026 · 1h 1m
• aboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set Theory · August 19, 2026 · 27 min
• aboutlogic #18 | The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays · August 13, 2026 · 1h 3m
• aboutlogic: premises #05 | Dependent Type Theory: A Revolution in Math & Computer Science · August 5, 2026 · 28 min
• aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics · July 29, 2026 · 1h 16m

Explore listener stats, chart rankings, contacts and more on the aboutlogic podcast page.