OpenAI 发布 722 篇 AI 撰写数学手稿,数学界质疑“证明过剩”
OpenAI 于美东时间 10 月 6 日发布 722 篇由未公开内部模型撰写的数学研究手稿,官方称平均每项成功结果消耗约相当于 ChatGPT Pro 思考 3 小时的算力。
推荐理由:报道梳理 OpenAI 一次性发布 722 篇数学手稿引发的优先权争议与验证难题,读者可以了解自动化证明当前的能力边界与数学界的核心质疑。
公司与模型
OpenAI 的 GPT 系列模型、ChatGPT 与 Sora 产品更新,以及公司战略与人事变化。
245 条精选近 30 天 214 条共收录 394 条
OpenAI 于美东时间 10 月 6 日发布 722 篇由未公开内部模型撰写的数学研究手稿,官方称平均每项成功结果消耗约相当于 ChatGPT Pro 思考 3 小时的算力。
推荐理由:报道梳理 OpenAI 一次性发布 722 篇数学手稿引发的优先权争议与验证难题,读者可以了解自动化证明当前的能力边界与数学界的核心质疑。
OpenAI一次性发布722篇数学手稿归为372个成果族,使用未公开的内部模型、平均每题约3小时ChatGPT Pro算力,宣称解决了三维挂谷极大函数猜想和四维挂谷集豪斯多夫维数等于4,后者建立在2026年菲尔兹奖得主王虹的三维挂谷集猜想之上。
推荐理由:梳理三维挂谷问题百年脉络与王虹菲尔兹奖的关联,呈现OpenAI放出722篇手稿引发的学界质疑和验证难题。
OpenAI 表示在完成内部调查后,与安全研究员 Jasmine、Mikita、Tomek 终止雇佣关系,原因是三人违反处理敏感信息的相关政策。OpenAI 称调查发现的问题超出三人在公开信中披露的内容,因此坚持解职决定,并强调此举并非针对其提出的 AI 安全担忧,内部安全讨论与研究争论一直是日常工作的一部分。同时,OpenAI 表示正在推进与第三方安全评估机构的敲定合作协议,未来几周将公布细节。
推荐理由:原文给出了 OpenAI 对解职事件的官方说明与调查结论,读者可据此了解其在内部安全争议中的立场、处理边界以及与第三方安全评估机构的合作进展。
据知情人士透露,OpenAI 亚太地区最高级别的公共政策主管 Sanghyun Lee 在加入六个月后即将离职,离职原因尚不清楚。Lee 此前在谷歌工作六年,于今年 4 月加入 OpenAI 并常驻新加坡;此次变动正值 OpenAI 面临该地区监管机构审查的时期。
推荐理由:在 OpenAI 面临亚太地区监管审查的背景下,公共政策负责人仅半年即离职,折射其区域合规团队的不稳定性。
2026年10月7日,OpenAI 发布 GPT-6 与 Intelligent UI,Anthropic 同日发布 Claude Haiku 5.5,两家公司走上截然不同的方向:OpenAI 押注交互入口,Anthropic 压低 Agent 执行成本。
推荐理由:原文同一天对比 OpenAI 与 Anthropic 的发布选择,给出交互入口与执行成本两条路线的判断依据与商业结构差异,读者可据此理解大模型商品化背景下的战略分化。
Asaf Karagila 在博客上批评 OpenAI 关于'划分原理不蕴含选择公理'的预印本,称若投期刊应直接 desk reject。Karagila 指出预印本表述含混、结构奇怪,引用了三份未发表讲义作为参考文献,认为 OpenAI 未请领域专家打磨就把解读负担甩给数学界,构成对学术社区的拒绝服务式消耗。他表示不会兑现此前承诺送给 Sam Altman 一瓶威士忌。
推荐理由:作者是公理选择领域专家,逐条批驳了 OpenAI 这份预印本的写作质量与引用方式,给读者提供了一个可对照的专家审稿视角。
OpenAI于当地时间10月8日在API、Codex和ChatGPT Work中推出GPT-6.1 Sol的Ultrafast版本,定价为每百万输入token 12美元、每百万输出token 60美元。该消息由界面新闻援引OpenAI开发者动态发布。
推荐理由:原文给出了该速度档位的具体定价与可用入口,便于读者横向比较不同档位的成本。
NVIDIA 展示了开发者如何用 GPT-6 Astra 等前沿 AI 模型驱动智能体,结合 NVIDIA Omniverse 库把仿真创意构建为可运行应用。案例覆盖建筑数字重建、燃气轮机故障分析、机器人控制与仓储扩容;其中 80 条输送带、40 个机械臂和 800 个箱子的仓储仿真在 2 分钟测试中维持 30 FPS,并完成 640 次箱体放置。
推荐理由:文章以建筑重建、涡轮测试和仓储扩容为例,展示自然语言驱动智能体连接仿真库、生成应用并定位瓶颈的方法。
OpenAI 三名安全研究员 Jasmine Wang、Tomek Korbak 和 Mikita Balesni 被公司解雇后发表公开信,否认违规处理敏感信息和向外泄露的指控,并警告此举将对公司安全文化产生寒蝉效应。
推荐理由:原文同时收录被解雇方的公开信与 OpenAI 内部备忘录的回应,读者可直接对比双方对解雇理由和安全文化的不同说法。
OpenAI 在投资者沟通中披露,截至 9 月末年化营收约 $50B,低于此前广泛引用的 $68B 数字;CNBC 援引知情人士称 $68B 口径包含合作伙伴总收入,便于与 Anthropic 直接比较。
推荐理由:原文解释了 $50B 与此前 $68B 两个口径的差异,可用于校准对 OpenAI 收入与估值的判断。
菲尔兹奖得主陶哲轩领衔的AHM发表声明,呼吁数学界抵制OpenAI,批评其一次性公开超过700份由内部AI模型生成的证明。Aaronson称之为"Mathocalypse",对比Anthropic与算法研究者合作发布成果的做法,认为OpenAI的方式把可读化工作留给社区无偿完成。
推荐理由:文章把OpenAI批量释放AI证明引发的数学社区反弹,与Anthropic同研究者合作的发布方式并置,呈现AI前沿进展与数学评价体系的冲突。
USA Today 及旗下多家地方报纸起诉 OpenAI,指控其未经授权复制"数十万篇"文章用于训练 AI 模型,索赔金额超过 2.5 亿美元。诉状称 OpenAI 的商业成功建立在"大规模版权侵权"之上,把受版权保护的内容用于构建价值数千亿美元的产品。
推荐理由:原文给出诉讼主体、索赔金额和核心指控,可以帮助读者理清近期出版商与模型公司在训练数据使用上的分歧脉络。
OpenAI 本周发布 719 份号称解决世界级数学难题的方案,但 Princeton 关联的 AGMAI 数学家顾问组批评其未充分听取规范建议,仅 10 份附带模型思路、42% 未做形式化。
推荐理由:报道指出 OpenAI 的 719 份数学证明仅 10 份公开思路、42% 未形式化,并援引新论文记录自然语言与 Lean 代码间的转译偏差,可对照审视 AI 证明与学界评审的差距。
OpenAI 处置了两起借助 AI 的影响力行动。这些行动以假身份记者和伪智库为掩护传播地缘政治信息。
推荐理由:读者可以了解以伪造记者和伪智库为掩护的影响力行动怎样利用 AI,以及 OpenAI 处置此类滥用的方式。
由 Luca Guadagnino 执导的讽刺传记片《Artificial》在纽约电影节首映,Andrew Garfield 饰演的 Sam Altman 被塑造成操纵性强、渴望权力的形象。
推荐理由:影片以讽刺视角重述 OpenAI 内部的权力之争,为读者提供了一种不同于商业报道与法庭记录的文化解读入口。
The Verge 旗下 Decoder 主持人 Nilay Patel 与资深 AI 记者 Hayden Field 对谈,比较 Meta Muse、OpenAI Dots 与 xAI Grok Bot 三款面向大众的 AI 智能体。
推荐理由:把 Meta Muse 与 OpenAI Dots 的消费级和面向企业的路线放在同一张桌上比较,揭示 AI 智能体落地的隐私与商业模式难题。
ICANN 公布最新一轮顶级域名申请名单,共收到 481 家申请方提交的 1615 份申请,其中 345 项为品牌专属域名。
推荐理由:同一批 ICANN 新顶级域名申请中,OpenAI、Meta 等集中申请 .agent、.agi 等 AI 相关后缀,可看出 AI 品牌资源被多家公司提前圈占。
MIT Technology Review 周报指出,多名研究者质疑当前 AI 能让人形机器人快速成熟的乐观预期,认为把语言和图像训练的智能用于物理世界会低估实际困难,也不应将人形机器人等同于通用机器。另一篇介绍 WaveSave 的 SlamDam 便携橡胶防洪坝,铺设后充水可膨胀至 1.3 米高,已入选该刊 2026 年十大值得关注清洁技术公司。
推荐理由:原文汇集研究者对人形机器人炒作的质疑与气候技术案例,提供对照样本以理解当前 AI 与机器人结合的真实进度。
据报道,老虎环球2021年以约157亿美元估值投资OpenAI,随着OpenAI寻求以1.4万亿美元估值融资300亿美元,该笔投资的账面浮盈可能达到50亿美元。老虎环球最初投资1.5亿美元并多次加注,最新一支27亿美元创投基金将OpenAI列为最大持仓之一,截至6月底毛内部收益率达65%,但OpenAI上市前仍无法完全退出兑现收益。
推荐理由:原文给出老虎环球投资成本与OpenAI当前融资估值的对照,读者可以据此理解这只基金为何仍难在上市前完全退出。
OpenAI 任命 Ismail Elmas 为欧洲、中东和非洲地区销售副总裁。Elmas 此前任职于 Cursor,而 Cursor 已于今年 8 月被 SpaceX 以 600 亿美元收购。这是 OpenAI 自 9 月以来第二次从 SpaceX 体系招募销售高管,上月还聘任前 Cursor 高管 Brian McCarthy 担任全球销售副总裁。
推荐理由:原文披露了人事任命与近期招聘节奏,读者可据此判断 OpenAI 对区域销售扩张的投入方向。