数学家有点慌？

过去，人们安慰自己：AI替代的是重复劳动，创造力仍是人类的护城河。如今，这句安慰也需要证明了。

9月8日，OpenAI公布了其AI提出的纳维—斯托克斯（NS）问题解答：据其介绍，约一万个AI智能体协作，88小时得到结果，再用17小时完成Lean形式化与验证。公司公告与学界最终认可仍有距离，兴奋之余，严谨不能缺席。公告 · 评审规则

真正的震动在于：AI正在进入探索思路、组织证明、推进推理的原创劳动。“把重复留给机器，把创造留给人类”的分工，越来越站不稳。

但88小时背后，是长期积累的人类数学、庞大的算力，以及人对研究任务的组织。天才的灵光，开始面对可以并行运转的“研究工厂”。当成果越来越依赖算力，普通研究者如何获得同等的探索机会，也成了问题。

AI的边界在哪里？一次突破画不出终点。数学有明确规则和可检验的证明，现实决策却包含价值冲突、信息残缺与责任。机器能否答对，与谁有权拍板，是两道题。也别急着把提问、审美、直觉划成人类永远安全的领地；这些能力也可能被不断逼近。

硅基与碳基未必注定冰火两重天。有人会因强大的助手而兴奋，也有人会因多年训练贬值而失落。缓解这种撕裂，需要开放的工具、公平的机会、清楚的署名与收益规则，不能只劝人“拥抱变化”。

数学家有点慌，可以理解。更值得警惕的，是把知识突破写成人类退场的倒计时。我们需要争取的，是在越来越聪明的机器旁边，仍能理解、参与，并决定进步服务于谁。