从OpenAI AI数学手稿中提取数学工具

2026年10月15日，一篇发表于arXiv人工智能板块的研究（作者Ying Xie）对OpenAI于2026年10月6日发布的722篇AI撰写数学手稿（归入372个问题族）进行梳理，目标是提取其中的新引理、构造、不等式与证明机制，并区分既有工具及其新组合。该研究说明，此次梳理未编译或进行Lean内核检查；新颖性评估为临时性且有时混杂；所选来源比较仅更正数学陈述、假设与计数，不独立确立优先权，也不认证底层证明。目前进展停留在工具提取与分类层面，尚未见后续跟进报道。

AI 根据报道生成 · 22 分钟前更新

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