AI时代的基础数学——残基、旅程与生态
Fundamental Mathematics in the Age of AI -- The Residue, the Journey, and the Ecology
浏览论文内容
中文总结 AI 辅助
该文探讨AI时代数学的残基（可计数的定理等）与产物（人类理解的旅程）的区别，指出AI暴露了残基与产物的混淆，提出需关注核查AI主张、资助滋养共享理解的旅程等制度问题。
中文摘要 AI 辅助
大型语言模型已开始反驳长期存在的猜想，并花费数千美元的token解决长期未决的问题（OpenAI，2026年8月）。由此引发的对数学发现未来的反思早已迟到，伴随而来的焦虑也合情合理——但两者都附着在错误的损失上。机器现在产生的是数学的可计数部分：定理、证明、反驳，这一直是这项工作的“残基”，而非其产物。产物是人类的理解：它不是一系列结果，而是一种集体的、来之不易的解读世界并作用于世界的方式。这两者是单一循环的两个弧：观察产生残基；一次次重新接纳残基，正是重建共享理解的过程。机器在可计数的弧上很强，但在为其提供养分的弧上缺席。危险在于让这个循环敞开。AI并未创造残基与产物之间的混淆；它只是戳破了书本上长久存在的虚张声势，将残基的成本推向零，并最终让稀缺的东西变得可见。因此，紧迫的问题是制度层面的：谁能核查AI公司的主张，下一代研究者的工作将变成什么，以及无法大规模生产的东西——滋养共享理解的旅程——是否会继续获得资助。我们认为，数学在第一个问题上是科学中独特的存在：证明不服从任何人的许可；而在最后一个问题上则是独特的暴露：这项旅程从未有过我们的制度知道如何支付的价格。决定在我们手中。
英文摘要
Large language models have begun refuting long-standing conjectures and solving long-open problems. The introspection this has prompted about the future of mathematical discovery is well under way, and the anxiety accompanying it legitimate -- but both, we claim, are attached to the wrong loss. What machines now produce is the countable part of mathematics -- theorems, proofs, refutations -- which was always the work's residue, not its product. The distinction is old, and not economic: a result can be taken in its finished essence, or in the operations that engendered it. 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: understanding tells us where to look; looking produces the residue; and taking it up again, one journey at a time, rebuilds 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. A new instrument makes a new way of working before it makes a new result. The pressing questions are therefore institutional: who can check an announced result, whoever announces it; what work and training become for the next generation of researchers; and whether the one thing that cannot be mass-produced -- the journey that nourishes a shared understanding -- continues to be funded. Mathematics, we argue, is uniquely placed among the sciences on the first -- a proof answers to no one's permission -- and uniquely exposed on the other two: teaching cannot go on as before, and no collective position yet exists; and the journey has never had a price our institutions knew how to pay. The decision is ours.
