从 OpenAI 发布的 722 篇 AI 数学稿中挖掘新数学工具

OpenAI 于 2026 年 10 月 6 日在 github.com/openai/math 公开了 722 篇 AI 撰写的数学手稿，整理成 372 个问题族，其中声称包含多个开放问题的解法。这篇 arXiv 论文（arXiv:2610.17090）从中提取新的引理、构造、不等式和证明机制，作者称之为“数学工具”。论文审查了 38 个问题族，覆盖数论、几何、分析、组合数学、算子代数等 9 个领域，并总结了 11 个跨领域的共性模式。作者还展示了族 112 中的带符号限制引理如何应用于任意固定深度的电路下界问题。论文明确说明未做 Lean 形式化验证，新颖性评估仅为初步结论。