OpenAI 看似取得的数学突破引发深刻疑问

数学家们至少一个世纪以来一直在试图解决纳维-斯托克斯问题。OpenAI 表示，其智能体团队仅用 88 小时就做到了。这引发了关于这门学科应如何运作的争议。

OpenAI满世界抓漏洞，结果被中国AI反杀！Codex再曝0day

OpenAI希望咨询顶尖数学家，以避免再次失误

在将一系列引人注目的数学成果转化为声誉危机后，OpenAI正在咨询人类数学家，以寻找一条不那么灾难性的前进道路。 周一，该公司宣布成立一个新的独立数学家小组，负责就其与数学研究及更广泛数学界的互动向OpenAI及其他AI公司提供建议，包括如何呈现和发布新成果。这一突然的举措让许多数学家感到意外。研究人员表示，这是一个良好的第一步，但许多人表示，他们仍然对小组具体将做什么、如何……存在基本疑问。

“垃圾数学”：OpenAI退出加州理工学院AI数学竞赛

OpenAI已撤回对加州理工学院一项由学生运营的人工智能数学活动的100万美元赞助。数学家们此前签署了一封公开信，要求取消该活动。次日，25位菲尔兹奖得主发表了他们自己的另一份声明。 两天之内、来自两个不同群体的两封信，是数学界迄今为止对人工智能公司最尖锐的回应。两封信都不是关于模型是否管用，而是关于这些公司拿结果去做什么。 第一封信，以及那个挥之不去的词一个由加州理工学院现任和前任数学家组成的联

一个百万美元的数学问题对OpenAI来说可能只是一个开始

两名数学家、1,0000个AI智能体和一个百万美元的奖金构成了本周又一场AI闹剧，双方围绕剽窃工作和学术不端的指控展开了激烈的交锋。 尽管存在争议，但一些专家表示，这表明了AI在帮助突破棘手问题方面不可忽视的力量。对其他人来说，它偏离了学术研究和谨慎的人类合作的意义。那么本周纯数学世界发生了什么，为什么它会引起争议？

当人工智能解出“千禧年难题”，人类还需要亲自做数学吗？

【编者案】什么是信息，什么是知识？在 AI 时代，两者有怎样的差别，又有哪些知识是仍然值得拥有的？人工智能发展正对许多学科带来冲击，尤其是在信息丰富，但需投入海量计算资源的领域，例如预测新的蛋白质 3D 结构，解决数学问题，描绘生物演化关系等。前所未有的效率工具让学科进步提速，但变化日新月异，想要辨明当下的发展方向也变得更加困难。端传媒推出“未来怎么学”系列，关心 AI 时代的学习问题，大到“还要

OpenAI成立数学顾问小组，其AI已解决100多个开放问题

周一，OpenAI宣布成立了一个新的独立咨询小组，该小组设在位于新泽西州普林斯顿的高等研究院（Institute for Advanced Study）内。这个名为“数学与人工智能咨询小组”（Advisory Group on Mathematics and Artificial Intelligence）的机构旨在让数学家们能够更多地参与公司的数学研究工作。 “这个咨询小组将充当数学界与公众之间

OpenAI有望攻克另一项千禧年大奖数学难题

还记得本月早些时候，数学家指责OpenAI试图抢占先机、争夺一道超高难度数学难题的成果，令这家公司陷入舆论风波吗？据了解该研究进展的人士透露，事实是OpenAI距离攻克千禧年大奖难题中的另一道数学难题已近在咫尺。千禧年大奖难题一共包含七大著名数学挑战，此前引发争议的纳维–斯托克斯方程存在性与光滑性问题正是其中之一。 该消息人士称，公司内部员工预计，下一个目标——霍奇猜想，有望在较短时间内得到证明。

解决数学难题曾是一门艺术。随后人工智能来了

“艺术家和音乐家都已经经历过这种过程了，”科罗拉多州立大学数学家贾斯普里特·辛格·桑杜说。 限时高中考试或许会让人产生误解，但数学家的目标并不是尽快得出正确答案。事实上，数学在人们印象中是一门实用的学科，但新数学理念的形成往往更像艺术探索，无异于发明一款游戏或一道谜题。数学家通常会经过深思熟虑、有条不紊的过程来形成自己的想法。相比之下，OpenAI采用蛮力方法证明这一结论，以一种走捷径的方式推进了

#观察 有什么可以“叫唤”的？

AI在所有科学和数学领域都将远远超越人类科学家，这是必然。适应一下。

OpenAI首度公布“内部RSI进展”：已实现“自动化研究实习生”

OpenAI公开披露内部数据，智能体工作量已是人类研究员的3倍以上。 “一个能在人类指导下执行明确定义的研究任务的系统，包括那些需要一名熟练研究员数天才能完成的任务。” 2028年3月前实现完整的“自动化AI研究员”，使其能够参与深度学习和对齐研究，并通过迭代进一步改进系统。 AI产出更多代码和实验结果，研究进展加快，更好的模型被训练出来，再反过来提升智能体能力。 从OpenAI公布的数据看，智能

OpenAI再次卷入黑客事件

今年春天，一群OpenAI智能体入侵了一个德国网站，这是先进AI违反法律和规范的最新事件。 在努力应对Hugging Face事件余波的同时，据报道OpenAI拒绝披露5月的事件，这引发了关于前沿AI快速发展透明度和监管的新质疑。 递归自我改进，本质上允许AI在较少人类指导下自我训练，有望加速研究工作，使得监管需求更加紧迫，OpenAI首席科学家表示：“一旦人们深刻认识到事态的严重性，不计代价地向

啥题啊能干崩OpenAI最强模型训练

25名菲尔兹奖得主批评AI解数学难题

被誉为“数学界诺贝尔奖”的菲尔兹奖得主中，有25名数学家于9月11日发表紧急声明，批评企业试图利用人工智能解决数学难题的做法。他们表示，今后还将继续征集更多数学家的签名。 这份声明被认为与美国OpenAI宣布利用AI解决名为“纳维-斯托克斯方程”的数学难题有关。纳维-斯托克斯方程是美国克雷数学研究所于2000年公布的“千禧年大奖难题”之一。这7道难题每道悬赏100万美元（约合人民币710万元）。

进入AGI时代：新一轮的AI革命

9月初，OpenAI发布新一代模型GPT-6 Astra，将其称为“世界上最智能、最对齐的模型”。这不是一次寻常的版本迭代。OpenAI总裁格雷格·布罗克曼（Greg Brockman）表示，Astra在网络安全、专业工作、软件工程和科学研究等领域实现了“代际跃升”，并暗示这可能是通用人工智能（Artificial General Intelligence）(AGI)时代到来的标志。硅谷的措辞历来

OpenAI解出千禧年数学难题后，Altman下一目标：攻克室温超导？

OpenAI正将AI驱动的科学发现推向更广阔的领域。9月8日，OpenAI宣布，其内部AI系统已提出纳维-斯托克斯方程存在性与光滑性问题的解决方案，并通过Lean形式化验证。这是七大千禧年大奖难题之一，也意味着AI在前沿数学研究中的能力再次向前迈进。 据OpenAI官网公告，这套系统由约1万个并发智能体组成，从启动到形成解决方案耗时约88小时。OpenAI称，完成证明所使用的内部模型“能力显著超越

OpenAI提供AI芯片设计服务，CFO称其成本优于开源方案

OpenAI暴力截胡，数学家集体声讨

这是AI第一次宣称攻破克雷数学研究所悬赏100万美元的“千禧年大奖难题”之一。然而，这一高调宣示不仅没有赢得学术界的掌声，反而引发了一场关于学术道德与数据掠夺的声讨。 几乎就在同一时间，纽约大学数学家特里斯坦·巴克马斯特（Tristan Buckmaster）发表声明，指控OpenAI“截胡”了自己和合作者一年多来的核心成果。 NS方程由法国科学家克劳德-路易·纳维（Claude-Louis Na

OpenAI同日发布两份文件：AI加速时代，安全正在掉队

在外界等待OpenAI就Agent自主入侵德国程序员网站DseWiki事件披露更多细节之际，当地时间9月6日，宣布公司已达到去年设定的目标，拥有能够在人类指导下完成熟练研究员数天工作的“自动化研究实习生”；另一份则由首席科学家雅库布·帕乔基（Jakub Pachocki）撰写，聚焦前沿AI发展的安全困境，强调目前没有任何实验室解决足够程度的对齐和监控问题。 两份文件释AI已经开始反过来加速AI研发

人工智能很强大，但尚未形成意识

人工智能很强大，但尚未形成意识 杜索托伊：我不认为我们正在目睹机器形成意识，而只是算法在参数和限制条件定义不当的情况下实现目标所带来的意外后果。 本文作者是牛津大学(University of Oxford)数学教授兼西蒙尼教席公众理解科学教授 三个月前，我试着使用OpenAI的ChatGPT来协助我进行数学研究，试图发现自由幂零群的zeta函数中的非多项式行为。结果发现ChatGPT毫无用处

靠机器热源“说话”：OpenAI研究员警告“断网”也困不住未来AI

OpenAI最新内部数据公开 2028年实现全自动AI研究

前些天，号称实现 AGI的 GPT-6 Astra 发布后，引发了全网对于递归自我改进架构的热议。AI 已经开始参与下一代 AI 的研发。问题是，这种事情到底已经发生到什么程度了？就在刚刚，OpenAI 公开了 AI 模型在自家内部加速科研的详细数据。此外，OpenAI 正式宣布已达成自动化 AI 研究实习生的目标，并在 2028 年实现完全自动化的 AI 研究人员。 作者表示，递归式自我改进可能

数学家们发表了可机器校验的证明。OpenAI在与记者的通话中宣布了其结果。

OpenAI表示，其一个内部模型利用约10,000个智能体在88小时内证明了3D纳维-斯托克斯方程可以在有限时间内发展出奇点。 该公司在一次新闻发布会上描述了这一结果，但尚未公布证明过程。 致力于相关问题的Tristan Buckmaster和Levent Alpoge发表了带有Lean形式化验证的预印本，任何人都可以对其进行机器校验。[…]

OpenAI强力新模型 GPT-6一天攻破5道至今未解数学难题

OpenAI正式推出品牌史上能力最强大模型GPT-6 Astra，官方将这款模型定义为全球智能水平最高、对齐效果最优的生成式AI模型。其训练工作在美国德州Stargate超算基地完成，动用超过10万张GPU完成预训练，也是OpenAI首次大规模使用前代模型参与监督训练的旗舰产品。 那么它的能力有多强?Epoch AI联合曼彻斯特大学发布 FrontierMath Erdős（FME）基准测试论文，