OpenAI 官宣发布内部前沿模型产出的批量新数学成果，含严格证明

ctjlewis · x · 2026-10-07

OpenAI 官宣正在发布由内部前沿模型产生的一系列全新数学研究成果，并称已咨询高等研究院「数学与人工智能独立顾问小组」，参考其建议决定发布方式。

物理学家 Steve Hsu 转发并指出，其中多项结果属于理论/数学物理领域，例如对量子海森堡铁磁体自发磁化的 Lean 形式化验证证明：若经得起学界审查，无论是否借助 AI，都将是量子铁磁有序的首个严格证明，堪称数学物理的里程碑。该问题自 1930 年代 Bloch 自旋波理论以来一直被物理学家默认成立，经典版本由 Fröhlich、Simon 与 Spencer 于 1976 年证明，而量子版本的严格证明此前始终缺位。