OpenAI 发布数学手稿，其意义仍有待评估

OpenAI 宣布发布由内部先进模型得出的数学开放问题新成果，并在 GitHub 上分享以 Lean 形式化的证明及研究细节。The Verge 描述了一批由未公开模型生成的 722 篇手稿，分为 372 个成果组。为协助这些成果的对外发布而成立的独立咨询小组 AGMAI 表示，这批成果包含数百个开放问题的解答。

这一评价仍属于该小组的判断。所公布的数量不足以证明每项证明的有效性，也不足以衡量每项成果的重要性。The Verge 强调，数学界仍需审查并消化这些工作。

AGMAI 在九月底发布了首批建议，要求迅速公开成果，并在可能的情况下通过现有学术渠道发布。该小组还要求提供有关模型、所用指令和计算成本的信息，并建议不要将这些发表成果转化为宣传材料。

OpenAI 表示，其使用 GitHub 仓库，并设有论文修订和引用流程。The Verge 称，这些文件尤其包括模型推理摘要、计算量估算以及尝试解决的问题的统计数据。目前的关键是区分所声称的解答、对其进行的验证及其科学贡献。已公开的信息可以帮助开展这一审查，但不能代替审查结论。