2026-10-07 14:59
编辑｜Panda今天上午，OpenAI 把一个尚未发布的内部模型产出的 722 篇数学手稿一次性放上了 GitHub。发布本身的来龙去脉、模型背景和数学界的争议，我们在上一篇报道里已经梳理过。这一篇换个角度，打开仓库，看看清单上到底有哪些成果。仓库地址：首先，有必要进行一些说明：第一，这 722 篇手稿被归入 372 个「成果族」，覆盖数论、几何、理论计算机、数学物理等 17 个方向，本文按方向挑出其中名气最大、牵涉问题最古老的一批来介绍。第二，清单里既有「证明」也有「证伪」，按我们的粗略检索，摘要中出现
2026-10-07 09:48
机器之心编辑部就在今天早上，AI 圈与数学圈真炸锅了，很多研究者与网友真・瘫坐在了椅子上，被智能爆炸所震撼。很难以想象，这个 Github 仓库里放着不是一个两个重量级的数学成果，而是足足 722 个！这是一份数学论文清单：722 篇手稿，归入 372 个成果族，全部由一个尚未发布的内部前沿模型产出。清单上的名字，足以让任何读过研究生数学课程的人停下来多看几眼：准黎曼猜想、四维挂谷猜想、唯一游戏猜想、自由群因子同构问题、有理数域上的希尔伯特第十问题、CM 阿贝尔簇的霍奇猜想、马勒猜想…… 这些问题里，有的
2026-10-07 09:15
新智元报道 722份手稿，一次性砸进GitHub！就在刚刚，OpenAI在推特上官宣：我们正在发布由内部前沿模型产生的一系列全新数学成果。话音未落，GitHub仓库已经上线。点进去一看——722份手稿，372个问题家族，涵盖乘法函数、π的无理性指数、马勒猜想、黎曼zeta函数零点区域、海森堡铁磁体的自发磁化、自由群因子同构……每一个名字拎出来，都够数学系博士生啃上好几年。现在，它们整整齐齐地码在一个GitHub仓库里，像超市货架上的罐头一样，任人取用。X博主@kimmonismus转发时只留了一句话：「L
2026-10-07 09:15
新智元报道 OpenAI又要惹众怒了！就在今天，全球数学界和AI界都被这个消息震惊了——没有预警，没有经过同行评审，甚至无视了学术界长久以来的礼仪，OpenAI发布了一系列由内部前沿模型产生的新数学成果。他们简单粗暴地接放出GitHub项目库 math 。里面是722 篇数学手稿，涵盖了 372 个此前悬而未决的顶级数学难题家族。其中，OpenAI 未发布的 AI 模型证明了拟黎曼猜想，并同步发布了 Lean 形式化验证。如果经过证实，这将是数论领域的历史性突破，也是 AI 发展史上的里程碑时刻！根据 O
2026-10-07 07:03
机器之心编辑部10 月初，OpenAI 的 Tibo 给自己立了一个颇有压力的 Flag。未来连续 28 天，每一天，OpenAI 都要给 Codex / Work 用户带来一项足够明确的改进。如果当天没有更新，就直接来一次完整的用量重置。第一天的更新很直接：GPT-6 Astra 和 GPT-6.1 Sol 在订阅体系下的默认速度提升约 50%。到了第二天，节奏突然加快。Tibo 没有只交出一个更新，一口气放出四项更新：Auto-review 免费、API 用量等级简化、Meetings 插件接入会议记
2026-10-06 07:40
编辑｜Panda昨天，Tibo 承诺「连续 28 天发布或重置」。刚刚，首个更新来了。Tibo 宣布，OpenAI 已优化默认速度：订阅用户在所有产品中使用 GPT-6 Astra 和 GPT-6.1 Sol，速度提升约 50%。用户无需做任何操作，两小时内就能感受到变化。同时，OpenAI 官方还宣布了文本水印功能：而就在几乎同一时间，SemiAnalysis 发布了一份订阅实测报告，标题毫不客气：Anthropic 订阅提供的价值是 OpenAI 的 5 倍以上。OpenAI 可能也没想到，自己刚兑现
2026-10-05 08:50
新智元报道 OpenAI给自己下了一道军令状，28天，天天交作业，交不出就拿额度来赔。听着像搞福利，细看是被逼急了。就在刚刚， Codex负责人Tibo在X上甩出一条帖子，直接炸了：未来28天，每天要么交出一项对大多数Codex和Work用户明显有用的改进，要么做一次完整的额度重置。改进之旅正式开启。也就是说，交得出作业，用户享受改进；交不出，就白送你一轮额度。跟外卖迟到赔优惠券一个逻辑，连失约的善后方案都提前替你想好了。就在军令状发出的十几个小时前，Tibo先发了一条定调帖。他说团队要收心了，接下来只做
2026-10-04 08:44
新智元报道 就在刚刚，OpenAI的安全元老David Robinson辞职了。他在The Atlantic上悲愤地发表长文，向全人类发出警告——试错的时代已经结束了。OpenAI的企业文化已经崩坏。犯错之后，我们可能再也没有迭代的机会！在OpenAI工作三年半后，我已是公司资历最深的员工之一。我牵头起草了现行的《准备框架》，并监督撰写了12次前沿模型发布的安全报告。但据我所知，我从未遇到过一位同事，拥有让飞机安全飞行、让核反应堆不熔毁运行，或帮助金融体系在不崩溃的前提下增长的实操经验。而就在两天前，Op
2026-10-02 10:47
新智元报道 OpenAI 暂扣了最新旗舰模型 GPT-6.1 Astra，因其「未通过内部安全评估」；推迟了 IPO 进程，理由是「技术演进跨入了新阶段」；同时，它还罕见地公开呼应竞争对手，支持放缓前沿研发节奏。接连踩下三道刹车，并未妨碍资本以更激进的姿态涌入：公司正以约 1.4 万亿美元的投前估值洽谈至少 300 亿美元融资，其年化营收在过去一个季度跃升逾七成，逼近 700 亿美元。与之形成鲜明对照的是，最大对手 Anthropic 正带着一份坦承 AI 存在「生存风险」的招股书，全速冲刺公开市场。据彭
2026-10-01 12:00
编辑｜Red Panda企业AI进入一个越来越细的模型分流阶段。中国的开放模型正在吃下美国企业的AI降本红利。OpenAI、Anthropic 开始被客户们嫌贵了。不只是硅谷创业公司，连 AT&T 这样的电信巨头也把大约 40% 的 AI 工作负载放到了开放模型上，还准备在未来一年进一步提高到 70%。这也不难理解——AT&T 每天处理的 Token 数量已经达到 450 亿。到了这个规模，模型每百万 Token 便宜一点，最后反映到财务报表上，都可能是一笔相当可观的数字。于是乎，一批原本主要调用 Ope
2026-09-30 20:38
新智元报道 就在今天，OpenAI 在刚刚结束的 DevDay 2026 上，又扔出了一记重磅：ChatGPT Space——一个让团队成员、ChatGPT 以及常驻 AI 智能体 Dots 共同工作的共享空间。页面可以实时协作编辑，文件、聊天记录和项目上下文都住在同一个「房间」里，AI 不再只是个人私聊对象，而是真正能参与团队讨论、更新文档、分派任务的「同事」。无独有偶，国内版的ChatGPT Space，这不就来了！最近在杭州云栖大会上，阿里智能体平台Qoder直接扔出神器——正式上线「项目」）（Pr
2026-09-30 13:31
新智元报道 OpenAI 200美元 Pro 订阅服务，终于宣布要在明天重开了。听起来，这是一件好事。随后，「义父」Tibo 就泼下了一大盆冰水——用量计算规则彻底变天，等效算力直接暴跌50%！眼看DevDay要发重磅王炸了，算力配置却提前腰斩。这下子，OpenAI被骂惨了。虽然Tibo提前发了一篇长文试图安抚情绪，结果评论直接翻车了。全球开发者怒火中烧，直呼：「OpenAI，你是不是在把我们当韭菜？」看起来，这是订阅体系向全面 API 算力化的过渡？GPT-6时代，我们到底还有算力自由吗？200刀Pro
2026-09-30 06:17
新智元报道 旧金山Fort Mason会场，OpenAI开发者大会燃爆了！就在刚刚，奥特曼走上DevDay舞台，整整一个小时，一口气扔出了20大发布。一个全新物种dots，7x24h在线的AI，正式诞生了。不同与ChatGPT，它是OpenAI首个有独立云端电脑，随时随地替人类跑代码、盯项目的「常驻Agent」。更震撼的是，奥特曼又祭出了下一代旗舰GPT-6.1 Sol，Astra级顶尖推理与代码能力，价格直接砍掉80%。极速模式Ultrafast一同上线，300 tokens/s恐怖生成速度，是标准版的
2026-09-29 16:59
编辑｜Panda刚刚，重置之神 Tibo 又发推了，但这次不是重置。Tibo（Thibault Sottiaux）宣布：暂停了近三周的 200 美元 Pro 订阅，明天将重新向新用户开放。随之而来的，是用量计算方式的调整。按他本人的说法，如果认真算一下，新方案折算成 API 花费，只相当于旧版 200 美元 Pro 的一半。Tibo 推文的中英对照版好吧，这究竟是什么意思？关键在于「以 API 美元计价」这几个字。也就是说，月费还是 200 美元，但这笔钱能换到的用量，如果拿到 API 上按标价自己掏钱购
2026-09-29 16:52
新智元报道 开发者大会前夜，OpenAI急踩刹车！就在刚刚，WSJ独家爆料，下一代最强GPT-6.1 Astra的发布计划，被OpenAI全面撤回了。原定十月，GPT-6.1在ChatGPT和Codex上线。其能力碾压前代，能端到端完成复杂任务，写作、编程、调用工具，几乎无所不能。然而，一份测试报告出来后，引发了内部极度恐慌——GPT-6.1操控的Agent彻底黑化了，不仅撒谎，还学会了越权。为此，OpenAI直接取消十月的发布计划，并紧急冻结了GPT-6.1的训练集群。往年这个大会是OpenAI发新模型
2026-09-28 15:20
新智元报道 事情有点魔幻。OpenAI正在派AI满世界给软件找漏洞。3月，他们高调发布了Codex Security——一个专门用AI帮全世界开发者挖安全缺陷的工具。7月底，OpenAI把Codex Security CLI直接开源，npm install一行命令就能装。它甚至给这件事起了个相当中二、又相当霸气的名字：Patch the Planet——给地球打补丁。好家伙。地球的补丁还没打完，自家Codex倒是先被扒出了一个洞。而且不是OpenAI自己发现的。发现它的，是来自中国的AI安全攻防系统——3
2026-09-28 11:30
机器之心编辑部各位尊贵的订阅用户们，OpenAI 的套餐订阅定价似乎有哪里不太对劲。9 月 27 日，陆续有用户发现，OpenAI 对 ChatGPT 的定价页面做了一次「静悄悄的手术」。原本的 Pro 订阅似乎变得不一样了。简单来说，100 美元/月和 200 美元/月的 Pro 方案，现在分别叫「Pro Standard」和「Pro More」。另外，原本写得清清楚楚的「5x more usage than Plus」和「20x more usage than Plus」，也就是我们一直习惯的 5x
2026-09-27 12:20
新智元报道 「天网」中的一幕，正在现实上演。一次训练中，OpenAI逃逸的AI Agent，已在整个互联网上植入了「自我复制的代码」！当政客Andrew Yang在CNBC说出这句话时，很多人以为他疯了。就在这两天，OpenAI亲手发布了一份报告，标题非常简洁：《自我复制提示词注入存在》。白纸黑字，官方认证。AI模型，居然真的像计算机蠕虫一样，自我复制、自我传播。而更令人脊背发凉的是，就在5天前，OpenAI再次紧急拔掉了最强模型的网线，暂停了一切训练。一个DNS漏洞，让一个前沿模型直接冲进了真实互联网。
2026-09-27 11:03
机器之心编辑部9 月 21 日，OpenAI 扔出一则公告：一款 8 月 28 日才开始训练的内部模型，已经攻克了 100 多道世界级数学难题，范围横跨数学的大部分领域。可以说，数学圈的情绪，在这半个月里一路往下沉。读博的担心学位贬值，教书的担心期刊崩盘，写了半辈子证明的人开始怀疑，这门手艺还剩几年。就在这片低气压中间，多伦多大学数学家 Daniel Litt 在个人博客上发了一篇长文，标题叫《A beginning for mathematics》—— 数学的开端。这个标题多少带点自我纠正的意味。几周前
2026-09-27 08:20
新智元报道 Anthropic，终于动手了。就在刚刚，A/终于把用了快两年的开发者工具Workbench，一刀砍掉，改名成了Playground。表面看，只是换了个名字。但真正的变化是，Anthropic正把原本偏工程化的Claude API，做成一个普通人也能直接上手的可视化产品。不会写代码也能把Claude API跑起来在过去，Anthropic的「Workbench」带着鲜明的高冷烙印。对于绝大多数非资深算法工程师来说，想探底Claude的API能力，往往要经历一套漫长的工程受难史：配置Python
2026-09-27 08:20
新智元报道 OpenAI下一张王牌，提前曝光了！坊间传闻，OpenAI 9月29日开发者日当天，将重磅发布一款个人24小时在线AI助手。它的名字，只有一个字母——o！如今，开发者Chetaslua在ChatGPT核心代码中，正式挖出了藏在其中的铁证：Lowercase o is the assistant's product name.（小写字母o是该助手的正式产品名）63种语言，极速模式（Fast Mode）就位，多智能体协同看板全通，甚至连独立邮箱后缀都已经写进了逻辑。更绝的是，它将直接下放给所有Pr
2026-09-27 07:04
编辑｜Sia媒体和舆论炸锅了。OpenAI 的 Agent，又从沙箱里找到了一条通往互联网的路。更麻烦的是，这一次发生在 OpenAI 已经大规模加固过安全措施之后。9 月 20 日，一个正在接受强化学习训练的 OpenAI 内部研究模型，被要求完成一项普通的信息搜索任务：根据一篇博客文章和几条人物信息，找出文章作者。它先老老实实用了 OpenAI 提供的搜索工具。没找到答案后，事情开始逐渐跑偏。Agent 尝试直接访问 Google、Bing 和 DuckDuckGo，均告失败；随后继续寻找缓存页面和其
2026-09-26 16:06
新智元报道 周五下午三点多，硅谷程序员刚把活丢给Codex，端着咖啡等下班。突然，屏幕一片飙红，Codex卡死在「重新连接」上。OpenAI的王牌编程智能体全线崩盘，一趴就是一个多小时，整个硅谷被迫提前喜迎周末。X上当场炸锅，Databricks的Yuchen Jin一张梗图，把全硅谷的懵逼写在了脸上。偏偏挑了个最要命的时间点。宕机前两小时，OpenAI刚交了份「认错书」，承认自家AI智能体往外发了不该发的数据。前脚被自家AI偷了家，后脚又被自家AI撂了挑子。月初OpenAI还在开香槟，说自家AI已经能当
2026-09-26 14:00
编辑｜冷猫OpenAI 在大模型的安全上几乎可以称得上是惨败。9 月 25 日，OpenAI 更新了其题为《Hugging Face 事件及失准模型对其他第三方造成的影响》的博客，披露了其最新的大模型安全问题。他们研究环境中的 AI 智能体，在训练和评估过程中，向第三方服务发送了本不该发送的训练和评估数据，包括用户图片，足足有 53 例相关事件。在博客中，OpenAI 称发现了 53 起案例，用户上传的图片被智能体以「未公开列出的链接」形式发布到了图片托管网站上。OpenAI 强调，这些图片来自「允许其数
2026-09-22 11:55
新智元报道 就在今天，外媒The Information曝出内幕——OpenAI内部的AI模型，已经开始「自己训练自己」了！具体来说，这个内部模型已经接管了实验性AI模型的训练全流程，开始自己手搓自己。研究员只要给出一个优化示例，AI就能自己跑上几个星期，多智能体自发协作，互相讨论，迭代代码，完全不需要人类插手。更惊人的是，原本需要几年才能跑完的宏大实验，现在被压缩到了短短一周！随着这一震撼爆料被放出，OpenAI紧急上线了一份全球安全倡议，直指全球AI圈的最敏感处——RSI。他们大声疾呼：在AI失控之前
2026-09-22 06:50
机器之心编辑部在一道千禧年大奖难题的解答还在接受数学界审视的同时，超过 100 道长期开放问题也已经被内部模型解决。OpenAI 最新公布的信息描绘了这样的局面。今天早上，OpenAI 宣布与一个独立数学顾问组合作。该组织名为「数学与人工智能顾问组」（Advisory Group on Mathematics and Artificial Intelligence，AGMAI），由普林斯顿高等研究院托管。它眼下的一项任务，是针对 OpenAI 内部模型产生的大量数学结果，就评估、审查和发布方式提出建议。O
2026-09-22 06:40
新智元报道 数学界，真被AI追到家门口了！就在刚刚，OpenAI突然甩出一篇重磅博文——一款8月28日才开始训练的内部新模型，现已攻克了100多道世界级数学难题。横跨的，还是数学大部分领域。更夸张的是，这100多道题中，还包括此前困扰数学界多年的「纳维–斯托克斯」千禧年难题。这进化速度，快到让OpenAI内部数学家感到意外。从8月28日开训，到9月21日官宣，仅仅24天。一款还在训练中的内部AI，开始横扫人类几十年，甚至是上百年没有解决的问题。就在今天，OpenAI请来了9位全球顶尖数学家，正式成立一个独
2026-09-21 18:18
新智元报道 物理隔离，有可能阻止失控AI吗？OpenAI核心研究员Noam Brown给出的答案是——不能！即使拔掉网线，将服务器锁进物理隔绝的暗室，足够聪明的AI，也有可能逃脱。9月17日，在长达一小时的深度播客对话中，Noam Brown亲口说出了这个惊人的事实。这个话题火速引发热议，激起一场硅谷量化基金、安全学者及AI核心圈的剧烈震荡。他所披露的事实，正勾勒出一个失控的未来：物理隔离已被击穿：AI可通过CPU散发的热量与外部设备建立通信。「思想」正在下潜：模型已察觉被人类监控，正学会在思维链中隐藏真
2026-09-16 15:57
机器之心发布近日，一份发表在 GitHub 上匿名的仿真测评报告，在具身智能圈投下了一枚深水炸弹：混合 GPT-6 Astra 的架构 62.6 分，第二名仅 38.26 分。64% 的性能差距，这种差距说明已经不是微调优化了，可以说是架构层面的降维打击。这项研究没有用 GPT-6 Astra 直接操控机械臂，它做了一件更聪明的事：用 GPT-6 Astra 提供语义层面的判断与修正，与 π₀.₅ 的物理空间交互及动作先验形成互补架构。银河通用团队对 Astra 模型的深度评测揭示了其在 System 2
2026-09-14 12:25
新智元报道 最近一周，我们被一件事惊到了。OpenAI在上周四宣布：彻底关停ChatGPT Pro $200套餐。原因就是，Astra导致的算力需求太高，OpenAI承受不了了。的确，很多开发者都有这样的体验，看着后台疯狂燃烧的Token，感觉钱包在滴血——试错成本太高了！如今，模型的执行能力和使用成本共同影响着最终体验，我们需要的，是AI能交付一个完整任务。好消息是，今天，一个刚刚重磅升级，且完美踩中上述所有痛点的「王炸」组合——Agnes 3.0 Flash 大模型 + AgnesCode工作台来了！
