The path to mathematical superintelligence | Tudor Achim

The path to mathematical superintelligence | Tudor Achim

  • Af
  • Afsnit
    • 2660
  • Udgivet
    • 3. jul. 2026
  • Forlag
0 Anmeldelser
0
Afsnit
2660 of 1998
Længde
16M
Sprog
Engelsk
Format
Kategori
Fakta

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.


Lyt når som helst, hvor som helst

Nyd den ubegrænsede adgang til tusindvis af spændende e- og lydbøger - helt gratis

  • Lyt og læs så meget du har lyst til
  • Opdag et kæmpe bibliotek fyldt med fortællinger
  • Eksklusive titler + Mofibo Originals
  • Opsig når som helst
Prøv nu
Cover for The path to mathematical superintelligence | Tudor Achim

Other podcasts you might like ...