Lean's Role in Acceptance of AI Proofs

Ben Lorica speaks with Tudor Achim, cofounder of Harmonic, about the fast progress of AI for mathematical reasoning and what it would take to build “mathematical superintelligence.” 

Subscribe to the Gradient Flow Newsletter 📩  https://gradientflow.substack.com/

Subscribe: Apple · Spotify · Overcast · Pocket Casts · AntennaPod · Podcast Addict · Amazon ·  RSS.

Detailed show notes - with links to many references - can be found on The Data Exchange web site.