{"podcast":{"title":"TED Talks Daily","slug":"ted-talks-daily-980370","podcast_index_feed_id":980370,"rss_url":"https://feeds.feedburner.com/TEDTalks_audio","website_url":"https://www.ted.com","image_url":"https://assets.pippa.io/shows/67587e77c705e441797aff96/show-cover.png","author":"TED","episode_count":2765,"summary":"Want TED Talks on the go? Everyday, this feed brings you our latest talks in audio format. Hear thought-provoking ideas on every subject imaginable – from Artificial Intelligence to Zoology, and everything in between – given by the world's leading thinkers and doers. This collection of talks, given at TED and TEDx conferences around the globe, is also available in video format. Hosted on Acast. See acast.com/privacy for more information.","last_synced_at":"2026-07-29T06:21:27.977190+00:00","page_url":"https://stenobird.com/podcast/ted-talks-daily-980370"},"episode":{"title":"The path to mathematical superintelligence | Tudor Achim","slug":"the-path-to-mathematical-superintelligence-tudor-achim","published_at":"2026-07-03T15:00:00+00:00","page_url":"https://stenobird.com/podcast/ted-talks-daily-980370/the-path-to-mathematical-superintelligence-tudor-achim","show_page_url":"https://stenobird.com/podcast/ted-talks-daily-980370","url":"http://go.ted.com/tudorachim","audio_url":"https://sphinx.acast.com/p/open/s/67587e77c705e441797aff96/e/6a467fe572b913ccd504f60f/media.mp3","summary":"Generative AI hallucinates, creating a truth problem that science can't afford. Computer scientist Tudor Achim thinks a 400-year-old idea holds the fix: Leibniz's dream of a logical framework where errors are simply impossible. Learn about his idea for mathematical superintelligence that would ground AI in formal verification, turning unreliable chatbots into rigorous partners for scientific discovery. Hosted on Acast. See acast.com/privacy for more information.","meta_description":"Generative AI hallucinates, creating a truth problem that science can't afford. Computer scientist Tudor Achim thinks a 400-year-old idea holds the fix: L…","key_points":[],"chapters":[],"topics":[],"duration_seconds":910,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/ted-talks-daily-980370/episodes/the-path-to-mathematical-superintelligence-tudor-achim/transcription-requests","description":"Idempotently request low-priority transcript generation for this episode."},{"name":"read_markdown","method":"GET","url":"https://stenobird.com/podcast/ted-talks-daily-980370/the-path-to-mathematical-superintelligence-tudor-achim.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}