OpenAI 一次性放出近 400 项 AI 生成数学结果，数学家称需数年才能消化
OpenAI 本周发布近 400 项 AI 生成的数学结果，分布在 700 多份手稿中，覆盖组合数学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学、数学物理等多个方向，并为此在 GitHub 上发布了仓库导航指南。
推荐理由：通过数十位数学家的第一手反应，呈现 AI 批量产出数学成果对学术生态与研究者职业路径的冲击。
#OpenAI
#OpenAI
今日 7 条The Verge · AI精选AI 评分8383 The DecoderAI 评分7171 OpenAI 年化收入约 500 亿美元，同时寻求 300 亿美元新融资
据《金融时报》，OpenAI 截至 9 月底的年化收入约为 500 亿美元，此前近 700 亿美元的说法是按更便于与 Anthropic 对比的口径计算，差异源于两家公司对合作方销售收入的记账方式不同。
TechCrunch · AIAI 评分2222 Amazon 放弃数据中心保密协议，AI 智能体想要你的信用卡
Amazon 宣布在与地方政府谈判数据中心交易时不再使用保密协议，此前 Microsoft 今年早些时候已采取类似举措。与此同时，一批初创公司押注消费者愿意让 AI 智能体访问自己的收件箱、文件和信用卡，前提是能让网站放行。TechCrunch Equity 播客讨论了放弃保密协议是否会改变数据中心交易方式，以及信任为何可能是个人 AI 初创公司的真正产品。
AWS Machine Learning BlogAI 评分2222 AWS 9 月回顾：Amazon Bedrock、AgentCore 与 Strands 更新一览
Amazon Bedrock 在 9 月新增 OpenAI 的 GPT-6 Astra、Sol、Luna 系列模型，其中 GPT-6 Astra 支持最高 100 万 input tokens，Ultrafast 档在 API 中推理速度最高提升 6 倍、达 300 tokens/秒。
The Verge · AIAI 评分3838 特朗普强推"Super Intelligence"改名，AI 业界被迫跟进
特朗普签署行政令禁止在可能场合使用"AI"一词，要求改称"Super Intelligence"，并将继续使用"Artificial Intelligence"的人称为"THE ENEMY"。
Simon WillisonAI 评分3636 Simon Willison 用 Codex 语音模式为博客新增 Newsletters 页面
Simon Willison 借助 ChatGPT 桌面版 Codex 标签页的语音对话模式，在做饭的半小时里几乎全程用语音为博客构建了 Newsletters 页面，所用模型为 GPT-6 Astra High。
The DecoderAI 评分6666 OpenAI 解雇三名安全研究员，被指与 Hugging Face 事件调查有关
OpenAI 解雇了三名安全研究员 Tomek Korbak、Jasmine Wang 和 Mikita Balesni，三人向 OpenAI 安全与安保委员会等机构发公开信，称解雇过程突然且公开，令在职员工感到恐惧。
The Verge · AIAI 评分6262 OpenAI 坚持解雇三名 AI 安全研究员的决定
OpenAI 在 X 上回应称，解雇 Jasmine Wang、Tomek Korbak 和 Mikita Balesni 是因为内部调查发现他们违反敏感信息处理政策，构成重大信任破坏，并强调与三人公开谈论 AI 安全无关。
MIT Technology Review · AIAI 评分3838 我们太相信 AI 说“不”的能力了
MIT Technology Review 文章指出，AI 的拒绝能力已成为安全体系的核心，但机制基于概率、并不可靠。Anthropic 2021 年提出模型应“有用、诚实、无害”，如今公司通过红队测试和 AI 训练 AI 来强化拒绝，却仍难阻止用户利用先进模型研究病原体或组建自主无人机蜂群。文章还警告，拒绝的边界由企业秘密划定，政府介入后可能被用于压制合法言论。
The DecoderAI 评分6565 OpenAI 披露俄罗斯与伊朗影响行动，封禁相关 ChatGPT 账号
OpenAI 披露并封禁了两个利用 ChatGPT 账号开展影响力行动的俄罗斯和伊朗网络，二者均使用虚假身份向正规媒体植入内容，而非仅做社交媒体宣传。
OpenAI NewsAI 评分2222 Sophos 借助 OpenAI Daybreak 将威胁调查时间缩短 96%
Sophos 使用 OpenAI 的 Daybreak 将网络威胁调查时间缩短 96%，并自动化处理 52% 的 MDR 案例，同时保留人工监督。
Simon WillisonAI 评分2626 ttok 1.0 发布：默认 tokenizer 从 GPT-4 切换至 GPT-5/GPT-6
Simon Willison 发布 ttok 1.0，将默认 tokenizer 从 GPT-4 切换为 GPT-5/GPT-6。
Simon WillisonAI 评分1515 ttok 0.4 发布：新增 --list-models 命令
Simon Willison 的 token 计数 CLI 工具 ttok 发布 0.4 版，修复了 Click 警告、更新了 CI，并新增 --list-models 命令用于列出可用模型。该工具基于 OpenAI 开源的 tiktoken 库，可通过 uvx 直接运行，例如 `cat file.txt | uvx ttok` 即可统计 token 数。
OpenAI NewsAI 评分2222 LegalOn 将 Codex 成本减半并保持开发速度
LegalOn 在保持开发速度的同时，将预估的每日 Codex 成本削减了 65%。其做法是按任务匹配 Astra、Sol 和 Luna，并对预算进行策略性管理。
Latent SpaceAI 评分6262 AINews 汇总：OpenAI 解雇三名安全研究员，GPT-6.1 Sol Ultrafast 与 Claude Haiku 5.5 发布
OpenAI 上周解雇了 Tomek Korbak、Mikita Balesni 和 Jasmine Wang 三名安全研究员，三人发表致管理层公开信，称被解雇是因为把安全置于公司短期利益之上；OpenAI 方面称其不当处理了机密信息。
NVIDIA BlogAI 评分2222 NVIDIA Omniverse 如何用前沿 AI 智能体把创意变成仿真应用
NVIDIA 开发者用 GPT-6 Astra 等前沿 AI 模型配合 Omniverse 库，通过自然语言指令构建仿真应用。仓库仿真在 80 个传送带、40 个机械臂和 800 个箱子下以全高清 30 帧每秒运行两分钟，完成 640 次箱子放置。另有团队用 Astra 与 Claude Fable 5 智能体对比 ovrtx 相机和 LiDAR 输出与真实数据。
TechCrunch · AIAI 评分7171 被解雇的 OpenAI 安全研究员发公开信否认不当行为，警告寒蝉效应
Jasmine Wang、Tomek Korbak 和 Mikita Balesni 三名上周被 OpenAI 解雇的安全研究员发布公开信，否认公司关于他们违规处理敏感信息的指控，并警告此次解雇会在公司内部造成寒蝉效应。
TechCrunch · AIAI 评分6262 OpenAI 数学解答未达学界标准
OpenAI 本周发布数百个高难度数学问题的解答，但未完全符合普林斯顿高等研究院 AGMAI 提出的规范。719 份手稿中仅 10 份公开了模型的思维链，42% 的证明未经过形式化处理。剑桥大学与伦敦国王学院的新论文还记录了 OpenAI 针对 Navier-Stokes 方程相关问题的自然语言证明与 Lean 代码之间至少两处不一致，作者认为这类自动形式化证明不应免于同行评审。
TechCrunch · AIAI 评分6969 OpenAI 年化收入据报比此前预期低 200 亿美元
据《金融时报》报道，OpenAI 已告知投资者其年化收入“接近 500 亿美元”，比此前传出的约 700 亿美元低约 200 亿美元。此前 700 亿美元的数字来自 OpenAI 投资者为与 Anthropic 年化收入直接对比所做的推算，而两家公司计算年化收入的方式不同，Anthropic 会计入云合作伙伴的销售额，OpenAI 则不计入。
TechCrunch · AIAI 评分6060 AI 排行榜 Arena 完成 2 亿美元 B 轮融资，估值达 31 亿美元
AI 模型众包排行榜 Arena 完成 2 亿美元 B 轮融资，估值 31 亿美元，较 1 月 A 轮的 17 亿美元投后估值在约 10 个月内近乎翻倍。
TechCrunch · AIAI 评分3030 Ben Affleck 谈 AI：从卷积神经网络到微调开源视频模型，好莱坞明星的技术素养走红网络
Ben Affleck 本周因多段采访视频展示其对 AI 技术的理解而走红，他在 GQ 节目中谈及机器学习、神经网络、Transformer、张量、GPU 和推理等概念，并称自己会写 Python 脚本。
The Decoder精选AI 评分8282 数学家呼吁抵制 OpenAI：AI 生成证明涌入数学领域
数学界部分人士呼吁抵制 OpenAI，起因是该公司一次性放出 700 多份 AI 生成的数学证明文件。菲尔兹奖得主 Terence Tao 在其博客转发相关声明，并提出数学应进入不再以解题为主要衡量标准的 Math 2.0 时代；复杂性理论学者 Scott Aaronson 称这一局面为 Mathocalypse。
推荐理由：围绕 OpenAI 一次性放出 700 多份 AI 数学证明，呈现数学界对署名、可验证性与研究生态受损的分歧。
The Verge · AIAI 评分6262 USA Today 起诉 OpenAI，索赔逾 2.5 亿美元
USA Today 公司及其旗下多家地方报纸起诉 OpenAI，指控其未经授权复制“数十万篇”文章用于训练 AI 模型，并索赔超过 2.5 亿美元。诉状称 OpenAI 的商业成功建立在“大规模版权侵权”之上，从未就使用其内容寻求许可。
OpenAI NewsAI 评分1818 Pollo AI 用 OpenAI 模型把创意变成营销活动
Pollo AI 借助 GPT-5.6、GPT-6 Astra 和 GPT-Image-2.5，帮助创作者将创意转化为精细图像和电影级视频广告。
OpenAI NewsAI 评分2222 Oracle 如何用 ChatGPT 和 Codex 把数天工作压缩到几分钟
Oracle 在招聘、工程和运营场景中，用 ChatGPT Work 和 Codex 把专家知识转化为快速、可复用的工作流，将原本需要数天的工作缩短到几分钟。
OpenAI NewsAI 评分4747 OpenAI 打击两起利用 AI 的“假外媒”影响力行动
OpenAI 捣毁了两起借助 AI 开展的影响力行动，这些行动利用假记者身份和一家智库传播地缘政治信息。OpenAI 称这两起行动属于“假外媒”操作。
The Verge · AIAI 评分2222 《Artificial》：一部紧贴 OpenAI 与 Sam Altman 真实事件的讽刺传记片
Luca Guadagnino 执导的讽刺传记片《Artificial》在纽约电影节首映，聚焦 OpenAI CEO Sam Altman 的崛起与被短暂罢免，剧情紧贴真实事件。
The Verge · AIAI 评分6060 Meta Muse 与 OpenAI Dots 能替你打理生活吗
The Verge 的 Decoder 播客中，资深 AI 记者 Hayden Field 与主持人 Nilay Patel 讨论 Meta Muse、OpenAI Dots 和 xAI Grok Bot 掀起的消费级 AI 智能体浪潮。
The Verge · AIAI 评分3636 ICANN 新顶级域名申请：Meta 和 OpenAI 争抢 .agent、.agi
ICANN 公布新一轮顶级域名申请，共收到 481 家申请方的 1615 份申请，AI 相关域名成为热点。Meta 和 OpenAI 等 10 家公司申请 .agent，OpenAI 等 7 家申请 .agi，OpenAI 还申请了 .chatgpt、.gpt 等共 15 个域名，Meta 则申请了 21 个。所有申请最早要到明年才会有正式结果。
MIT Technology Review · AIAI 评分3636 机器人领域的 AI 突破短期内不会改变你的生活
MIT Technology Review 与 Aventine 合作的文章指出，尽管马斯克称 Tesla Optimus 未来能以每台低至 2 万美元自动化几乎所有人类劳动、并预测 2027 年底前向公众发售，但许多机器人研究者对此持怀疑态度。
Latent Space精选AI 评分8080 Anthropic 发布 Claude Haiku 5.5，定价对齐 GPT-6 Luna
Anthropic 发布 Claude Haiku 5.5，这是 Haiku 系列约一年来的首次更新，定价与 OpenAI 的 GPT-6 Luna 持平，官方称其平均运行成本比 Haiku 4.5 低约 75%。
推荐理由：汇总了 Haiku 5.5 的定价、第三方评测与 token 消耗数据，可据此判断小模型在智能体工作流中的成本取舍。
Simon Willison精选AI 评分8080 Anthropic 发布 Claude Haiku 5.5，定价对齐 GPT-6 Luna
Anthropic 发布快速低价模型 Claude Haiku 5.5，价格与 OpenAI 上月发布的 GPT-6 Luna 完全一致，为每百万输入 0.10 美元、输出 0.50 美元，超过 100,000 tokens 后涨至 5 倍即 0.50/2.50 美元。
推荐理由：作者实测了 Haiku 5.5 的定价、tokenizer 与推理档位，读者可据此判断它与 GPT-6 Luna 的成本取舍。
The Decoder精选AI 评分8080 Anthropic 发布 Claude Haiku 5.5，价格大幅下调并同步降低 Sonnet 5.5 缓存读取费用
Anthropic 发布 Claude Haiku 5.5，这是其目前最快、最便宜的小模型，平均价格比 Haiku 4.5 低约 75%，10 万 token 以内提示词的价格降幅最高达 90%，超过 10 万 token 的提示词价格则是前者的五倍。
推荐理由：原文给出 Haiku 5.5 的完整定价表与多项基准对比，读者可据此判断小模型在智能体与计算机操作任务上的性价比变化。
The Decoder精选AI 评分8282 OpenAI 发布 GPT-6，ChatGPT 输出改为图表按钮等交互界面
OpenAI 面向所有 ChatGPT 用户推出 GPT-6，并带来名为 Intelligent UI 的新功能，模型以图形、按钮、图表和表单等交互界面呈现答案，而非纯文本，格式会自动适配问题类型。
推荐理由：GPT-6 把 ChatGPT 输出从纯文本改为交互界面，并给出等待时间与内部测试对比，可据此判断交互形态的变化。
OpenAI News精选AI 评分8282 OpenAI 在 ChatGPT 全球上线 GPT-6 与 Intelligent UI
OpenAI 宣布 GPT-6 正在 ChatGPT 中面向全球上线，并同步推出 Intelligent UI。官方称新版本响应更快，并带来可视化与可交互的体验，用户可直接在 ChatGPT 中探索和使用。
推荐理由：OpenAI 官方公布 GPT-6 在 ChatGPT 全球上线，并同步引入 Intelligent UI，读者可据此了解模型与交互形态的同步变化。
The Verge · AI精选AI 评分8282 ChatGPT 上线 Intelligent UI，随 GPT-6 用图表和按钮呈现回答
OpenAI 在 ChatGPT 中推出 Intelligent UI 功能，让聊天机器人用图表、表单、可点击按钮等交互式视觉内容配合文字作答，该更新随 GPT-6 向所有用户推送。
推荐理由：OpenAI 在 ChatGPT 中上线 Intelligent UI，读者可了解 GPT-6 如何把回答从纯文本扩展为图表、按钮和可交互工具。
The DecoderAI 评分6262 Google 向公众开放 SynthID 水印检测器，称已有 1800 亿图片和视频带水印
Google 将 SynthID Detector 开放给公众，任何人都可以检测图片、视频或音频是否由 Google 及其合作伙伴的 AI 生成，支持 JPG、PNG、MP4 和 MP3。
The DecoderAI 评分6262 扎克伯格旗下 Biohub 牵头 18 亿美元，构建预测细胞行为的 AI 模型
扎克伯格与 Priscilla Chan 支持的 nonprofit Biohub 正牵头一项 18 亿美元的计划，整合数据、实验室设备与算力，用于训练预测细胞行为的 AI 模型，以加速药物研发。
OpenAI NewsAI 评分2222 Radisson Hotel Group 与 Accenture 合作将酒店搜索带入 ChatGPT
Radisson Hotel Group 与 Accenture 合作，基于 OpenAI 技术打造了一款 ChatGPT 插件，帮助旅客在规划行程时查找、比较和预订酒店。
TechCrunch · AI精选AI 评分8282 OpenAI 随 GPT-6 推出 Intelligent UI，ChatGPT 界面转向可视化交互
OpenAI 推出名为 Intelligent UI 的新界面，随新模型 GPT-6 于周三开始推送，把大量可视化内容整合进对话，其中不少是可交互的按钮、定制计算器、交互式图表和可编辑图形。
推荐理由：OpenAI 随 GPT-6 推出可交互的 Intelligent UI，读者可了解 ChatGPT 界面从纯文本转向可视化交互的具体形态与开放节奏。