OpenAI 公开 722 篇 AI 生成数学稿件：372 个结果族覆盖大量开放问题，并附多项 Lean 形式化

OpenAI 于 10 月 6 日公开 `openai/math`：722 篇数学稿件被组织为 372 个 result families，主要由同一个尚未公开的内部 frontier model 在约 4,000 个开放研究问题上的评测中产生，平均每个结果使用约 3 小时 ChatGPT Pro thinking 等价算力。公开目录涵盖数论、组合、几何、拓扑、分析、概率、数学物理与理论计算机科学等方向，其中列出的主张包括 quasi-Riemann hypothesis、Hilbert 第十问题在有理数域上的否定解、Catalan 常数无理性等；仓库同时发布许多 Lean 形式化、Comparator 配置与 10 份删节 reasoning summaries，但 OpenAI 明确说明并非所有结果都已形式化，未形式化稿件可能存在问题。独立的 AGMAI 同日称这是“对数学具有重要后果”的事件，但强调其咨询不构成结果背书，并把公开视为人类理解与社区评估的开始而非完成。