The path to mathematical superintelligence | Tudor Achim
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…
We score an episode from what we can actually measure — its reach and engagement, what listeners say about it, and what it covers. We don't have those signals for this one yet, so it doesn't get a number.
Buzzmeter says it's buzzing across platforms — the Hive Vote says whether the people who actually listened liked it.
Rate this episode
Add your vote to the Hive — listeners rate every episode after they finish.
- No reviews yet — be the first.
More from TED Talks Daily
See all episodes →How to make parenting less lonely | Stacey McLachlan
Sunday Pick: Can AI really teach your kids? with Leah Belsky | from WorkLife with Molly Graham
Why the future is human ... plus AI | Sal Khan and Esther Perel
Similar episodes from other shows
More like TED Talks Daily →
65%The mathematics of AI uncertainty
Joscha Bach: AGI, Consciousness, and the Evolution of Intelligence
Move over, vibe-coding. Vibe-proving is here for math
Vlad Tenev and Tudor Achim on mathematical superintelligence, why math is harder than code for LLMs, and the end of buggy software
One great episode in your inbox, daily — free.
One email a day, unsubscribe anytime. No spam, ever.