# The path to mathematical superintelligence

- Institution: TED
- Department: TEDAI San Francisco
- Speaker: Tudor Achim
- Year: 2025
- Level: For everyone
- Language: English
- Subjects: Mathematics, Computer science
- Source: [TED](https://www.ted.com/talks/tudor_achim_the_path_to_mathematical_superintelligence)
- Licence: [CC BY-NC-ND 4.0](https://creativecommons.org/licenses/by-nc-nd/4.0/) (Non-commercial use only, and no changed versions.)
- Who can watch: Tweens profiles and older (sources give no ratings; placed by Invisible Network from the source's own words)

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.

## Lectures

1. [The path to mathematical superintelligence](https://invisiblenetwork.ai/learn/ted/tudor_achim_the_path_to_mathematical_superintelligence/8207d85983aa), 13 min (TED's player)