OpenAI 开源 719 篇 AI 数学手稿引发学界抵制与验证争议

1. 01:09
   Hacker News AI精选

   OpenAI声称证明准黎曼猜想，数学家聚焦短版结果

   OpenAI于2026年10月6日宣布证明“准黎曼猜想”，其中9月30日版本被Lean语言正式验证并证明非平凡零点位于1/8至7/8区间，另一版未验证结果将区间放宽至1/12至11/12。鉴于两者写作质量均被指无法通过期刊标准，数学家目前主要聚焦于篇幅较短的11/12版本。

1. 22:04
   Hacker News AI

   OpenAI 证明 Mahler 猜想：辛几何嵌入的可视化图解

   OpenAI 本周发布约 400 个问题的证明，其中包括 Mahler 猜想。证明通过辛几何，构造了体积为 $4^n/n!$ 的对称凸体 $K$ 与其极体 $K^\circ$ 积的辛嵌入。 该证明利用 $L^\infty$ 范数极限方法构建复子流形，解决了这一长期未决的凸几何难题。作者使用 Claude Code 开发了交互式可视化程序，通过严格数学图解辅助理解证明逻辑。

1. 22:13
   Hacker News AI

   AI 数学突破对垂直模型的影响解析

   OpenAI 的通用推理模型近期在数学领域取得多项突破，包括解决 Navier-Stokes 方程等数学猜想，引发投资者对 AI 垂直场景模型竞争力的重新评估。

2. 03:54
   Hacker News AI

   学者呼吁拒绝将 AI 生成的“论文”视为学术成果

   作者针对 OpenAI 发布 722 篇由私有 LLM 生成的数学“论文”，呼吁学界拒绝将其视为合法研究。 这些 AI 产出缺乏引用、合作与诚信原则，且无法替代人类专家在提问、筛选结果中的关键作用。 若 AI 研究成为常态，将导致人才断层，致使未来彻底失去具备批判性思维的人类专家。

1. 00:07
   Hacker News AI精选

   OpenAI 分享 722 份数学手稿和证明引发争议

   OpenAI 分享了关于长期困扰人类的数学公式的 722 份手稿和证明。数学家警告说，由于没有清晰的过程，这些结果可能无法验证或促进新的数学理解。

1. 18:30
   APPSO

   丘成桐在清华组建千人AI数学军团，隔空回应陶哲轩观点

   丘成桐在清华成立数学与AI实验室联盟，计划汇聚约千名科研人员开发数学专用模型。 联盟针对国内前沿模型与美国差距，旨在建立可共享形式化数学库及算力平台，以探索AI辅助猜想发现与形式化证明。

1. 18:54
   R/ArtificialInteligence

   OpenAI 对数学的补充而非削减引发讨论

   用户指出 OpenAI 并未从数学中移除任何内容，仅是增加了新的解决方案。 即使这些新内容可能显得杂乱无章或晦涩难懂，也无需强制审查或完全取代人类的理解过程，仍可忽略或继续探索。

2. 17:30
   机器之心精选

   菲尔兹奖得主反思 OpenAI 数学手稿对研究领域的冲击

   OpenAI 在 GitHub 公开 722 篇由未发布内部模型生成的数学手稿，其中 16 个问题涉及菲尔兹奖得主 Hugo Duminil-Copin 的长期研究方向。部分数学家认为 AI 跳过探索过程可能改变科研范式，年轻研究者面临职业挑战，数学界自由交流文化受到影响。

1. 15:52
   量子位精选

   陶哲轩：数学2.0时代已至

   菲尔兹奖得主陶哲轩发文指出，AI让数学证明趋于泛滥，数学1.0以证明稀缺为核心的评价体系正在失效。他警告盲目卷解题会损害数学长期健康，认为数学家护城河在于理解、训练和连接现实世界。

2. 13:23
   量子位精选

   OpenAI 放出手稿：三维挂谷极大函数猜想与四维 Hausdorff 维数猜想已解决

   OpenAI 公开 722 篇数学手稿，其中两组声称证明三维挂谷极大函数猜想与四维挂谷集的 Hausdorff 维数猜想。王虹与 Zahl 此前刚拿下三维挂谷集合猜想，OpenAI 在其框架上把结果扩展到更强版本。陶哲轩牵头人类数学协会发布声明，反对批量发布并抵制与 OpenAI 的合作。

3. 10:17
   机器之心

   陶哲轩最新演讲：数学2.0来了，证明稀缺时代正在终结

   陶哲轩在加州理工学院的演讲《Math 2.0》中指出，AI正在使数学研究从“证明稀缺”进入“证明富足”时代。他警告盲目追求AI解题会损害数学长期发展，并提出了包括解决开放阐释问题、建立知识网络、开发开源数学模型等十条Math 2.0具体研究方向。

4. 10:01
   36氪

   陶哲轩担忧 AI 批量生成数学证明的可靠性

   菲尔兹奖得主陶哲轩联署 25 位同行发起宣言，呼吁停止与 OpenAI 合作，以抵制 AI 数学证明。 背景是 OpenAI 曾批量发布 722 篇模型生成手稿，但同期 Lean 证明器暴露出多个健全性漏洞。 核心担忧在于数学界可能失去对 AI 证明进行独立可信判断与解释的能力。

5. 03:40
   Hacker News AI

   作者质疑 OpenAI Lean 代码可信度

   作者拒绝验证 OpenAI 生成的 Lean 证明代码。 理由是 Lean 内核存在 $0=1$ 等健全性缺陷，且 AI 目标导向特性易利用漏洞而非修复，导致数百万行代码无法人工审计。 这种不信任也源于 OpenAI 以掠夺性方式发布低质量预印本，未能尊重数学研究社区的协作规范。

1. 21:03
   The Decoder精选

   OpenAI批量上传数学论文引发数学家集体震惊与职业危机

   OpenAI在2026年10月6日发布700多篇论文，声称解决数百个未解数学问题，包括黎曼假设的弱化版本。数学家Peter Scholze和Terence Tao指出，虽然AI引入的新思路在消化后有潜力，但缺乏能够讲解和教学的人员，且部分结果难以阅读。多位早期研究者表示，OpenAI的举动切断了他们的研究路径，引发了对职业前途的深切恐慌。

2. 13:00
   机器之心精选

   OpenAI发布722篇AI生成数学成果引发学界验证危机与科研路径震荡

   OpenAI在GitHub发布722篇由内部前沿模型生成的数学研究成果，其中300项完成形式化验证，涵盖黎曼猜想等千禧年难题。数学家表示消化这些成果需数年，部分职业早期研究项目因此失去推进意义。尽管部分成果极具分量，但整体质量参差不齐，且OpenAI未公开具体模型及提示词。

3. 11:04
   IT之家精选

   OpenAI 公开 700 多份数学文稿，学界担忧冲击未发表研究与合作传统

   OpenAI 在 GitHub 公开 700 多份由其前沿模型生成的数学文稿，部分附带计算机验证版本。此举引发学界争议，部分学者担忧未发表研究材料被利用及数学界合作传统受阻，也有教授认为这促使学界重新审视人才培训与学术评价。

4. 03:09
   The Verge · AI精选

   OpenAI 集中发布近 400 项数学结果，数学家称需数年消化

   OpenAI 一次发布近 400 项 AI 生成的数学结果，分散在 700 多份手稿中，覆盖组合、数论、拓扑等多个领域，并公开在 GitHub 上。多位数学家表示仅浏览摘要就需近一小时，理解全部内容可能长达数年；其中 719 份手稿仅约 300 项结论完成 Lean 形式化，约 42%，其余质量参差不齐。OpenAI 已撤回其中 3 篇论文，并承诺后续提升论文质量和补充形式化验证。

5. 02:40
   R/ArtificialInteligence精选

   OpenAI 发布 370 多个数学难题解法，引发数学界争议

   OpenAI 周二发布 370 多个未解决的数学难题的完整或部分解法，包括一些长期被视为领域重大挑战的题目，解法数量令许多数学家感到震惊。OpenAI 的解题方式和发布模式在数学界引发分歧，部分数学家认为这开辟了新的探索领域，另一部分则称这是对数学作为人类学术学科的冲击。

1. 21:30
   LessWrong · All Posts精选

   OpenAI 内部模型在数学领域取得重大突破

   OpenAI 将其内部前沿模型生成的 719 份数学手稿（包含 90 个前 500 大未决问题）开源至 GitHub。这些成果是模型在约 4000 个问题上仅运行平均 3 小时计算得出的，其中黎曼猜想相关结论显著收紧了边界。

2. 17:58
   Seven Minute Feed

   OpenAI 因符号错误撤下3篇数学论文，并修复另外14篇手稿

   OpenAI撤下了本周发布的3篇AI生成数学手稿。由于《分裂阿贝尔八重折叠上的Weil类的代数性》一文中的符号错误导致关键抵消论证失效，两篇相关论文随之撤下。OpenAI同时修复了另外14篇手稿的证明，并更新了13篇手稿的引用。目前该仓库约42%的顶级结果已在Lean中形式化，新增了6个形式化证明。

3. 16:00
   APPSO

   陶哲轩转发抵制 OpenAI 声明，数学界与 OpenAI 矛盾激化

   陶哲轩在其个人博客转载了人类数学协会（AHM）发布的抵制 OpenAI 声明，该协会敦促所有数学家停止与 OpenAI 合作，并承诺不发表由 AI 生成的数学文本。声明发布后引发学界激烈争论，有检测工具显示该声明 100% 由 AI 生成。声明背后，AHM 成立于 2026 年 8 月，现有 809 名会员，其中近三分之一为法国人，三分之一为美国人，11 人来自中国。

4. 09:40
   IT之家

   陶哲轩质疑 OpenAI：719 份 AI 数学成果是否破坏理解机制

   陶哲轩公开质疑 OpenAI 近期发布的 719 份 AI 数学解答，认为这种将千禧年难题批量攻克的做法，破坏了数学共同体的理解、教学与合作机制。OpenAI 在 10 月 6 日发布该成果后，曾因符号错误撤回 3 份。

5. 02:17
   The Decoder

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

   菲尔兹奖得主Terence Tao联合多位同行发布声明，呼吁抵制OpenAI，原因是AI生成的700多个数学证明文件一次性涌入领域。声明称这不是学术展示，而是力量展示，并暗示相关成果依赖训练了数学界的作品。AI目前能在不到3小时内解决的数学问题已超过单个研究者整个职业生涯的产出，Tao认为数学的未来应转向解释和培育新研究方向，而非以解题为主。

6. 02:10
   TechCrunch · AI

   OpenAI数学解法因缺乏人类理解未达学界标准

   OpenAI本周发布数百个高难度数学问题解法，但未达数学界对“人类理解”的要求。新研究指出其自然语言证明与Lean形式化代码存在偏差，且仅42%的证明完成形式化。普林斯顿高等研究院的AGMAI委员会此前建议停止用专有模型测试前沿数学问题，并要求包含机器可读元数据，但OpenAI未执行这些建议。

1. 23:40
   LessWrong · All Posts

   OpenAI 解决 90 道顶尖开放数学题，Claude Haiku 5.5 定价公布

   OpenAI 本周宣布解决了 500 道顶尖开放数学题中的 90 道，平均每道题预算为 3 小时 Pro 级算力。 Claude Haiku 5.5 同步亮相，定价为 $0.10/$0.50，表现前景可观。

2. 18:00
   机器之心

   OpenAI 撤回三篇 AI 数学手稿，因符号错误影响证明

   OpenAI 撤回 openai/math 仓库中三篇涉及霍奇猜想的手稿，主因是首篇关键论证将几何操作符号误写为 +1，导致依赖该构造的另两篇论文失效，仓库手稿总数降至 719 篇。此次更新还修订了 14 篇手稿并新增 6 项 Lean 形式化，目前 300 篇手稿的主结果完成形式化，占比约 42%。

3. 17:56
   Seven Minute Feed

   普林顿高等研究院拒绝背书 OpenAI 的数学成果，数学家阵营出现分歧

   普林顿高等研究院（IAS）表示不支持前沿实验室利用其他数学家无法访问的专有模型攻克重大开放数学问题。该机构警告称，AI 输出的数学论证，其提示者可能无法理解、验证或对此承担责任。 部分数学家欢迎探索这一广阔新领域，但也有人认为这种以专有 AI 替代人类理解的做法是对数学作为人类学科的攻击。

4. 07:01
   Hacker News AI

   AI 加速数学与软件开发引发的理解力滞后问题及影响

   随着 AI 生成数学证明和代码的速度远超人类理解能力，研究者面临“理解滞后”困境，被迫加速发表以确立优先权。OpenAI 近期工作促使学者仓促发布质量较低的 Lean 证明，加剧了社区认知负担。在软件领域，大量 AI 代码使架构设计被忽视，且依赖 AI 入职缺乏人类导师传授关键经验，导致维护难度增加。

5. 05:09
   LessWrong · All Posts

   OpenAI 的数学成果在重要意义上是否具有“创造性”？

   OpenAI 近期在数学领域发布了多项重大成果，但作者质疑这些证明是否具备真正意义上的“创造性”。 尽管 AI 在可验证任务上表现提升，但仍缺乏即时生成新概念的能力，现有成果多为“蛮力创造”，尚未展现如 AlphaGo 第 37 步般的认知突破。

1. 23:24
   Hacker News AI精选

   Minzer团队抢在OpenAI前公布Unique Games变体证明，OpenAI随后发布Lean验证结果

   MIT教授Dor Minzer与两名学生加速发布95页论文，证明4-to-1 games变体及其对图着色难度的影响，抢在OpenAI于10月6日公告其Unique Games猜想及2-to-1猜想的Lean验证证明之前。Minzer表示团队依靠人类推理和手工写作完成工作，并担忧AI工具消除失败学习过程并影响长期研究动力。

2. 21:20
   Hacker News AI

   AI 解决了一个数学问题并引发热议，随后破解了更多同类难题

   AI 成功解决了一个数学问题并引发广泛讨论，随后又破解了成百上千个类似的数学难题。

3. 16:54
   The Decoder精选

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

   OpenAI 在其内部前沿模型生成了 372 个数学结果后，选择通过 GitHub 仓库发布而非传统学术期刊，该仓库包含修订日志和引用。部分证明已提供 Lean 形式化验证以应对人工审查瓶颈，而其中一项关于 Navier-Stokes 的解法使用了 10,000 个 AI 智能体集群和数百万美元计算资源。

4. 14:59
   机器之心精选

   OpenAI 数学手稿仓库盘点：30道最重经典难题的证明与证伪进展

   OpenAI 将 722 篇内部数学手稿仓库公开，机器之心从中筛出 30 道经典难题并介绍 OpenAI 的证明或证伪结果。清单覆盖数论、几何、理论计算机等 17 个方向，其中准黎曼猜想、BSD 猜想和 Hadwiger 猜想等结果中，部分附有 Lean 形式化，但大多数仍停留在“声称”状态，未通过同行评审，最终是否成立需由数学界验证。

5. 12:55
   Latent Space

   OpenAI发布722篇数学论文及多项AI模型与行业动态

   OpenAI发布了722篇由内部前沿模型生成的数学论文，声称解决了前500个未解数学难题中的90个，其中准黎曼假设（Quasi-Riemann Hypothesis）被视为重大进展。

6. 12:00
   arXiv · AI精选

   Navier-Stokes 方程在 AI 自动形式化中的翻译谬误：为何 Lean 验证不能保证自然语言证明的正确性

   论文分析了 AI 自动形式化在验证数学文本时的局限性，指出将自然语言准确翻译为 Lean 形式语言以消除数学歧义在计算复杂度上极难。作者通过实例展示了 AI 在翻译自然语言陈述和证明时可能产生偏差，导致形式验证结果与原始自然语言证明不符，其中包括 OpenAI 公布的 Navier-Stokes 方程解爆破证明，其形式化后的 Lean 证明并未对应自然语言版本的证明内容。

7. 10:54
   APPSO精选

   OpenAI开源722篇AI数学手稿，涵盖准黎曼猜想等成果

   OpenAI将其内部模型生成的722篇数学手稿打包上传至GitHub，供公众查看和检验。这些手稿归为372组成果，涉及准黎曼猜想、唯一博弈猜想、霍奇猜想特殊情形及自由群因子问题。其中162篇主结论附有Lean形式化材料，部分成果仍处于未完全验证阶段。生成这些成果的模型暂未开放，数学家需通过独立审查与理解来消化这些AI产出的研究内容。

8. 09:49
   机器之心精选

   OpenAI 一次性发布 722 篇 AI 生成数学手稿，涵盖多项长期未决猜想

   OpenAI 在 GitHub 开源了 722 篇由其内部未发布前沿模型生成的数学手稿，这些成果来自对约 4000 个研究问题的评估，归并为 372 个成果族，覆盖了理论计算机科学、组合数学和数论等 17 个方向。

9. 09:05
   量子位精选

   OpenAI 发布 722 篇数学手稿，菲尔兹奖得主代表声明不代表认可

   OpenAI 公布 722 篇数学手稿，涉及准黎曼猜想、霍奇猜想等难题，平均每项结果消耗算力约相当于 ChatGPT Pro 思考 3 小时。由三位菲尔兹奖得主组成的独立顾问组表示，这不意味着他们认可这些结果，需由数学家慢慢消化和验证。

10. 08:06
    Sam Altman (X)

    OpenAI 进入数学发现新时代

    Sam Altman 表示 OpenAI 正进入新的发现时代，并链接至官方关于在数学领域分享 AI 进展的页面。

11. 07:42
    IT之家

    OpenAI 发布 AI 数学研究成果，公布 722 份手稿与 372 个结果家族

    OpenAI 公布某款未发布前沿模型解决多项长期数学难题的成果，包含 722 份手稿、涵盖 372 个结果家族。该批文稿公布于 GitHub 代码仓库，并包含部分模型推理过程摘要、算力消耗估算值；一项普通成果消耗的算力，大致相当于 ChatGPT Pro 连续思考三小时的算力水平。

12. 07:26
    The Verge · AI精选

    OpenAI 发布 722 篇数学手稿

    OpenAI 通过 GitHub 发布 722 篇数学手稿，覆盖 372 个结果族，包含大量长期未解数学问题的解答。OpenAI 称平均结果约相当于 3 小时 ChatGPT Pro 思考时长，同时提供部分推理摘要、算力估算和尝试问题数量统计。文章提到 AGMAI 已建议 AI 实验室通过学术渠道及时发布数学结果并披露模型、提示词和算力等细节。

13. 06:24
    Tibo (X)精选

    OpenAI 发布 AI 解决重要数学问题的进展博客

    OpenAI 旗下模型解决了若干重要数学问题，团队在博客中记录了这一过程。

14. 06:19
    OpenAI (X)精选

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

    OpenAI 发布由内部前沿模型产生的广泛新数学成果，并声明参考了高等研究院独立数学与人工智能顾问组的建议及公开建议来确定发布方式，相关结果发布于 GitHub 仓库 openai/math。

15. 06:17
    Hacker News AI精选

    OpenAI 分享数学领域 AI 进展并开源代码库

    OpenAI 发布了关于数学领域 AI 进展的内容，并同步开源了 GitHub 仓库 openai/math，其中包含预印本资料。

1. 03:28
   The Verge · AI

   AI接管数学界引发的争议与动态

   过去一年OpenAI、Anthropic等实验室在多个长期数学问题上取得突破，甚至解决了著名的千禧年大奖难题。这些成果非但没有获得庆祝，反而引发学界反弹；AI实验室称正从早前的错误中学习。

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