ai-for-science

GPT-5.2 理论物理推导的形式化验证工作流构建

针对 GPT-5.2 在理论物理学中的新推导，提出一个结合神经-符号智能体（Ax-Prover）与 Lean 形式化系统的可复现验证流程，涵盖能力边界分析、工作流设计及具体工程参数。