数学有证明检查器，物理能有一个吗？Lanyon AI CEO 深谈
TOEwithCurt · x · 2026-10-05
TOE 播客邀请应用数学家、Lanyon AI 联合创始人 Jonathan Gorard，探讨为什么 AI 在数学和编程领域起飞，却还没征服物理学：
- 数学有证明检查器这类形式化验证工具，而「我探测到一个粒子」背后堆叠着 20 到 50 层理论假设
- 他谈到 AI 完成一项菲尔兹奖证明的形式化检查时为何感到害怕
- 图灵的博士生 Robin Gandy 曾尝试为物理学构建类似工具
- 他的主张是让物理学变得「可执行」，并认为许多物理之谜只是描述语言的产物
- 还讨论了物理学家的位置是否会被取代
所属事件:Lanyon AI 联合创始人深谈 AI 为何尚未攻克物理学(2 条相关)→
「漫话AGI」频道最新
- 学者警告：AI 太好用会制造「理解的错觉」与科学单一化 — MichaelRetchin · 2026-10-05
- AI 公司会不会在夸大风险？监管或成巨头收割开放生态的工具 — frugal-tech-worker · 2026-10-05
- 李开复访谈百余家 CEO:企业 AI 转型最大误区是把它当普通技术周期 — kaifulee · 2026-10-05
- 博主质疑 Anthropic 模糊立场:Claude 到底是工具还是被奴役的「有灵存在」 — alexeyguzey · 2026-10-05
- DearCai 创始人上 60 Minutes:AI 就业冲击将是一生中最重大变革 — clarashih · 2026-10-05
- OpenAI DevDay 被忽视的关键议题:Agent 该像员工一样担责 — jxnlco · 2026-10-05