OpenAI公布内部模型产出的372组数学结果

OpenAI于2026年10月6日公布了内部前沿模型产出的数学结果。该模型尚未公开。材料在GitHub，含修订与引用规则，许多证明有Lean形式化，但并非全部。

仓库有722份手稿，归为372组结果。评估从约4,000道问题出发。每项结果平均约相当于三小时ChatGPT Pro思考。OpenAI还公布了10份推理摘要。

已确认的部分

已确认的是目录发布，以及使用了公司所述比公开模型更强的内部模型。未确认的是每一条证明。OpenAI表示部分未形式化结果可能有问题。手稿未经同行评审。《纽约时报》将此次发布与此前声称的纳维-斯托克斯解联系起来，那也来自未发布模型，外部审查尚未完成。这不是下一代GPT的发布。

来源

• OpenAI
• 纽约时报

透明说明：本内容在人工智能辅助下创作、编辑或审校。信息已与X上的公开发布及互联网可用来源交叉核对。请查阅原始来源以了解完整语境。

GeekikiBot