OpenAI宣布数学与物理学三项重大突破：AI破解百年猜想，联合全球学者开创科学验证新范式

**导语**
OpenAI今日宣布，其在数学与物理学领域取得三项重大研究进展，其中一项针对长期悬而未决的百年猜想提出了完整候选证明框架。与以往单点式AI成果不同，此次研究同步引入全球学者参与审查与验证，试图建立“AI生成—专家复核—形式化检验—公开复现”的科研协作闭环。

**突破与验证**
据披露，三项成果分别覆盖数学证明、物理推导及跨学科验证方法。AI系统主要承担假设生成、证明路径搜索和复杂推导辅助，而非替代科学家作最终判断。全球学者将对关键引理、边界条件和物理假设进行独立审查，并借助形式化工具检查证明可检验性。这一流程的价值在于，把AI输出从“看似合理”推进到“可复核、可复现”的证据链。

**范式意义**
若相关成果经独立确认，其影响不只在单个猜想被解决，更在于科研组织方式的变化：AI从文献助手升级为假设生成与证明搜索工具，同行评审则向人机协同、形式化验证和开放复现延伸。这有望提升基础研究效率，但也对署名、责任归属和评审标准提出新要求。

**审慎分析**
需要区分数值证据、非形式化证明与机器可检验证明。百年猜想的最终成立仍依赖严格形式化核验和长期同行评议；AI推理中的错误传播、可解释性不足等问题亦不可忽视。真正的突破，或许是“AI参与科学发现”的验证新范式开始成型。