OpenAI被指调动大批智能体88小时完成数学证明引争议
近日，纽约大学数学家特里斯坦·巴克马斯特与Anthropic研究员莱文特·阿尔珀格以个人身份合作，围绕欧拉方程和纳维-斯托克斯方程相关问题开展了近一年的研究。他们借助AI工具完成部分计算和形式化验证——形式化验证是使用Lean等程序逐步检查证明过程。两人原计划继续打磨论文，但相关研究进展在社交媒体流传后，OpenAI调动大批AI智能体集中研究同一方向，模型在88小时内给出相关证明。双方随后分别发布成果，引发学界讨论。
巴克马斯特在公开说明中质疑OpenAI介入研究的方式，并披露了双方沟通中的争执。他表示，自己的核心质疑不是OpenAI盗用了数据，而是商业公司获知研究传言后，使用巨大算力突击同一课题。OpenAI否认在成果公开前接触对方论文，也否认调取研究者的私人数据。
据介绍，这项成果涉及特定条件下的纳维-斯托克斯方程相关问题，不等于完整解决千禧年大奖难题，形式化验证也不能替代学术共同体的同行评议。这场争论并未停留在证明归属本身。包括陶哲轩在内的多位数学家随后发表公开声明，他们不反对使用AI研究数学，但反对把解决难题当成模型跑分，仓促公布答案，忽视论文写作、同行评议、成果引用和思想传承。
- 2026-09-14 18:00 | 新浪财经：“黑箱危机”开始蔓延，“三大厂”齐呼AI减速阅读原文
21世纪经济报道记者 赵云帆9月14日，全球算力股盘前集体下挫，SK海力士跌超6%，英特尔、美光、AMD与闪迪均跌超4%，英伟达跌超2%。突如其来的市场抛压，或归因于三家头部AI厂商对前沿AI大模型迭代的叫停，以及部分大模型企业声称暂缓IPO。9月12日，Anthropic首席执行官达里奥·阿莫迪发表长文《我们必须为前沿定速》，主张以第三方永久“员工级”系统访问、检查点和国际协调等手段，放缓最强模型迭代。随后，OpenAI首席执行官山姆·奥尔特曼在接受媒体采访时回应“同意定速前沿”，并明确2026年不推进IPO，称安全与对齐未完成前上市“不明智”。与此同时，xAI及SpaceX创始人埃隆·马斯...
- 2026-09-14 17:07 | 华尔街见闻：AI终结AI：新技术越强，旧模式越难持续阅读原文
最强的AI公司，开始讨论减速。 OpenAI首席执行官萨姆·奥特曼（Sam Altman）明确表示，公司不会在2026年上市。他承认，OpenAI还没有解决模型对齐问题。如果不能证明模型安全、可控，公司就不应该继续训练。 Anthropic首席执行官达里奥·阿莫代伊（Dario Amodei）随后发表长文，呼吁前沿AI公司放慢模型能力的提升速度。奥特曼和马斯克都表示赞同。 这些企业没有减少资本开支，也没有退出模型竞赛。它们继续建设数据中心，训练更大的模型，同时要求整个行业慢下来。 这不是AI衰退的信号。 AI能力越强，数据、安全、能源和社会信任问题越难留在企业之外。AI企业过去争夺芯片，现在还...