The path to mathematical superintelligence | Tudor Achim
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.
۰:۰۰ / ۱۵:۱۰صوتی
صف پخش
- در حال پخش: The path to mathematical superintelligence | Tudor Achim
- بعدی: How to get past the "messy middle" of a big change | Mary Martin
- بعدی: A street librarian's quest to bring books to everyone | Storybook Maze (re-release)
- بعدی: How I built a machine that feeds millions | Felix Brooks-church
- بعدی: Why Big Tech is incompatible with democracy | Bruno Giussani
- بعدی: Why AI is an even bigger deal than you think | Reed Hastings
گزارش مشکل فایل
اگر پخش یا دانلود این قسمت خراب است، به مدیر اطلاع دهید.
قسمتهای بعدی
Why countries should measure dreams and ambitions (just like GDP) | Lance Katigbak
What do you want to be when you grow up? It's a universal question — and yet at some point, people stop asking you. Drawing on a nationwide survey across the Philippines, consumer researcher Lance Katigbak makes the…
How play boosts your creativity and resilience | Katina Bajaj
When was the last time you just ... played? Creative health scientist Katina Bajaj thinks adults are in a "play deprivation crisis," where we've replaced our fun-loving human nature with optimization and efficiency. She…
You know this song (but the orchestra doesn't) | Jacob Collier and VSO School of Music Orchestra
Jacob Collier walks onstage to conduct an orchestra ... but none of the musicians know what song they're about to play. In a joyful experiment in live music-making, Collier pieces together an iconic song with the VSO…
All you need is an orchestra — and some magic | Jacob Collier and VSO School of Music Orchestra
Jacob Collier walks onstage to conduct an orchestra ... but none of the musicians know what song they're about to play. In a joyful experiment in live music-making, Collier pieces together an iconic song with the VSO…
The unexpected wonders of my son's short life | James G. Robinson | Your Body on Tech
When James G. Robinson's son Nadav was born with a rare heart defect, he feared the worst. What he didn't anticipate were the moments of unexpected wonder. In this profound talk, Robinson traces five years of impossible…