{"podcast":{"title":"DataFramed","slug":"dataframed","podcast_index_feed_id":431413,"rss_url":"https://feeds.captivate.fm/dataframed/","website_url":"https://www.datacamp.com/podcast","image_url":"https://artwork.captivate.fm/4700b4b7-f386-4200-9a46-640458f2dcbd/5cfec01b44f3e29fae1fb88ade93fc4aecd05b192fbfbc2c2f1daa412b7c192.jpg","author":"DataCamp","episode_count":300,"summary":"Welcome to DataFramed, a weekly podcast exploring how artificial intelligence and data are changing the world around us. On this show, we invite data & AI leaders at the forefront of the data revolution to share their insights and experiences into how they lead the charge in this era of AI. Whether you're a beginner looking to gain insights into a career in data & AI, a practitioner needing to stay up-to-date on the latest tools and trends, or a leader looking to transform how your organization uses data & AI, there's something here for everyone. Join host Richie Cotton as he delves into the stories and ideas that are shaping the future of data. Subscribe to the show and tune in to the latest episode on the feed below.","last_synced_at":"2026-09-14T10:22:15.846770+00:00","page_url":"https://stenobird.com/podcast/dataframed"},"episode":{"title":"#375 Is Math The Key to Better Coding AI? With Tudor Achim, CEO at Harmonic","slug":"375-is-math-the-key-to-better-coding-ai-with-tudor-achim-ceo-at-harmonic","published_at":"2026-08-31T09:00:00+00:00","page_url":"https://stenobird.com/podcast/dataframed/375-is-math-the-key-to-better-coding-ai-with-tudor-achim-ceo-at-harmonic","show_page_url":"https://stenobird.com/podcast/dataframed","url":"https://www.datacamp.com/podcast","audio_url":"https://dts.podtrac.com/redirect.mp3/cohst.app/pdcst/6G1A6D/episodes.captivate.fm/episode/20fd5d28-902b-4e5d-901b-13bd8d46d968.mp3","summary":"AI capability in mathematics jumped before most people noticed, tackling Olympiad-level problems and unsolved research questions that had resisted attack for years. But the pattern of where AI succeeds and where it stalls is uneven and worth understanding. It's much better at grinding through cases to disprove something than at constructing an elegant, original proof. Anyone working with AI in a technical field runs into this same asymmetry. Where exactly is the boundary between tasks AI can already do reliably and ones that still need human judgment and creativity? Tudor Achim is the co-founder and CEO of Harmonic, an AI company building toward mathematical superintelligence. He previously led the machine learning team at Quora and co-founded and served as CTO of the autonomous driving company Helm.ai. Under Tudor, Harmonic's Aristotle system achieved gold-medal performance at the 2025 International Math Olympiad alongside systems from OpenAI and Google DeepMind — with every proof formally verified. In the episode, Richie and Tudor explore why AI is starting to outperform humans at advanced mathematics, the shift toward formally verified proofs using the Lean language, where AI already beats humans (finding counterexamples) versus where it still falls short (building elegant proofs), how human mathematicians' roles will change, why math capability gains spill over into better AI reasoning generally, and much more. Links Mentioned in the Show: • Tudor's TED Talk: \"The Path to Mathematical Superintelligence\" • Aristotle, Harmonic's reasoning system • Harmonic • The Erdős Problems • American Institute of Mathematics • Rich Sutton, \"The Bitter Lesson\" • Connect with Tudor: LinkedIn • AI-Native Course: Intro to AI for Work • Related Episode: Why AI Agents Haven't Taken Ove…","meta_description":"AI capability in mathematics jumped before most people noticed, tackling Olympiad-level problems and unsolved research questions that had resisted attack…","key_points":[],"chapters":[],"topics":[],"duration_seconds":2848,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/dataframed/episodes/375-is-math-the-key-to-better-coding-ai-with-tudor-achim-ceo-at-harmonic/transcription-requests","description":"Idempotently request low-priority transcript generation for this episode."},{"name":"read_markdown","method":"GET","url":"https://stenobird.com/podcast/dataframed/375-is-math-the-key-to-better-coding-ai-with-tudor-achim-ceo-at-harmonic.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}