1. 17:30
   机器之心精选

   菲尔兹奖得主称AI发布700余篇数学手稿摧毁了其研究领域

   2022年菲尔兹奖得主Hugo Duminil-Copin表示，OpenAI近期公开的700多篇AI生成数学手稿摧毁了他的研究领域，其中包含16个他正在研究的问题。

1. 13:23
   量子位 QbitAI精选

   OpenAI 发布722篇数学手稿，陶哲轩呼吁抵制

   OpenAI 发布722篇数学手稿，涉及挂谷猜想等高难度数学问题，引发学界争议。陶哲轩牵头成立人类数学协会，发表声明全面抵制 OpenAI，呼吁数学家停止合作。

2. 00:01
   大模型智能精选

   OpenAI发布722篇数学手稿引发数学界强烈抵制

   OpenAI于10月7日在GitHub发布722篇数学手稿，声称证明三维挂谷极大函数猜想和四维挂谷猜想。陶哲轩牵头人类数学协会发布声明，强烈敦促数学家停止与OpenAI合作，批评这种一次性发布大量未经验证结果的行为是展示权力而非学术。

1. 21:03
   AI HOT精选

   OpenAI一次性发布700多份数学手稿，数学家们反应震惊与反感

   OpenAI于2026年10月6日在GitHub一次性发布700多份手稿，声称解决了数百个未解决的数学问题。数学博客Proofs and Prompts收集了100多位研究者的回应，菲尔兹奖得主Peter Scholze和Terence Tao等人表达了复杂感受，部分研究者担忧职业未来，另一些人则对AI在数学领域的能力感到震惊。

2. 21:03
   The Decoder

   OpenAI 批量发布数学证明引发数学家群体激烈反应

   OpenAI 于 2026 年 10 月 6 日一次性发布 700 余篇数学手稿，宣称解决了数百个开放数学问题。该发布引发数学界强烈反应，菲尔兹奖得主 Peter Scholze 与 Terence Tao 等人指出论文可读性差且缺乏人类作者署名，并警告其对加密基础设施的潜在风险；同时，多位早期研究人员表示该事件对其职业规划与学术认同造成冲击。

3. 13:38
   机器之心精选

   OpenAI 公开 722 篇数学研究成果，引发学界对 AI 数学产出速度的担忧

   OpenAI 在 GitHub 上公开了由内部未发布前沿模型生成的 722 篇数学研究成果，涉及数论、代数几何、分析、组合数学等多个方向。部分成果配有 Lean 形式化证明。文章指出，AI 产出新数学的速度开始超过数学界理解数学的速度，学界可能需要数年时间消化这些成果。

4. 08:56
   新智元精选

   OpenAI 发布 175 页四维挂谷猜想证明手稿

   OpenAI 在 GitHub 公开 722 篇数学手稿，包含一份 175 页的四维挂谷猜想证明稿，首次将一般四维情况的 Hausdorff 维数下界推进至满维 4。另一份 97 页手稿针对三维挂谷极大函数猜想，试图突破王虹与 Zahl 已解决的集合版限制。这些论证依赖 Guth 等人先前的估计方法，需经独立检验确认有效性。

5. 08:56
   新智元精选

   OpenAI 发布数百篇数学论文引发争议，数学家强烈反对而 Yann LeCun 持乐观态度

   OpenAI 在 10 月 6 日一次性发布 722 篇数学难题论文，引发全球数学家强烈反对，陶哲轩牵头联合声明指责其算力霸权并呼吁抵制合作。图灵奖得主 Yann LeCun 则持相反观点，认为 AI 辅助证明如同船的发明，虽降低了游泳价值却帮助发现新大陆，未来数学将转向新概念与抽象。

6. 03:09
   The Verge · AI精选

   OpenAI 发布近 400 个数学结果，数学家预计需数年才能消化

   OpenAI 突然发布涵盖 700 多份手稿的近 400 个 AI 生成数学结果，涉及组合、几何、数论等多个领域。由于大量结果缺乏 Lean 形式化验证，且论文质量参差不齐，数学家表示仅理解这些成果就需要数年时间。

1. 17:31
   数据猿

   OpenAI发布722篇数学论文，AI与数学界矛盾激化

   OpenAI在GitHub发布722篇数学手稿，涉及17个领域且部分有Lean证明。Claude提升了黎曼函数零点下界至67.25%并找出雅可比猜想反例。学界因AI介入引发目标错位与学术交流收窄，25位菲尔兹奖得主发声抵制，OpenAI随后撤回对加州理工学院数学马拉松的赞助。

2. 10:45
   机器之心

   OpenAI 公开 722 篇 AI 数学论文，华人团队跑通规模化 RSI 闭环

   OpenAI 公开了由 AI 产出的 722 篇数学论文，其中包括准黎曼猜想的相关证明。xAI 联合创始人 Christian Szegedy 评论称，机器能迅速抵达数学家毕生攀登的高峰。一支华人团队已跑通规模化 RSI 闭环。

3. 02:17
   AI HOT精选

   部分数学家呼吁抵制 OpenAI：AI 生成的数学证明涌入数学领域

   AHM 组织呼吁抵制 OpenAI，批评其一次性发布700多个AI生成证明文件是展示力量而非学术行为。此前 OpenAI 内部模型宣称一个月内解决逾100个开放数学问题，约8000个测试问题成功率约5%，平均耗时3小时 GPT-Pro 级算力。数学家陶哲轩警告 AI 批量解题与数学界追求概念理解的目存在严重错位。

4. 02:17
   The Decoder精选

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

   部分数学家因 OpenAI 发布 700 多个 AI 生成证明文件而呼吁抵制，认为这破坏了数学研究生态。OpenAI 声称其内部模型在一个月内解决了 100 多个未解决的数学问题，包括纳维 - 斯托克斯方程的解决方法，此举引发了数学界的广泛争议。菲尔兹奖得主陶哲轩指出，AI 正在快速解决数学问题，但人类缺乏验证和理解这些结果的能力，这导致数学研究的重点偏离了概念理解。

5. 02:10
   TechCrunch · AI

   OpenAI 最新数学成果尚未满足数学界标准

   OpenAI 本周发布了数百个世界级数学难题的解答，但其做法未能完全达到普林斯顿高等研究院（IAS）下设的数学与人工智能顾问组（AGMAI）的标准。AGMAI 此前强调前沿实验室应停止在专有模型上测试高难度数学题，且OpenAI仅对719份手稿中的10份发布了思维链，42%的证明未进行形式化处理。

1. 18:27
   机器之心

   OpenAI 撤回三篇 AI 数学论文，原因系符号错误

   OpenAI 撤回了昨天发布的 722 篇 AI 数学手稿中的 3 篇，原因是正负号写错。官方在 openai/math 仓库更新日志中显示，同时修订了 14 篇并更新了 13 篇的引用。

2. 08:37
   数字生命卡兹克精选

   OpenAI 发布 372 组数学成果，数学家联名反对 AI 主导科研

   OpenAI 发布 722 份数学手稿，包含 372 组数学成果，覆盖数论、代数几何、偏微分方程等方向，包括对“准黎曼猜想”的部分解决。25位菲尔兹奖得主已发出联名信批评 AI 实验室的研究方式。

3. 08:36
   AI HOT精选

   OpenAI 在 GitHub 发布 722 份数学手稿仓库，覆盖数论与代数几何等方向

   OpenAI 于10月7日在 GitHub 发布 openai/math 仓库，收录未公开内部模型产出的722份数学手稿，归为372个成果组，覆盖数论、代数几何、偏微分方程等方向，每个结果平均花费约3小时 ChatGPT Pro 级别思考算力。作者将此次发布置于从四色定理到 Lean 的机器证明史中，解释了该事件在数学界引发争议的原因。

1. 20:54
   机器之心

   OpenAI发布722篇数学手稿，文章筛选出30道核心名题

   OpenAI将其内部未发布模型生成的722篇数学手稿开源至GitHub，本文从该仓库中筛选出30道最具挑战性的数学名题，供读者快速了解该模型在数学推理方面的产出。

2. 20:40
   机器之心精选

   OpenAI 未发布内部模型产出 722 篇数学成果

   OpenAI 一个尚未发布的内部前沿模型产出了 722 篇数学手稿，这些手稿归入 372 个成果族，涵盖了准黎曼猜想和 4D 挂谷猜想等内容，相关成果以清单形式出现在 GitHub 仓库中。

3. 18:14
   人工智能学家精选

   OpenAI 公布 722 篇数学手稿，核心名题结果与形式化现状梳理

   OpenAI 将其内部未发布模型生成的 722 篇数学手稿公开至 GitHub 仓库，涵盖 372 个成果族。文章精选了黎曼猜想、BSD 猜想、Held 猜想等 30 道数学名题的涉及成果，并详细说明了其中约 50 项为证伪或反例。这些成果大多未经同行评审，其中声称解决的关键问题中，仅有六成附有经计算机逐行检查的 Lean 形式化证明，形式化证明与原始猜想表述的对应准确性仍需专家确认。

4. 16:54
   The Decoder

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

   OpenAI 发布了由其内部前沿模型生成的 372 个新数学结果，这些结果以 GitHub 仓库形式公开而非学术期刊，旨在解决传统人工审查无法应对 AI 产量问题。每个结果由单个 AI 智能体根据单个提示词生成，平均消耗约 3 小时的 ChatGPT Pro Thinking 计算资源，许多证明附带 Lean 语言形式化验证。

5. 12:55
   Latent Space

   AINews 周报：OpenAI 发布 722 篇数学论文，Mistral 推出 Large 4

   OpenAI 发布由内部未发布模型生成的 722 份数学手稿，声称解决了前 500 个未解数学难题中的 90 个，其中准黎曼猜想结果被数学家称为数学史上重要时刻。

6. 12:53
   DeepTech深科技精选

   OpenAI 公布 722 篇数学手稿，部分证明获计算机验证

   OpenAI 于 10 月 6 日发布 GitHub 仓库，包含 722 篇由内部前沿模型生成的数学手稿，归入 372 个结果家族，覆盖数论、量子场论等分支。平均每个结果消耗约相当于 ChatGPT Pro 思考 3 小时的算力，部分手稿附带 Lean 形式化证明，已获计算机逐行验证。

7. 10:54
   APPSO精选

   OpenAI 公布 722 篇数学研究手稿，涉及准黎曼猜想与霍奇猜想特殊情形

   OpenAI 将一款内部未发布模型生成的 722 篇数学手稿归为 372 组成果，上传至 GitHub 供公开查看，内容涉及准黎曼猜想、唯一博弈猜想、霍奇猜想的特殊情形及自由群因子问题。

8. 09:50
   机器之心精选

   OpenAI 一次性公布 722 篇 AI 生成的数学研究成果

   OpenAI 发布名为 openai/math 的 GitHub 仓库，公开了 722 篇由尚未命名的内部前沿模型生成的数学手稿，覆盖 372 个成果族。这批成果涉及准黎曼猜想、四维挂谷猜想、希尔伯特第十问题等多个长期未决难题，其中约 235 族附带了 Lean 形式化证明。

9. 09:05
   量子位 QbitAI精选

   OpenAI 公布 722 篇数学手稿并上线 28 天挑战赛第二天更新

   OpenAI 公开 722 篇由内部模型生成的数学手稿，其中包含准黎曼猜想、霍奇猜想等 17 个方向的结果，算力消耗约为 ChatGPT Pro 思考 3 小时，相关成果与源码已传至 GitHub。由 Gowers、Witten 等 9 位学者组成的顾问组表示不认可该过程，同时 OpenAI 在 28 天挑战赛第二天发布了 Codex Auto-review 功能及 API 付费档位调整。

10. 07:26
    The Verge · AI

    OpenAI发布722份手稿，涵盖数百个未解决数学问题

    OpenAI发布了由一个未发布的前沿大模型生成的722份手稿，这些手稿涵盖了372个结果族，并解决了数百个未解决的数学问题。这批手稿在GitHub上公开，包含模型推理摘要、算力估算等详细信息。这一举动引发了关于研究伦理、学术规范以及AI实验室如何负责任地披露成果的激烈讨论。

11. 07:01
    AI HOT

    OpenAI 发布内部前沿模型产出的数学研究成果

    OpenAI 发布一批由内部前沿模型产出的新数学成果，成果以 GitHub 仓库形式公开，并附论文修订与引用协议。许多证明已用 Lean 形式化以便计算机验证，仓库还包含 10 份模型推理摘要、以 ChatGPT Pro 使用量估算的算力消耗，以及尝试问题数量的统计。

12. 06:19
    AI HOT

    OpenAI 发布内部前沿模型产出的新数学成果

    OpenAI 发布由内部前沿模型产出的一批新数学结果，结果已上传至 GitHub 仓库 openai/math。发布前咨询了普林斯顿高等研究院（IAS）数学与人工智能独立顾问组，并依据其建议决定发布方式。

1. 20:00
   OpenAI Blog

   OpenAI 发布前沿模型在开放数学问题上的新成果并共享 Lean 证明

   OpenAI 发布了内部前沿模型在开放数学问题上的新研究结果。官方同时共享了 Lean 证明的形式化内容及研究细节，相关资源已发布于 GitHub。

当前热度 9·可比范围峰值 75（10月7日 22:00）·近 24 小时可比范围变化 -53%

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