OpenAI 公开了 722 篇由未发布内部前沿模型产出的数学手稿，来自约 4000 个开放研究问题的评测，结论尚未定论。 手稿合并后对应 372 组相互关联的结果，涵盖 Unique Games 猜想、准黎曼猜想、自由群因子问题等；部分结果附有 Lean 形式化证明，可由机器逐步检查，OpenAI 称未形式化的部分仍可能出错，参与咨询的独立数学顾问组 AGMAI 也未为这些结论背书。