The path to mathematical superintelligence | Tudor Achim
TED Talks Daily 
Open in Clue About this episode
<p>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.</p><p><br></p><hr><p style='color:grey; font-size:0.75em;'> Hosted on Acast. See <a style='color:grey;' target='_blank' rel='noopener noreferrer' href='https://acast.com/privacy'>acast.com/privacy</a> for more information.</p>
Listen to this episode in English to learn English
Podcast episodes are one of the highest-density ways to absorb English at native pace. The path to mathematical superintelligence | Tudor Achim from TED Talks Daily gives you natural dialogue, unscripted speech, and vocabulary that actually appears in real conversations.
In the Clue app, every word in the transcript is tappable. Tap an unknown word, see the translation in your language instantly, and keep listening without breaking flow.
Episodes to Learn English
- The deadly threat affecting millions — and how to prevent it | Drew McCartor Jul 10, 2026
- Why winning doesn't always equal success | Valorie Kondos Field (re-release) Jul 9, 2026
- Confessions of an accidental killer | Gregg Ward Jul 8, 2026
- Does working hard really make you a good person? | Azim Shariff (re-release) Jul 7, 2026
- The kind of AI we actually need | Van Jones Jul 6, 2026
- Why you fear the unknown — and what it can teach you | Maya Shankar, Simone Stolzoff Jul 5, 2026
- Why democracy requires renewal | Michael Dimock Jul 4, 2026
- An immersive record of what the LA fires left behind | Nonny de la Peña Jul 2, 2026
- Why countries should measure dreams and ambitions (just like GDP) | Lance Katigbak Jul 1, 2026
- How play boosts your creativity and resilience | Katina Bajaj Jun 30, 2026
- You know this song (but the orchestra doesn't) | Jacob Collier and VSO School of Music Orchestra Jun 29, 2026
- The unexpected wonders of my son's short life | James G. Robinson | Your Body on Tech Jun 28, 2026
- The case for making art in a crisis | Yiyun Kang | Your Body on Tech Jun 27, 2026
- Can Ozempic end addiction? | Dhruv Khullar | Your Body on Tech Jun 26, 2026
- Why I’m obsessed with health wearables (and you should be too) | Michael Snyder | Your Body on Tech Jun 25, 2026
- Your vaccine questions deserve real answers | Kizzmekia Corbett | Your Body on Tech Jun 24, 2026
- What we're getting wrong about teens and tech | Candice Odgers | Your Body on Tech Jun 23, 2026
- What sitting all day does to your brain and body | Keith Diaz | Your Body on Tech Jun 22, 2026
- Why living online is leaving us exhausted — and what actually helps (with Manoush Zomorodi and Elise Hu) Jun 21, 2026
- Why overtourism could ruin your next vacation | Suresh Subudhi Jun 20, 2026
- The mission to safeguard Black history in the US | Julieanna L. Richardson (re-release) Jun 19, 2026
- How to raise kids who question AI | Randi Williams Jun 18, 2026
- Save it to your desktop! | Alan Resnick Jun 17, 2026
- How to feng shui your fridge — and other happy climate hacks | Jiaying Zhao (re-release) Jun 16, 2026
- Reddit's model for a better internet | Steve Huffman Jun 15, 2026
- Sunday Pick: The Data Center Next Door with Dr. Jacoby Wilson | from TED Tech Jun 14, 2026
- The human cell is wildly complex. Can AI decode it? | Silvana Konermann Jun 13, 2026
- Talks on Love Playlist (1/5): Your relationship expectations could be holding you back | Stephanie R. Yates-Anyabwile Jun 12, 2026
- Talks on Love Playlist (2/5): Even healthy couples fight — the difference is how | Julie and John Gottman Jun 12, 2026
- Talks on Love Playlist (3/5): The relationship between sex and imagination | Gina Gutierrez Jun 12, 2026
