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

论文指出形式化是 AI 驱动计算与理论物理发现的关键层，AI 正降低物理形式化门槛并提升效率，但在选择定义和设计库方面仍弱于写证明。当前 AI 带来的形式化速度以信任、署名和社区为代价，Physlib 等社区评审的共享形式化库应成为核心。物理形式化还面临数学之外的挑战：已检验的证明无法保证其定义忠实反映预期物理。