arXiv · cs.AI· Ying Xie·· 11 小时前
研究者从 OpenAI 2026 年 10 月数学手稿中提取 38 个问题族的数学工具
What the Machine Invented: Mining New Mathematical Instruments from OpenAI's October 2026 Release of AI-Generated Mathematics
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Ying Xie
研究任务与主要进展
研究者从 OpenAI 于 2026 年 10 月 6 日发布的 722 篇 AI 生成数学手稿中，提取了 38 个问题族涉及的新引理、构造、不等式和证明机制。研究覆盖数论、几何、分析、组合数学、复杂性、代数、算子代数、拓扑和数学物理，并记录每项工具的先例、依赖、形式化状态与适用限制；研究基于论文摘要，尚未编译或进行 Lean 内核核验，来源比较也不能独立确认优先权。
阶段、条件与复现 · 深读核对
- 新能力对应什么具体任务与最小输入输出？
- 代码、模型、数据、许可与可用入口是否明确？
- 效果、总成本、失效条件与实际工作流如何验证？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
来源：arXiv · cs.AI · arxiv.org