OpenAI 表示内部 Astra 模型生成数学论证，人类与模型共同整理稿件，随后模型把每项论证形式化为 Lean certificate。后续报道记录了围绕非 sofic 群结果的归属与训练数据来源争议，其中包括 Andreas Thom 尚未得到解决的问题：他与同事通过 ChatGPT 进行的未公开数学讨论，是否可能通过模型改进数据间接影响相关系统。
OpenAI 发布十项结果，声称解决或实质推进球堆积、群论、算术电路复杂度、量子复杂性、格问题与极值组合等领域的长期问题。
如果这些结果经受住专家审查，该发布意味着 AI 数学可能从孤立成功转向可重复的研究级贡献。
重要性说明：跨多个活跃数学与理论计算机科学领域的一组 AI 生成研究进展，标志着从孤立成功走向可重复研究级数学贡献的历史性转折；H1 记录的是该发布事件的历史重要性，与其中每项结果最终是否正确或如何被学界接受分开判断。
Chronicle 依据所引 primary / official source 记录该事件；该状态不表示 Chronicle 已完成独立验证。
Chronicle 已确认 OpenAI 公开发布 253 页论文，以及包含全部十项结果 Lean 4 certificates 的仓库。这些一手产物加强了证据记录，但其本身不足以构成独立数学验证。
独立技术评论与媒体报道已经对该发布事件的核心事实形成佐证：OpenAI 公开了十项数学 / TCS 研究进展主张、一份长篇论文以及公开 Lean certificates。Chronicle 的 `independently_verified` 标签针对这一事件级记录，并不表示十项底层数学主张都已完成独立专家审查。
可靠独立报道与 Andreas Thom 的公开说明记录了十项进展之一——非 sofic 群结果——所涉及的实质性归属与来源争议。争议包括最初对 Kun–Thom 近期工作的呈现，以及一个尚未解决的问题：未公开的 ChatGPT 数学研究讨论是否可能通过模型改进训练数据间接产生影响。Chronicle 不断言此类数据使用确实发生；该发布事件及其公开产物本身仍有独立佐证。
当前没有记录的更正。
