Episode
The path to mathematical superintelligence | Tudor Achim
- Podcast
- TED Talks Daily
- Published
- Jul 3, 2026
- Duration seconds
- 910
- Processing state
not_requested- Canonical source
- http://go.ted.com/tudorachim
Actions
POST https://stenobird.com/v1/public/podcasts/ted-talks-daily-980370/episodes/the-path-to-mathematical-superintelligence-tudor-achim/transcription-requests
Idempotently request low-priority transcript generation for this episode.GET https://stenobird.com/podcast/ted-talks-daily-980370/the-path-to-mathematical-superintelligence-tudor-achim.md
Read the agent-friendly Markdown representation of this episode resource.
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.