The Path to Mathematical Superintelligence | Tudor Achim | TED

About this video

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. (Recorded at TEDAI San Francisco 2025 on October 21, 2025) Join us in person at a TED conference: https://tedtalks.social/events Become a TED Member to support our mission: https://ted.com/membership Subscribe to a TED newsletter: https://ted.com/newsletters Follow TED! Instagram: https://www.instagram.com/ted LinkedIn: https://www.linkedin.com/company/ted-conferences TikTok: https://www.tiktok.com/@tedtoks Facebook: https://facebook.com/TED X: https://www.twitter.com/TEDTalks The TED Talks channel features the best talks and performances from the TED Conference, where the world's leading thinkers and doers give the talk of their lives in 18 minutes (or less) — plus originals, podcasts and exclusive content. Look for videos on Technology, Entertainment and Design as well as science, business, global issues, the arts and more. Visit https://TED.com for our entire library, transcripts, translations and personalized recommendations. Watch more: https://go.ted.com/tudorachim https://youtu.be/HSxytYCWVow TED videos may be used for non-commercial purposes under a Creative Commons License, Attribution–Non Commercial–No Derivatives (or the CC BY – NC – ND 4.0 International) and in accordance with the TED Talks Usage Policy: https://www.ted.com/about/our-organization/our-policies-terms/ted-talks-usage-policy. For more information on using TED for commercial purposes (e.g. employee learning, in a film or online course), submit a request at https://media-requests.ted.com #TED #TEDTalks #Technology