OpenAI 证明数学界 20 年猜想
推荐指数 92.0 NO. 011 · 2026.10.08
发布2026/10/07Score154Comments164
为什么值得看
OpenAI 在 372 项成果中发布了 Unique Games Conjecture 的证明，该猜想由复杂度理论家 Subhash Khot 提出，是理论计算机科学核心难题之一。这意味着 AI 可能已具备解决人类数学家终身未竟问题的能力，对 AI 辅助科研的边界有标志性意义。
编辑判断
UGC 的证明若经严格验证，将直接确认大量 NP-hard 问题的近似难度下限，影响从密码学到机器学习优化的多个领域。但需警惕：OpenAI 一次性发布 372 项成果，筛选机制和同行评审流程尚未公开，Timothy Gowers 等顾问的背书不等于数学界共识。
对 AI 工程师的实际启发在于，这验证了「大规模自动搜索+人类专家过滤」的新研究范式。如果你在做 AI for Science 的产品，现在该考虑的不是替代数学家，而是设计「AI 生成候选证明 + 专家快速验证」的人机协作工作流，这比追求全自动证明更现实。
社区反馈
意见分歧 143 条评论
核心争论：AI证明数学猜想是突破还是无理解价值的暴力计算，及研究者补偿体系如何重构
Agents basically did statistically guided brutforcing. There is no value in what they produced because it lead to no understanding of anything and most likely will hurt the field IMO
That is not a correct description of what the AI did.
Evolution did statistically guided brute forcing. Doesn't mean that biology has no value