7.8
深览指数
科技虎嗅·经济观察报观察家··AI 生成
当科研开始“工业革命”
以2026年9月OpenAI用约1万个AI智能体在88小时内攻出纳维-斯托克斯方程候选证明为切口，作者把AI进入科研类比为一次“科研工业革命”，提出工业化的集中力量与平权化的扩散力量这对反向趋势，并用“支撑结构”框架主张用用途隔离、信息防火墙、贡献链信用与公共算力来调和，而非简单站队数学家或OpenAI。原文 ↗
核心观点
- ▍NS事件真正揭示的不是AI与数学家的冲突，而是科学研究正在经历一场自己的工业革命：研究任务可拆分、探索可并行、部分推理自动化，个人能力不再构成产出的绝对上限。
- ▍科研工业革命同时释放两种相反力量：资本化与集中化，以及平权化与分散化——最终走向哪一种，取决于能否建立新的“支撑结构”。
- 01OpenAI让约1万个AI智能体并行研究NS方程，88小时获得候选证明，再用GPT-6Astra进行17小时Lean形式化验证；结论是在允许平滑外力下NS方程可能形成奇点。
- 02AlphaFold到2024年诺贝尔化学奖公布时可预测约2亿种已知蛋白质结构，数据库和工具被190多个国家和地区的200多万研究人员使用。
- 03达特茅斯学院硕士生Benjamin Grayzel借助Gemini 3 Pro给出埃尔德什第659号开放问题的首个完整解答，加州橡树公园高中两名学生在UCLA博士后指导下攻克许埈珥曾研究未解的问题，被作者视为“公民数学家”出现的信号。
- 04陶哲轩等25位菲尔兹奖得主发布《AI与数学的严重错位》声明，承认LLM数学能力戏剧性提高，但批评“刷题式”竞赛让数学共同体来不及理解证明为何成立。
- 05作者用特里特米乌斯1492年《论抄写员的荣耀》类比：反对机械印刷的担忧看到了被破坏的东西，却没看到知识复制成本下降后的新知识网络。
反方 / 局限
- — 纽约大学数学家Tristan Buckmaster公开质疑，自己与合作者此前输入Codex的未公开研究资料是否影响了OpenAI的攻关系统；OpenAI否认并出示证据，事件暴露现有制度难以界定“交给AI的未公开思想”归谁。
- — 欧洲数学会指出OpenAI突破所用的内部模型未公开，普通数学家无法在同等条件下竞争；科研资本化可能使大学和公共科研机构最重要的知识基础设施掌握在少数公司手中。
- — 作者承认陶哲轩等人对“刷题式”竞争的批评有相当合理性，也承认25位菲尔兹奖得主的声明带有AI时代卢德运动的色彩；其结论可能过于悲观，但诉求本身是合理的制度利益表达。
OpenAI纳维-斯托克斯方程千禧年大奖难题克雷数学研究所陶哲轩菲尔兹奖Tristan BuckmasterLevent AlpogeAlphaFoldGPT-6AstraGemini 3 Pro埃尔德什开放问题支撑结构卢德运动准经验数学格雷戈里·查廷特里特米乌斯公民数学家
17 分钟 · 6 卡片 · 13 资料
读原文 →