arXiv cs.AI· Ying Xie·· 3 天前AI 评分52
从 OpenAI 2026 年 10 月 AI 生成数学手稿中挖掘新数学工具
What the Machine Invented: Mining New Mathematical Instruments from OpenAI's October 2026 Release of AI-Generated Mathematics
AI 导读
研究对 OpenAI 于 2026 年 10 月 6 日公开的 722 篇 AI 撰写数学手稿（归为 372 个问题族）进行梳理，提取其中新提出的引理、构造、不等式与证明机制，并称之为数学工具。
正文 · AI 翻译
摘要：2026 年 10 月 6 日，OpenAI 在公共仓库 this http URL 中发布了首批 722 篇由 AI 撰写的数学手稿，组织为 372 个问题族。该发布包含对许多著名未解问题的声称解答。我们将这一合集视为数学思想的宝库。我们的目标是从原始论证中提取新引入的引理、构造、不等式和证明机制，并将它们与已有工具及这些工具的新组合区分开来。我们称这些为数学工具。提取优先；其有效性、新颖性和可能的复用随后成为进一步研究的主题。由此产生的描述也有助于读者理解所选论文，而无需一开始就重构每一个论证。
我们考察了 38 个族，分为 17 和 21 两组，涵盖数论、几何、分析、组合学、复杂性、代数、算子代数、拓扑学和数学物理。每个条目记录其主张、提取的工具、前身和注意事项。十一个横切模式将这些条目联系起来，一个记分板记录形式化状态和依赖关系。新颖性评估是暂定的，有时是混合的。选定的来源比较纠正了数学陈述、假设和计数；它们并不独立确立优先权或证明底层证明。本综述未编译或进行 Lean 内核检查。
我们还简要描述了将族 112 中的带符号限制引理后续应用于每个固定深度的电路下界。
| 主题： | 历史与概述（math.HO）；人工智能（cs.AI） |
| 引用为： | arXiv:2610.17090 [math.HO] |
| （或 arXiv:2610.17090v1 [math.HO] 为此版本） | |
| https://doi.org/10.48550/arXiv.2610.17090 arXiv 颁发的 DOI 通过 DataCite（待注册） |
|
| 相关 DOI： | https://doi.org/10.5281/zenodo.23319145
链接到相关资源的 DOI |
提交历史
来自：Ying Xie [查看电子邮件]
[v1]
2026 年 10 月 12 日星期一 16:49:52 UTC（73 KB）
来源：arXiv cs.AI · arxiv.org