OpenAI 发布内部模型产出的数学研究手稿库

OpenAI 在 GitHub 发布由内部未公开模型产出的数学手稿与证明工件，目录包含 722 篇手稿、归入 372 个结果家族，按数学学科分类。这些结果大多由同一套流程得到，平均每个结果消耗三小时 ChatGPT Pro 思考算力，评估期间模型共被提出约 4000 个问题。集合中部分结果已有 Lean 形式化，部分尚未形式化，OpenAI 表示未形式化的结果可能存在问题并会尽快修复，同时还在探索由社区托管这些材料。OpenAI 还发布了覆盖 10 个结果家族的模型推理摘要，包括 π 的无理性指数、Mahler 猜想、Kaplansky 直接有限性猜想等主题。该集合将保留公开版本历史，修订以新版本记录，旧版本继续可访问。