aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic)

aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic)6 days ago41 min

Listen on SpotifyAlso works in your browser

Apple PodcastsOpen
YouTubeOpen
Pocket Castsopens the podcast
Amazon Musicopens the podcast
Deezeropens the podcast

5 more apps

Overcastopens the podcast
Player FMopens the podcast
Castroopens the podcast
Podcast Addictopens the podcast
RSSopens the podcast

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.