497 通向数学超级智能之路
Show notes
获取全套TED资料（音频、视频、英中双语对照文本），请关注公众号【悦读烩】
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.
生成式AI会产生幻觉，这就带来了一个科学无法承受的“真实性问题”。计算机科学家图多尔·阿基姆（Tudor Achim）认为，一个已有400年历史的构想能解决这一难题：那就是莱布尼茨的梦想——构建一个根本不可能出错的逻辑框架。来了解他关于数学超级智能的想法，这种智能将AI建立在形式验证的基础之上，把不可靠的聊天机器人转变为严谨的科学发现伙伴。