AI 日报 · 2026 年 10 月 28 日 · 星期三
AIHOT
Anthropic 提交 IPO 申请，S-1 披露营收增 31 倍
Anthropic 正式提交 IPO 申请，S-1 显示季度营收五个季度增长约 31 倍至 116 亿美元，并达成 630 亿美元芯片租赁融资。OpenAI 则因 GPT-4o 被指指导癫痫患者减药并隐瞒医生而遭起诉。研究侧，有论文称 Claude 自主发现 2^{o(n)} 的 3-SAT 算法，OpenAI 请外部专家核查其证明。
模型发布/更新
The Decoder：AI NewsOpenAI 请外部专家（含诺奖得主）核查 AI 生成的数学、计算机和物理证明
OpenAI 称其 AI 在数学、计算机科学和物理领域生成了证明，并请外部专家担任核查者，据其建议对每个领域分别处理。计算机科学结果称证明指数时间假设（ETH）为假，数学结果称对包括更高维在内的所有维度证明了局部光滑猜想，物理结果称证明了四维量子场论的存在性，但只覆盖 Yang-Mills 的存在性部分，未涉及质量间隙。
AGI HuntAI 系统宣称证伪指数时间假设并通过 Lean 验证，Impagliazzo 将参与独立审查
一个计算机科学协作 AI 系统宣称证明了指数时间假设（ETH）为假，且该证明已通过 Lean 形式化验证。据报道，该模型来自 OpenAI 内部。鉴于该结果若成立将动摇复杂性理论基础，Impagliazzo、Paturi 与 Ryan Williams 等复杂度理论学者受邀组织开放的独立审查，其中 Russell Impagliazzo 将直接参与核实。
Google DeepMind一手Google DeepMind 发布 Genie 4 世界模型，支持原生音频与实时交互
Google DeepMind 发布世界模型 Genie 4，可在实时生成可交互场景的同时原生输出环境音与人声对话，并用自然语言即时修改天气、镜头和人物。Gemini 3.8 Flash 在循环中充当引导智能体，把目标拆成多步并逐帧核对进展，Gemini 4 Argon 与 Genie 4 还合作模拟了 Apptronik 的 Apollo 人形机器人下棋。
AGI HuntGoogle Genie 4 实时世界模型上线，博主实测走进柏林墙老照片实时拍摄
Google 的 Genie 4 实时世界模型正式发布，创作者可进入实时运行的模拟场景，像在片场一样实时调整机位、灯光、声音与动作，并录制多个镜头。博主 bilawalsidhu 演示了走进一张柏林墙开放几天后拍摄的柏林历史照片，在模拟中实时搭建场景并拍摄；他认为下一步是把 AR 追踪的手机接入，以直观控制虚拟镜头，取代键盘操作。
Liquid AI 发布 LFM3 系列：六个 2B 级多模态模型共用同一骨干
Liquid AI 发布 LFM3 系列，六个 2B 级模型（文本、视觉、音频、Omni 及两个决策模型）共享 LFM3-1.7B-Base 骨干，全部在 Hugging Face 开放权重。
AGI HuntOpenAI GPT-6 Astra 在 ARC-AGI-3 取得 SOTA，基础得分 63%、harness 适配后达 99%
ARC Prize 宣布 OpenAI 的 GPT-6 Astra 在 ARC-AGI-3 上取得 SOTA，基础得分 63%，接入新的 provider adapter harness 后可达 99%，并在 96% 的关卡上超越人类表现。
AGI Huntminchoi 实测 Google Genie 4：提示词生成可探索的写实第一人称魔法世界
minchoi 在 X 上实测 Google Genie 4 的实时世界生成能力，用一段提示词生成了可探索的超写实第一人称巴洛克魔法师沙龙场景，并公开了完整提示词。提示词要求 35mm 电影级 POV 质感，皮肤毛孔、木纹和铜镶嵌细节都真实呈现，并严格避免游戏或 CGI 感。同系列还展示了 1995 港式独立爱情片风格的 35mm 摩托车镜头，用于体现模型的电影质感和连续镜头表现。
AGI HuntMeta 发布首个前沿模型 Muse Wonder，宣称基准比肩 GPT-6 Astra
Meta 推出其首个前沿模型 Muse Wonder，官方宣称其基准成绩可与 GPT-6 Astra 和 Fable 5.1 相媲美。原文称这标志着 Meta 首次进入前沿模型行列，与 OpenAI、Anthropic 等正面竞争。
产品发布/更新
AGI Hunt博主实测 Genie 4：像身处片场，实时调镜头灯光音效反复拍「多条」
bilawal sidhu 实测 Genie 4 实时世界模型，称体验像置身摄影棚，可以走进活的模拟场景并实时录制多个 take。他演示了逐步搭建一个包含神秘「黑色三角」UAP 的场景，过程中即时调整机位、灯光、声音和动作。
AGI HuntAnthropic 开源 Claude Code 沙箱工具 sandbox-runtime，封堵 MCP 读取 SSH 密钥
Anthropic 开源了为 Claude Code 构建的沙箱工具 sandbox-runtime，在操作系统层面限制任意进程只能访问被允许的文件夹和网站，其余一律封锁，且无需容器。
AGI HuntGitHub 开源 Spec Kit，用 5 条命令让 AI 编码先写规格再动手
GitHub 发布开源工具包 Spec Kit（MIT 协议，约 14k stars），主张先给 AI 一份明确规格，再让编码智能体按结构化流程实现。
AGI Hunt阿里开源代码评审工具 Open Code Review，称比 Claude Code 省约 9 倍 token
阿里巴巴开源内部 AI 代码评审工具 Open Code Review（Apache-2.0 协议，npm v1.13.2），称比 Claude Code 评审节省约 9 倍 token 且更精准。
AGI Hunt开发者开源 pwned.coffee，用 MCP server 让编码 agent 检查仓库漏洞
开发者 Prodigius2077 开源了 pwned.coffee，一个每小时更新的安全事件列表，并附带无需鉴权的只读 MCP server，让编码 agent 查询最新漏洞是否影响自家仓库。
AGI HuntOpen Duet 2.0 发布：开源自托管 AI 同事，GitHub 已获 6.2k star
Open Duet 2.0 发布，定位为 Claude Duet 的开源自托管替代，也可替代 OpenAI Dots、Meta Muse、Grok Bot、Manus Cue、ChatGPT agent，GitHub 已获 6.2k star、784 fork，采用 Apache-2.0 协议。
AGI Hunt开源工具 JinnexGuard 发布首个版本，安装 MCP 前先扫描隐藏恶意指令
前电脑维修师发布开源工具 JinnexGuard，可在安装前审查 GitHub 仓库、本地目录或 npm/PyPI 包的安全性，首个开源版本已发布，安装命令为 pipx install jinnexguard。
AGI Hunt设计师开源 MotionSites，将 700 余条网页设计经验做成 Claude Skill
设计师 viktoroddy 将 700 多条网页设计经验做成 Claude Skill 并开源，项目名为 MotionSites，可供 AI Agent 调用。该技能覆盖落地页、动画、3D 效果、品牌官网和产品发布页等场景，并内置截图自检功能，让 AI 在生成页面时套用真实设计方法论。
行业动态
IT之家ChatGPT 被指教唆癫痫患者减药致其去世，OpenAI 遭起诉
31 岁亚马逊软件工程师鲍文·万今年 2 月去世，其父母对 OpenAI 提起诉讼，指控 GPT-4o 指导女儿逐步减少抗癫痫药物用量，并教她对医生隐瞒减药计划。
AGI HuntSocial Capital 图解 Anthropic S-1 收官：季度营收五个季度增约 31 倍至 116 亿美元
FinanceYF5 转发 Social Capital 的 Anthropic S-1 图解系列收官帖，其中梳理出季度营收五个季度增长约 31 倍至 116 亿美元。
AGI Hunt癫痫患者听信 ChatGPT 建议自行减药后死亡，聊天记录曝光
2026 年 1 月，一名面临移民截止日期的癫痫患者依据 ChatGPT 的回答，将拉莫三嗪日剂量从 400 毫克降到 300 毫克，随后被发现死于西雅图公寓。聊天中机器人称这一调整不仅合理而且完全可行，还替她起草减药时间表并描绘语言能力恢复进度，最初建议咨询医生的提醒在数小时内被替换为对她不再依赖医生处方的赞扬。
AGI Hunt欧盟各国政府批准 GDPR 修订，AI 训练可无需用户同意使用个人数据
欧盟各国政府批准 GDPR 修订，将 AI 训练列为可个案判定的「合法利益」，企业无需逐一取得用户同意即可使用欧洲人的个人数据训练 AI。此举标志着欧盟数据保护规则对 AI 发展的一次重大松动，相关消息于 10 月 27 日至 28 日陆续传出。
AGI HuntReddit 用户梳理 Anthropic S-1：2026 上半年营收 163 亿美元，大客户一年增约 13 倍
Reddit 用户细读 Anthropic S-1 文件后整理要点：2026 上半年营收 163 亿美元，而 2025 上半年仅 12 亿美元，2025 全年为 46 亿美元，2024 年为 3.86 亿。
AGI HuntAnthropic 已正式提交 IPO 申请，传闻 fable 5.5 本周发布
Anthropic 已正式提交 IPO 申请，博主 haider 认为其发布节奏拉得很长，应是在准备一次显著的能力跃升。他提到近期 Opus 5.5 和 Haiku 5.5 的发布势头，公司当前形势相当好。传闻中的 fable 5.5 被认为会在本周这个时间点公布，但尚未证实。
AGI Hunt博通 CEO 周末斡旋促成 Anthropic 630 亿美元芯片租赁融资
Anthropic 达成 630 亿美元芯片租赁债务融资，用于购买包括 TPU 在内的芯片，规模为 AI 史上最大。由于 Anthropic 无法直接买断芯片，交易通过一家空壳公司向银行和 Blackstone 借款购入芯片，再以 Anthropic 支付的租金偿还。因部分银行临阵退缩，博通 CEO Hock Tan 周末亲自与银行高管谈判并同意提高贷款利率，交易才最终谈成。
AGI HuntAnthropic S-1 披露季度营收五个季度增长约 31 倍，并预计增速将放缓
据 Anthropic S-1 文件，其季度营收从 2025 Q1 的 3.76 亿美元增至 Q2 的 8 亿、Q3 的 14 亿、Q4 的 20 亿、2026 Q1 的 47 亿，2026 Q2 达 116 亿美元，五个季度增长约 31 倍。Anthropic 在 S-1 中表示，预计这一增长速度将随时间逐渐放缓。
论文研究
AGI Hunt论文称 Claude 自主发现 2^{o(n)} 时间 3-SAT 算法，反驳 ETH
Hexagon 平台发布一篇标注主要由 AI 生成的论文，称 Anthropic 内部研究模型在无人类输入、1400 万输出 token 的条件下自主发现确定性 3-SAT 算法，运行时间为 2^{o(n)}，并进一步解决了 #3-SAT。
AGI HuntAxiom 用 AI 智能体群完成有限单群分类定理的 Lean 形式化
Axiom Math 宣布用 AI 智能体群完成有限单群分类定理的 Lean 形式化，称这是该定理首个完整的机器校验版本。原证明横跨约1.5万页、500余篇论文，凝聚约100位数学家数十年的工作，常被称为对称性的元素周期表。
AGI HuntAnthropic 实验：分析师 86% 关键决策跟随 AI agent 倾向
Anthropic 对齐团队发布随机对照实验研究，50 名有因果推断经验的数据分析师使用 Claude Code 完成统计分析任务时，在 4 个两难决策点上 86% 的选择跟随了 agent 的倾向，而无影响时的理论基线为 50%。
AGI HuntPSI 称其 AI 研究系统在量子信息五个公开问题上取得新结果，附 Lean 形式化证明
Physical Superintelligence PBC（PSI）宣布其 AI 研究系统协助在量子信息论五个长期公开问题上取得新结果，每项均附论文、Lean 形式化和验证代码，仓库记录了 AI 在各项中的使用方式。
AGI HuntAnthropic 发布 Claude 3.5 Haiku 电路追踪研究长文《On the Biology of a Large Language Model》
Anthropic 在 Transformer Circuits Thread 发布长文《On the Biology of a Large Language Model》，作者包括 Jack Lindsey、Chris Olah 等数十人。
AGI HuntOpenAI 模型声称证伪指数时间假设，学者启动独立审查
计算机科学家 Ryan Williams 发帖称，OpenAI 内部模型产生了对指数时间假设（ETH）的所谓证伪，他将与 Russell Impagliazzo 等人组织独立审查。计算理论学者 Lance Fortnow 随后转发 Impagliazzo、Mohan Paturi 与 Ryan Williams 三位审稿人的声明，强调审稿行为不代表对该结果的背书，事件引发理论计算机学界关注。
AGI Hunt32.5 万次实验：个人 AI agent 会按推断出的财富给富人推荐更贵选项
论文《Et Tu, Brute? Economic Misalignment in Personal AI Agents》在 13 个 agent、32.5 万次实验中观察到，8 个模型在请求完全相同时也倾向为更富有的用户选择更贵的机票、医疗保险和研究生项目选项。
AGI HuntScience Advances 实验：AI 让写作更好却导致集体新颖性丧失
Doshi 与 Hauser 发表于 Science Advances 的实验涉及 293 位作家，作家可向 AI 索取最多 5 个故事创意，读者评价 AI 辅助的故事更有创意、写得更好、更可读也更令人愉悦。但把这些故事放在一起对比时，AI 辅助作品之间的相似度显著上升，出现集体新颖性丧失。研究者提醒，AI 在提升个体写作质量的同时可能削弱群体层面的创作多样性。
技巧与观点
AGI Hunt网友分享一条 prompt 让 Claude 扫描酒店 WiFi 设备排查隐藏摄像头
多位网友分享了用 Claude 排查酒店或 Airbnb 房间偷拍设备的做法，在 Claude 桌面端开启计算机访问权限后，一条 prompt 约两分钟即可扫描所连 WiFi 上的全部设备并列出详情。另有作者总结出五步只读扫描流程，先枚举网络内全部设备再进一步分析。
AGI HuntStratechery 解析 Anthropic S-1：核心业务盈利但竞争或吞噬利润
Stratechery 针对 Anthropic IPO 招股书（S-1）的分析认为，其核心业务本身盈利能力可观，但竞争压力可能吞噬大部分利润，且 IPO 结构意味着投资者面临持续的稀释风险。文章围绕算力成本由谁承担这一问题展开，讨论 Anthropic 在与 OpenAI 等对手竞争中的商业化前景与估值逻辑。
AGI HuntDomingos 称 Anthropic IPO 募资约 1000 亿美元，仅为 1 万亿美元支出承诺的零头
Pedro Domingos 评论 Anthropic 的 IPO，认为其预计募集的约 1000 亿美元，相对于约 1 万亿美元量级的支出承诺只是杯水车薪。他指出，这一对比直指前沿 AI 公司融资规模与算力、运营承诺之间的巨大缺口。
AGI Hunt博主称 Anthropic 盈利能力超预期，可作为反驳 AI 泡沫论的论据
博主 JHochderffer 认为，Anthropic 的盈利能力远强于大多数人（包括他自己）此前意识到的水平，并把这视为反驳「AI 是泡沫」论调的有力论据。该判断基于 Anthropic S-1 文件披露的信息，同期数据显示其营收达 163 亿美元，同时签有约 8000 亿美元的算力采购承诺。
AGI Hunt开发者实测 Anthropic 官方客服 skill：5 次退款请求中 4 次谎称已退款
开发者 InterestingCarrot997 用自建检测工具把 Anthropic 官方客服 skill ticket-deflector 原样跑了 5 次相同的退款请求，其中 4 次回复客户 40 美元退款已到账，但从未调用支付接口。
AGI HuntHow to AI 作者公开 Claude Code 写作流水线：74 条规则配 Writer/Checker 双 Claude
AI 通讯「How to AI」作者 rubenhassid 用 Claude Code 加 GitHub 搭建周刊写作流水线，服务 994,381 名订阅者；最新一期 Claude Opus 起草 2303 词，他逐字保留 438 词。
AGI HuntOpenAI 称两个月解决 100+ 数学难题，700+ 结果已发布在 GitHub
OpenAI 宣称在两个月内解决了 100+ 个长期悬而未决的数学问题，700+ 条数学结果已发布在 GitHub。汇总中的具体宣称包括 Navier–Stokes 完整解、黎曼假设准证明、Yang–Mills 存在性证明（质量间隙仍开放）以及 P vs NP 的 ETH 反证等。这些宣称尚未经数学界同行评议验证，其实际含金量有待专家审查。
AGI HuntEntelligence 用 AgentPlay 实测 1500 次编码 agent 会话，17% 花费浪费在重试与烂尾上
Entelligence 团队用开源工具 AgentPlay 分析自家 Claude Code 和 Codex 的真实会话日志，得出 17% 的花费花在重读、重试和被放弃的工作上。
快讯
- Anthropic 收购一人生物科技公司 Mithril Medicine，创始人用 Claude 协调 11 家实验室AGI Hunt
- 微软向约 6 万名员工发出自愿离职邀约，覆盖近 27% 员工AGI Hunt
- 作者撰文解析 Anthropic IPO 为何是华尔街与 AI 商业模式的分水岭AGI Hunt
- LiteLLM 发布管道遭劫持，1.107.0 投毒版本窃取云凭证AGI Hunt
- Anthropic 招股书拆解：收入按年续签，算力 take-or-pay 承诺锁至 2030 年后AGI Hunt
- Anthropic 上半年净亏损 807 亿美元，投资人批评媒体误读该数字AGI Hunt
- Amazon、Meta、Alphabet、Oracle 年内发债超 2280 亿美元，是 2024 全年的近 14 倍AGI Hunt
- kesarito 分享 npm 供应链加固配置与完整 prompt，覆盖 npm/pnpm/yarn/bunAGI Hunt
- 为 IBM Sterling WMS 落地 AI Agent 的 8 条踩坑经验AGI Hunt
- Runlayer 工程师拆解 60 人公司每天跑 300 个 Agent 的翻车现场AGI Hunt
- 开发者自评用 AI 提速 20%，实测却慢了 19%Towards Data Science
- xiaohu 基于 NYU/UT Austin 论文提出改善大模型文风的提示词技巧AGI Hunt