arXiv Artificial Intelligence· Ying Xie·· 18 小时前AI 评分62
从 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 个问题族）进行梳理，提取其中的新引理、构造、不等式与证明机制，并区分既有工具及其新组合。
来源：arXiv Artificial Intelligence · arxiv.org