WavePod Logo

wavePod

AlphaProof at the IMO: AI, Lean, and the Future of Mathematical Reasoning - Intellectually Curious | Wave AI Podcast Notes