数学有证明检查器，物理能有一个吗？Lanyon AI CEO 深谈

Lanyon AI CEO Jonathan Gorard 在 TOE 播客中探讨 AI 为何在数学和编程领域起飞却未征服物理学，并提出能否为物理构建类似数学证明检查器的工具。他指出数学有证明检查器这类形式化验证工具，而「我探测到一个粒子」背后堆叠着 20 到 50 层理论假设。他主张让物理学变得「可执行」，认为许多物理之谜只是描述语言的产物。