对「AI 挖矿数学文献」的冷静判断：中期有进展，别幻想全自动工程
_onionesque · x · 2026-10-08
针对「AI 能从几个世纪积累的数学文献中挖矿、让 pip install 式创新者推进概念性数学」的乐观论，作者给出更审慎的判断：
- 中期看，用 AI 清洗、挖掘既有数学积累确实能带来进展
- 但他不买账「全自动工程基础设施」的说法：数学的目的本身是更多数学（概念机器），而不是解题，所以不会出现「1000 年、200 个 Scholz」式的爆炸
属于 AI×数学研究影响的有观点讨论。
「漫话AGI」频道最新
- 撰写 OpenAI 安全协议的 Robinson 辞职:「这太疯狂了」 — sjgadler · 2026-10-08
- 一年走完十年增长:极少数狂飙公司里藏着下一代最抢手人才 — saranormous · 2026-10-08
- 从陀思妥耶夫斯基看 AI 预测人的局限:人会故意选 2+2=5 — billhilf · 2026-10-08
- 数学外包给 OpenAI 之后,经济学研究将如何洗牌 — soumitrashukla9 · 2026-10-08
- Higgsfield 联创：2027 年底 SWE 需求将崩塌，工程师应转向获客系统 — SimplyAnnisa · 2026-10-08
- AI 伦理学者批前沿领袖:不把自己变成上帝绝不减速 — LuizaJarovsky · 2026-10-08