研究者综述OpenAI AI数学手稿，提取38个问题族的数学工具

Ying Xie发布arXiv论文《What the Machine Invented》（arXiv:2610.17090），从OpenAI于2026年10月6日公开的722篇AI生成数学手稿中提取了38个问题族涉及的新引理、构造、不等式和证明机制，覆盖数论、几何、分析、组合数学、复杂性、代数、算子代数、拓扑和数学物理，并记录每项工具的先例、依赖、形式化状态与适用限制。 背景：OpenAI当时在github.com/openai/math公开了722篇AI撰写手稿，组织为372个问题族。 该综述的新颖性评估是初步且结论不一的；文中未编译或做过Lean内核核验的形式化开发，其对来源的比较只能修正数学陈述、假设和数量，不能独立确认优先权或认证底层证明。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。