TED Talks Daily podcast

The path to mathematical superintelligence | Tudor Achim

03/07/2026
0:00
15:10
Reculer de 15 secondes
Avancer de 15 secondes

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.

D'autres épisodes de "TED Talks Daily"