搜索
GPT-5.2 Pro助力解决又一Erdős公开数学难题
2 周前
2026年1月18日，OpenAI联合创始人Greg Brockman及研究者Neel Somani在X平台宣布，GPT-5.2 Pro成功攻克数学家Paul Erdős提出的第281号未解数论难题。该问题自1980年提出以来长期困扰学界，GPT-5.2 Pro通过引入遍历理论工具，结合哈尔测度计算与伯克霍夫遍历定理，构建了创新性证明逻辑。菲尔兹奖得主陶哲轩验证后评价其为“AI解决开放数学问题最明确的实例”，标志着AI从辅助计算向辅助证明的关键跨越。目前该解法已被归类为使用新方法的“第1部分”结果，相关验证体系由GPT-5.2 Pro生成初稿、形式化工具转译代码、外部专家审查三重机制构成。
