这篇arXiv文章说，AI解数学题只是留下残渣，真正值钱的是人理解的过程。关心数学研究或AI影响科研的可以看看。
arXiv 2608.12816 指出，大语言模型已开始推翻长期猜想，并用几千美元 token 成本解决开放问题，文中特别提到 OpenAI 的2026年8月案例。作者在这篇 arXiv 2608.12816 论文中认为，机器产出的定理、证明、反例只是人类理解这个产品的残渣，而不是数学产品本身；这两条弧线构成同一个循环。真正的产品是人类集体获得的理解，机器只在‘可数’的那条弧线上强，在另一条弧线上缺席——这一点正是 arXiv 2608.12816 的核心论点。论文最后把问题落到机构层面：谁能核查 OpenAI 这类公司的数学主张，下一代研究者做什么，以及无法批量生产的旅程是否会继续获得资助。
Fundamental Mathematics in the Age of AI -- The Residue, the Journey, and the Ecology
Large language models have begun refuting long-standing conjectures and, for a few thousand dollars of tokens, solving long-open problems (OpenAI, August 2026). The introspection this has prompted about the future of mathematical discovery is overdue, and the anxiety accompanying it legitimate -- but both are attached to the wrong loss. What machines now produce is the countable part of mathematics -- theorems, proofs, refutations -- which was always the \emph{residue} of the work, not its product. The product is human understanding: not a stock of results but a collective, hard-won way of deciphering the world and acting upon it. The two are arcs of a single loop -- looking produces the residue; taking it up again, one journey at a time, is what rebuilds the shared understanding. Machines are strong on the countable arc, absent from the one that feeds it. The peril is to leave the loop open. AI did not create the confusion between residue and product; it has called a bluff long on the books, driving the cost of the residue towards zero and making the scarce thing visible at last. The pressing questions are therefore institutional: who can check the claims of AI companies, what the work becomes for the next generation of researchers, and whether the one thing that cannot be mass-produced -- the journey that nourish a shared understanding -- continues to be funded. Mathematics, we argue, is uniquely placed among the sciences on the first question -- a proof answers to no one's permission -- and uniquely exposed on the last: the journey has never had a price our institution knew how to pay. The decision is ours.