陶哲轩荐文：AI 证题时代，数学家的反馈回路仍在

littmath · x · 2026-09-29

陶哲轩（Terence Tao）推荐数学家 Dan Romik 的新文章《数学研究的反馈回路》。背景是 OpenAI 宣布解决 Navier-Stokes 问题，AI 研究突破几乎每周甚至每天出现，数学家群体普遍焦虑——Scott Aaronson 的反应是连串惊叫「AAAA…」。

核心论点：证明定理只是数学研究反馈回路的输出之一，这些输出会回流为新知识被重新审视、消化、提炼，再推动下一轮发现。即便未来 AI 能在每条新定理末尾写下 QED，人类数学家在遴选问题、消化与重构知识、赋予意义这个回路中仍不可替代——何况作者认为现在远未到那个世界。