通往数学超级智能之路
145,248 plays|
Tudor Achim |
TEDAI San Francisco 2025
• October 2025
生成式人工智能会产生幻觉，这引发了一个科学界无法承受的“真理问题”。计算机科学家图多尔·阿希姆认为，一个已有400年历史的想法可以解决这一问题：莱布尼茨曾梦想构建一个逻辑框架，在这个框架中，错误根本不可能发生。了解他关于数学超级智能的构想——该构想将使人工智能建立在形式化验证的基础上，从而将不可靠的聊天机器人转变为科学发现的严谨伙伴。