OpenAI发布数百项AI数学成果引发争议并捐资支持验证

1. 18:31
   IT之家精选

   OpenAI 纳维-斯托克斯方程证明遭学界质疑：方法与官方叙事不符且智能体贡献成谜

   数学界审查发现 OpenAI 发布的纳维-斯托克斯方程证明未遵循此前西班牙数学家提出的研究路径，且该证明利用外部力项构造速度无界增长情形，并未解决三维流体解是否始终光滑的核心问题。

2. 17:00
   The Decoder

   数学家质疑OpenAI未理解其Navier-Stokes证明且多智能体贡献不明

   多位数学家指出OpenAI发布的166页Navier-Stokes问题潜在解决方案与其声称遵循的方法论存在表面相似但实质不同的争议。OpenAI研究员Noam Brown承认无法量化部署约10,000个模型实例对最终结果的真实贡献，认为基础模型的能力比多智能体架构更关键。该证明目前正由Clay Mathematics Institute审查，且因以松散形式发布在GitHub上而引发数学界不满。

1. 22:35
   OpenAI

   OpenAI捐资支持数学家研究AI成果

   我们希望支持数学界将 AI 的进步转化为更深层的人类理解和新的发现。为支持这一目标，我们正向西蒙斯基金会的一项新倡议捐赠 500 万美元，以帮助数学家审视、理解并基于这些成果进行构建

1. 22:37
   The Decoder

   西方数学家担忧AI致能力退化而中国组建AI数学研究联盟

   菲尔兹奖得主丘成桐与多位中国数学家在北京发起“丘成桐数学与人工智能实验室联盟”，联合八家机构并计划构建超1000名研究人员网络以推动AI进入数学研究。与此同时，包括陶哲轩在内的25位菲尔兹奖得主担忧AI生成的证明会削弱数学理解力并使研究者依赖无法追踪的工具，部分社区甚至呼吁抵制AI生成证明。中国方面则致力于开发专用模型、机器可验证证明及透明AI推理系统。

1. 01:38
   Ethan Mollick

   数学家用Opus 5.5制作音乐视频

   一位数学家回应 OpenAI 的证明，用 Opus 5.5 制作了一个音乐视频。相当不错。

1. 21:03
   The Decoder精选

   数学家对OpenAI批量发布论文表示震惊与担忧

   OpenAI于2026年10月6日一次性发布700多篇声称解决数百个开放数学问题的论文，引发数学界强烈反响。Terence Tao和Peter Scholze等知名学者既认可其引入的新思路，又批评缺乏人类作者参与及可读性问题，并担忧加密安全与职业前景。多数回应聚焦于对研究范式改变、年轻学者焦虑以及“数学不再属于人类”的深层恐惧。

2. 11:04
   IT之家

   OpenAI公布大批数学研究成果引发学界争议

   OpenAI在GitHub公开了700多份由内部前沿AI模型生成的数学研究文稿，部分证明附有计算机验证版本。纽约大学与西北大学学者担忧此举冲击青年数学家研究计划并破坏学术合作传统，质疑未发表材料是否被用于训练；罗格斯大学教授则认为这可能促使学术界重新评估人才选拔与奖项评选机制。

3. 03:09
   The Verge · AI精选

   OpenAI 发布近 400 项 AI 生成数学成果引发学界震动

   OpenAI 本周突然发布近 400 项 AI 生成的数学结果，涵盖组合学、几何、数论等 700 余份手稿，导致数学界陷入理解困难与职业前景焦虑。尽管部分成果涉及黎曼猜想等重大问题且被认为具有菲尔兹奖级别潜力，但仅约 42% 经过 Lean 形式化验证，论文质量参差不齐且存在撤稿情况。

1. 09:40
   IT之家

   陶哲轩质疑 OpenAI：719 篇 AI 数学证明引发“消化不良”争议

   陶哲轩公开批评 OpenAI 发布 719 份 AI 数学解答的做法，认为其将攻克著名难题作为产品展示破坏了数学界的理解、教学与合作机制。他指出当前 AI 生成速度远超人类验证能力，导致大量无人能消化的证明出现，且 OpenAI 未完全遵循 AGMAI 关于披露模型细节和形式化验证的建议。

2. 05:25
   MIT News · AI

   MIT Sasha Rakhlin 探讨 AI 在学术界的发展路径

   MIT 教授 Sasha Rakhlin 指出，AI 模型已具备解决千禧年难题等前沿数学能力，验证速度是学科进步关键。他建议高校重构学术评价体系，重视问题提出与负结果，并建立共享 AI 基础设施以保留实验室隐性知识。

3. 02:17
   The Decoder精选

   部分数学家呼吁抵制 OpenAI 因其 AI 生成证明涌入该领域

   以菲尔兹奖得主陶哲轩为首的 AHM 组织发表声明，批评 OpenAI 一次性发布超过 700 个 AI 生成的数学证明文件是“展示权力”而非学术贡献，并呼吁对该公司进行抵制。

4. 02:10
   TechCrunch · AI

   TechCrunch分析：OpenAI数学解法尚未达到领域标准

   OpenAI本周发布数百个高难度数学问题解法，但被指未达到普林斯顿高等研究院数学与人工智能顾问组（AGMAI）制定的标准。AGMAI强调需确保人类对结果的理解，而OpenAI仅10/719份手稿包含模型思维链，且42%的证明未经过形式化处理。

5. 01:41
   Ethan Mollick

   OpenAI数学证明引发社区快速迭代

   鉴于OpenAI发布一系列数学证明及其对数学学科意义引发的争议，有趣的是，至少部分OpenAI的证明似乎已推动来自广泛协作社区的极快迭代进展。

1. 06:42
   Ethan Mollick

   数学家热议OpenAI超人类智能证明

   一些关于遭遇狭窄超人类智能的早期第一手见闻，源于数学家们正在应对 OpenAI 发布的数百项大型 AI 证明。这些问题以非人类的方式被解决，让我们不禁思考“真正知晓事物”意味着什么…… https://scottaaronson.blog/?p=10169

1. 16:54
   The Decoder精选

   OpenAI 在 GitHub 发布 372 个 AI 生成数学证明

   OpenAI 在 GitHub 发布了由内部前沿模型生成的 372 个新数学结果，旨在解决开放问题或取得重大进展。这些成果包含对主要计算机算法的改进以及与黎曼猜想相关的进展，多数附带 Lean 形式化验证以缓解人工审查瓶颈。OpenAI 选择 GitHub 而非同行评审期刊发布，暗示传统科学流程无法适应此知识产出速度，该做法引发数学界关于 AI 目标与学科本质错位的争议。

2. 12:55
   Latent Space精选

   AINews：OpenAI 发布 722 篇数学论文解决 90 个顶级开放问题；Mistral Large 4 与 EmbeddingGemma 2 上线

   OpenAI 发布来自未公开内部前沿模型的 722 篇数学手稿，据称解决了前 500 个开放数学问题中的 90 个，包括准黎曼假设等成果，平均每个结果耗时约 3 小时 ChatGPT Pro 思考计算。

3. 09:44
   Ethan Mollick

   OpenAI数学进展及社科应用

   上下文，OpenAI 今日在数百个大问题上取得突破或重要进展：https://openai.com/index/sharing-ai-progress-in-mathematics/…（我也看到 AI 在我的经济社会学领域进行新颖工作的能力迅速提升，近乎自主的研究正达到顶级期刊水平）

4. 07:26
   The Verge · AI精选

   OpenAI 发布 722 篇数学突破手稿

   OpenAI 发布由未公开前沿模型生成的 722 篇数学手稿，涵盖 372 个结果族，据称包含对“数百”个长期开放问题的解决方案。这些论文通过 GitHub 仓库发布，附带部分推理摘要、算力估算及尝试问题统计，其中平均结果相当于 ChatGPT Pro 思考三小时。独立顾问组 AGMAI 此前建议 AI 实验室通过学术渠道及时发布成果并避免将数学突破作为营销工具。

5. 06:19
   OpenAI精选

   OpenAI 发布由内部前沿模型驱动的新成果

   OpenAI 宣布推出一项由内部前沿模型驱动的新成果。该模型在数学推理任务中表现卓越，其开发过程得到了来自 Institute for Advanced Study 的独立专家顾问团的指导与验证。

1. 20:00
   OpenAI News精选

   OpenAI 发布内部前沿模型在数学开放问题上的新成果

   OpenAI 发布了其内部前沿模型在数学开放问题上取得的新研究成果。该机构同时在 GitHub 上分享了相关的 Lean 证明形式化文件以及详细的研究资料。

2. 03:28
   The Verge · AI

   OpenAI 等 AI 实验室在数学领域取得突破引发争议

   OpenAI、Anthropic 等实验室近期宣布解决多项长期数学难题，包括一个千禧年大奖难题。这些突破虽超越预期，却因“快速行动”风格引发学术界强烈反弹与对成果来源的质疑。各实验室表示正吸取教训，但能否平息争议仍待观察。

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。