AI时代的基础数学：残渣、旅程与生态

arXiv 2608.12816 指出，大语言模型已开始推翻长期猜想，并用几千美元 token 成本解决开放问题，文中特别提到 OpenAI 的2026年8月案例。作者在这篇 arXiv 2608.12816 论文中认为，机器产出的定理、证明、反例只是人类理解这个产品的残渣，而不是数学产品本身；这两条弧线构成同一个循环。真正的产品是人类集体获得的理解，机器只在‘可数’的那条弧线上强，在另一条弧线上缺席——这一点正是 arXiv 2608.12816 的核心论点。论文最后把问题落到机构层面：谁能核查 OpenAI 这类公司的数学主张，下一代研究者做什么，以及无法批量生产的旅程是否会继续获得资助。