The path to mathematical superintelligence

Q: How long is this episode of TED Talks Daily?

This episode is 15 minutes long.

Q: When was this TED Talks Daily episode published?

This episode was published on July 3, 2026.

Q: Can I download this TED Talks Daily episode?

Yes, you can download this episode by clicking the download button on the episode player, or subscribe to the podcast in your preferred podcast app for automatic downloads.

What this episode covers

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.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

Christadelphian Encouragements CE.captivate.fm Christadelphian Encouragements provides sermons, exhortations, bible studies, memorials, and daily readings from around the world. Please visit ChristadelphianEncouragements.Com and our content creators websites for more information and Christian audio content. Gooday Gaming Guests FFF Gaming Emporium These are my Daily Messages in a Bottle sent over the internet Ocean for anyone to find. Listen to a Quick 20-minute Journey into my Life's Passions Work a Few Times a Day. I am 57. I Grew Up on All Gaming and Computing. I am a Seller of Gaming Parts on eBay and Etsy. In the past 8 years, I have learned about every system ever made. I am also an Enthusiast, Collector and Hobbyist of all Vintage Computing from the Very Beginning. In the last Few Years, I have been sharing my knowledge with others on YouTube, TikTok and Now this Pod Cast.See where all the Magic Happens:FFF Gaming Emporium | eBay Storeshttps://www.youtube.com/channel/UCDrdCmDQ52AsCWTWAhE7JEQ/<a target="_blank" rel="noopener noreferrer nofollow" href="https://www Carnivores Don't Get Sunburn - Carnivore Diet Talks Carnivores Don't Get Sunburn - Carnivore Diet Talks Welcome to “Carnivores Don’t Get Sunburn,” where we have fun and explore the carnivore diet and its transformative power. Join us as we uncover real stories from individuals who have thrived on this diet, defying convention and embracing optimal health. Plus, stay tuned for our upcoming documentary featuring diverse carnivores overcoming health challenges. Learn more at www.carnivoredietdocumentary.com.Excitingly, we’re working on an upcoming documentary where we’ll feature carnivores from various walks of life, conquering diverse health challenges. Join us on this journey and learn more at www.carnivoredietdocumentary.com.Join us in uncovering the power of the carnivore diet. Prepare to be inspired, informed, and empowered to embrace optimal health and well-being.Welcome to “Carnivores Don’t Get Sunburn: Unveiling Real Stories of the Carnivore Diet.” Stay tuned for our upcoming documentary. Discover how this lifestyle can transform lives. Learn more at www.carnivoredietdocumentary.com Persian News - NHK WORLD RADIO JAPAN NHK WORLD-JAPAN This is the latest news in Persian from NHK WORLD RADIO JAPAN. This service is daily updated. For more information, please go to https://www3.nhk.or.jp/nhkworld/.

Frequently Asked Questions

How long is this episode of TED Talks Daily?