arXiv论文：AI辅助物理形式化仍存短板

Sven Krippendorf、Leopoldo Sarra 和 Joseph Tooby-Smith 在 arXiv 发表论文，讨论 AI 与形式化在物理学中的角色。论文认为形式化是 AI 驱动计算物理和理论物理发现的关键层，AI 正在降低物理形式化的门槛并提升效率。 但论文指出，AI 在选择定义和设计库方面仍弱于写证明；形式化速度的提升目前以信任、署名和社区为代价。作者主张以 Physlib 这类社区评审的共享形式化库作为可信、可复用的物理结果基础。 论文还提出物理形式化面临超越数学的挑战：即便证明经过检验，也无法保证其定义忠实反映预期的物理。

AI 根据报道生成 · 59 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。