AI 辅助物理的未来：通过形式化发现、验证与组织结果

一篇 arXiv 论文指出，形式化是 AI 驱动物理学发现的关键层，AI 正在降低物理形式化的门槛并提升效率，但在选择定义和设计库方面仍弱于写证明。论文认为 AI 带来的形式化速度目前以信任、署名和社区为代价，并主张以 Physlib 这类社区评审的共享形式化库作为可信、可复用的物理结果基础。论文还指出，物理形式化面临超越数学的挑战，即已检验的证明无法保证其定义忠实反映预期的物理。