Lanyon AI 联合创始人深谈 AI 为何尚未攻克物理学

TOE 播客邀请应用数学家、Lanyon AI 联合创始人兼 CEO Jonathan Gorard，探讨 AI 在数学和编程领域迅速起飞，却尚未在物理学取得同等进展的原因。他提到数学拥有证明检查器这类形式化验证工具，AI 已能辅助菲尔兹奖级别的证明形式化，而物理学缺乏类似机制，成为其落地的关键瓶颈之一。

2026-10-05 ~ 2026-10-05 · 2 条相关

另有 1 条近重复转述:TOEwithCurt