周二，OpenAI 在 GitHub 上发布了包含 377 项新数学成果的“信息大爆炸”，此举进一步冲击了数学界的职业安全感。
在随机选取的一篇论文中，OpenAI 声称已证明“布里克-斯温纳顿-戴尔（Birch-Swinnerton-Dyer）主项公式”。然而，该证明仅适用于有理数域 $\mathbb{Q}$ 上的椭圆曲线，且仅限于“$q$ 次幂塞尔默群在某个素数 $q$ 处余秩为零或一”的特定情况。
OpenAI 在随附博客中承认，专家群体可能对此持保留态度。公司表示，希望利用最先进能力直接赋能科学家，并强调正在“负责任地发布产生这些结果的模型”。
未发布模型引发争议
文章指出，生成这些成果的模型与约一个月前用于反驳纳维-斯托克斯（Navier-Stokes）方程反例的为同一款内部未发布模型。此前，OpenAI 曾介入并完成另一支 AI 数学家团队的工作，尽管这并不意味其答案无效，但引发了关于透明度的讨论。
OpenAI 表示，新发布的内容包含“论文修订和引用协议”，并称公司正与高等研究院的“数学与人工智能咨询组（AGMAI）”合作制定最佳实践。这是 OpenAI 上月宣布与 AGMAI 建立合作伙伴关系的后续动作。
然而，AGMAI 在 9 月 29 日的博客中明确反对前沿 AI 实验室在专有模型上测试高级数学问题，并要求停止此类做法，理由是这些模型对更广泛的科学界不可访问。鉴于 OpenAI 此次仍使用未发布模型，这一建议似乎未被完全采纳。
针对相关问询，OpenAI 发言人 Lindsay McCallum Rémy 重申了赋能科学家及负责任发布的立场。她补充道：“AGMAI 的建议和公开推荐影响了我们分享成果的方式。我们将继续纳入社区反馈，并提高分享重大科学进步的标准。”