播客：AI 能帮菲尔兹奖证明过形式化验证，为何物理学还不行
TOEwithCurt · x · 2026-10-05
TOE 播客邀请应用数学家、Lanyon AI 联合创始人兼 CEO Jonathan Gorard，探讨为什么 AI 在数学和编程领域起飞，却尚未在物理学取得同等进展。要点包括：
- 验证器差异：数学有形式化证明检查器（proof checker），物理缺少等价物——「我探测到一个粒子」背后依赖 20 到 50 层理论推断，难以形式化验证。
- AI 完成菲尔兹奖证明的形式化检查：Gorard 谈及一个 AI 完成了某菲尔兹奖成果的完整形式化验证，并表示这让他感到恐惧。
- 讨论还涉及 Alan Turing（图灵）相关的历史视角与物理理论的可验证性问题。
所属事件:Lanyon AI 联合创始人深谈 AI 为何尚未攻克物理学(2 条相关)→
「研究」频道最新
- 用 LLM 嵌入做心理测量:EGA 完美还原六维结构,PCA 几乎全败 — GolinoHudson · 2026-10-06
- 斯坦福两研究：给 AI 打分的基准测试可能测错了东西 — StanfordHAI · 2026-10-06
- 工程师从博客逆向重建 Neuralink 脑机接口解码器架构 — melnykowycz · 2026-10-06
- 哈佛-MIT 论文:让 agent「提前规划」的提示词反而让决策更差 — dair_ai · 2026-10-06
- 首届人机交互会议 HAIC 2027 官宣：2027 年 6 月落地华盛顿 — jasonwuishere · 2026-10-06
- Gym-Anything 获 COLM 2026 终身智能体研讨会口头报告 — wellecks · 2026-10-06