谁教会了机器数学？OpenAI 的 700 篇论文

Who Taught the Machines Mathematics?

OpenAI 一口气发布了 700 多篇由内部 AI 系统生成的数学手稿，部分还附带了 Lean 形式化证明。这让我感到一种来自火星的疏离感。过去，数学的成就不仅在于定理和证明，更在于那些无法写入论文的直觉、试错过程以及师徒间的口传心授。当机器能廉价地批量产出正确结果时，我们赖以建立信任的学术规范面临挑战。更令人深思的是，大学耗费公帑培养的人才和积累的隐性知识，正被科技巨头吸纳，转化为其专有系统的训练数据。这种从人类社区到商业实体的知识“提取”，正在重塑数学研究的未来。