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 →Similar episodes from other shows
More like TED Talks Daily →
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
Mathematics is Undergoing the Biggest Change in its History
One great episode in your inbox, daily — free.
One email a day, unsubscribe anytime. No spam, ever.