OpenAI再夺数学家百万美元难题成果

OpenAI又抢在了数学家前面。这一次，它用内部大模型完成了一项被数学家追逐数十年的成果：为量子色动力学（描述强相互作用的理论）给出形式化数学证明。而就在几周前，两位人类数学家——其中一位还就职于OpenAI的竞争对手Anthropic——刚刚公开了他们在这道难题上的进展。 这道题叫“杨-米尔斯问题”，是数学界悬赏百万美元的千禧年大奖难题之一。它的核心是给现代物理的基石——量子场论——补上严格的数学地基。上世纪80年代，数学家Tadeusz Balaban曾勾勒出一条证明“存在性”的粗略路径，但手稿多达数千页且远未完成。西北大学的Ethan Sussman和Anthropic的Levent Alpöge从10月6日起公开合作进展，甚至在OpenAI发布结果的前一晚还在GitHub上更新了中间结果。Sussman坦言“说不失望是假的”，他估计两人距离完成可能只差几周。哈佛理论物理学家Michael Douglas则评价这是“重大进展”，称数学家花了50多年让量子场论严格化，而量子色动力学这类现实理论一直看似遥不可及。 对跨境电商和AI从业者来说，这件事的信号意义大于数学本身：头部AI实验室正把大模型当作“科研生产力工具”直接投入最硬核的基础科学战场，而且出手速度开始压过人类专家团队。OpenAI用专有内部模型完成形式化证明，意味着AI在需要严密逻辑链的领域——比如合规审计、供应链优化中的复杂约束求解——的能力边界还在外扩。当AI开始“抢发”人类学者的论文级成果，科研竞争的节奏和规则都会被重新改写，而这场竞赛的参与者，已经不只是数学家了。