play_arrow

keyboard_arrow_right

skip_previous play_arrow skip_next
00:00 00:00
playlist_play chevron_left
volume_up
play_arrow

Society & Culture

The path to mathematical superintelligence | Tudor Achim

podcast July 3, 2026


Background
share close

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.

Rate it
Previous episode

Instagram
Twitter
Facebook