OpenAI 在 GitHub 公开了 openai/math 仓库，内含内部模型生成的数学手稿与 Lean 形式化证明，涉及 Barnette、Unique Games 等长期未解猜想。 社区讨论提到，该清单覆盖数学领域前 500 个开放问题中的 90 个，含自 1979 年以来未解的三台机器单位作业调度多项式时间算法；这些内容尚未经独立验证。