AI解数学题从「单次高光」变成「批量交卷」，学界的第一反应往往不是欢呼，而是要流程。
10月6日，OpenAI发布博文《Sharing AI progress in mathematics》，称正公开一批由内部前沿模型产生的数学新结果，并同步提供GitHub仓库、论文修订与引用协议。公司表示已咨询普林斯顿高等研究院（IAS）下设的独立「数学与人工智能咨询组」，并参考其公开建议调整本次披露。仓库中包含部分结果的Lean形式化证明，后续将继续补充；同时公开约10份模型推理摘要、以ChatGPT Pro用量估算的算力消耗，以及尝试题量等统计。官方称平均每条结果约相当于三小时ChatGPT Pro思考算力。
与前序对照： 此前OpenAI围绕纳维–斯托克斯等问题的披露曾引发数学界对透明度与可核验性的争议。本次公司强调将资助工作坊与会议，帮助社区理解AI产出的重大结果，并称正准备负责任地发布产生这些结果的模型。外媒报道提到结果数量达数百量级，但「是否构成真正新证明、重要性如何」仍需专家逐条审读；OpenAI自身也承认社区存在怀疑。
合规边界： 本文只陈述公司已公开的披露动作与流程承诺，不对未经验证的具体定理正确性下结论。观察点在于：Lean覆盖率、外部复现成本，以及咨询组建议能否成为行业默认标准。
事实以OpenAI官方博文为准。