OpenAI发布超300道数学题求解结果，重塑AI数学公信力

OpenAI于10月6日公开了一批由内部前沿模型生成的数学研究成果。其GitHub仓库收录722篇手稿，归入372个成果家族，涵盖主要结论、配套论证、推论及替代证明。OpenAI称这些成果涉及数百个开放问题，但强调其验证程度不一，部分未经Lean形式化的结果仍可能存在问题。 此次发布距离OpenAI宣称解决Navier–Stokes千禧年大奖难题约一个月。不过，该结论仍应表述为OpenAI提出的解决方案，而非已获数学界或Clay数学研究所正式认可的最终成果。 OpenAI同时公开了部分Lean证明、10项成果的推理摘要以及计算量统计，并表示将继续补充形式化验证。相关材料为数学界开展独立审查提供了基础，但尚不足以证明全部成果均正确，也没有披露内部模型的具体架构、训练数据或完整推理过程。其学术价值仍需经过长期的同行检验。