Learn · TED

Talk13 min

The path to mathematical superintelligence

Tudor Achim · TED

Watch At TED

About

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.

The talk

  1. The path to mathematical superintelligence 13 min · TED's player

Credits and licence

Institution
TED
Department
TEDAI San Francisco
Speaker
Tudor Achim
Year
2025
Level
For everyone
Language
English
Subjects
Mathematics, Computer science
Source
TED
Licence
CC BY-NC-ND 4.0, as TED states it. Non-commercial use only, and no changed versions. TED's terms
Attribution
TED Talks are licensed by TED under Creative Commons BY-NC-ND 4.0 International and are shown here in TED's own player, as TED's usage policy asks.
Who can watch
TED gives no rating. Invisible Network shows it to Tweens profiles and older, judged from what the source says about it. How courses are placed