AI能否加速理论物理的形式化？
geoffreyirving · x · 2026-07-20
AI 研究员 Geoffrey Irving 探讨了 AI 在理论科学中的应用潜力。他提出，理论物理通常处于“半形式化”状态，计算不如数学基于集合论（ZFC）那般严谨，但物理学家通常知道如何避开其中的陷阱。
他由此提出疑问：由于数学拥有更严密的形式化体系，能提供额外的检验机制，AI 是否能比物理更大幅度地加速数学研究？此外，他推测未来几年内，AI 是否会催生出一批全新的理论物理“玩具模型”，以牺牲部分物理近似为代价来换取完全的形式化验证？
「漫话AGI」频道最新
- 大模型商业模式演进：从卖 Token 到卖结果 — yacineMTB · 2026-07-22
- Bindu Reddy 称 GPT-6 قريب在即，阿里 DeepSeek Kimi 也将跟进 — bindureddy · 2026-07-22
- Bindu Reddy 认为行业还不会训练 20T 级模型并规模化后训练 — bindureddy · 2026-07-22
- 教授提醒：最先进的大模型正变得无法相互替代 — emollick · 2026-07-22
- AI 提了更好的构图，反而让用户感到不安 — Sydde · 2026-07-22
- AI 发展的瓶颈：从互联网数据红利到高质量反馈闭环 — dyamins · 2026-07-22