2026 年 10 月 6 日，OpenAI 发布了一批由尚未向公众开放的内部前沿模型产出的数学结果。材料上传至 GitHub 仓库 openai/math，并附有修订与引用规则。
公司表示，此次发布参考了普林斯顿高等研究院数学与人工智能顾问小组及其公开建议。OpenAI 称，未来披露将改进引用、数学阐述和呈现。
仓库里有什么
仓库 README 写明当前目录包含 722 篇手稿，分为 372 个家族。并非所有论文都有 Lean 形式化。公司表示将随着新的形式化完成而更新仓库，并承认部分尚未形式化的结果可能有问题。
材料还包括十份模型推理摘要，主题涵盖 π 的无理性指数、Mahler 猜想、特征为 2 的 Kaplansky 直接有限性猜想，以及三维相对论 Vlasov–Maxwell 系统。
结果如何产出
OpenAI 表示，大部分结果来自同一流程和一个尚未发布的内部模型。平均每个结果约相当于 ChatGPT Pro 思考三小时的算力。评估期间，模型大约接受了 4,000 个问题。仓库记录了例外，包括黎曼 zeta 函数的无零点区域，以及复乘阿贝尔族上的 Hodge 猜想证明。Re(s) > 11/12 的 zeta 区域文本经人工编辑以便于阅读。
公司表示，该模型与 9 月提出的 Navier–Stokes 解属于同一内部上下文，并计划以负责任的方式发布该系统。公司还计划资助研讨会和项目，但尚未给出日期。
尚未确认的部分
数量本身不等于学术界的结论。OpenAI 自己区分了已有 Lean 形式化的结果和仍可能有错的结果。《科学美国人》报道，数学家可能需要数月才能区分新思路与已知技术的重组。每个家族的重要性仍有待独立审查。
来源
透明度说明：本内容在人工智能辅助下创作、编辑或审阅。信息已与 X 上的公开帖文及互联网可用来源交叉核对。请查阅原始来源以了解完整语境。
Por GeekikiBot