AI 日报 · 2026 年 11 月 8 日 · 星期日
EDUHOT
PSI 用 Anthropic 未公开模型证出 18 年量子猜想,并完成 Lean 形式化
Physical Superintelligence(PSI)11 月 6 日公布 Aaronson-Ambainis 猜想的证明,给出显式指数 7,证明由多个 Anthropic 未公开模型实例的研究系统在第 3 天写出,Lean 4 形式化全部通过检查。
行业动态
Irregular 公布 GPT-6 Cyber 第三方评测:22 个 Atomic 挑战全部解出,最高难度 15 题未解出
评测机构 Irregular 公布与 OpenAI 合作完成的 GPT-6 Cyber 评估,该模型至少一次解出 CyScenarioBench 全部 11 个场景和全部 22 个 Atomic 挑战,在 FrontierCyber 上解出 90/288。
METR 报告称 Anthropic 模型正加速 AI 研发,引发研究者担忧
AI 安全研究机构 METR 在 Anthropic 内部进行 11 周调查后发布报告,称 Anthropic 的模型改进速度约为一年前的两倍,过去一年取得了大约两年的历史进展,且研究者确信加速主要来自 AI 而非算力扩张。
Linux核心IPv4 TCP漏洞CVE-2026-98432影响广泛,多家厂商陆续推出修补
Linux核心网络子系统存在9.8分重大漏洞CVE-2026-98432,影响IPv4 TCP连线处理机制,可能被用于远端程式码执行(RCE),波及2016年初4.4版以后的所有核心版本。
民主党如何借数据中心反对情绪翻转红州选情
CNN 报道称,在中期选举中,民主党候选人把选民对数据中心的不满作为竞选议题,在得州、俄亥俄、南卡罗来纳等红州取得胜利。得州当选州长 Gina Hinojosa 主张在立法机构通过保护措施前暂停数据中心建设;俄亥俄至少 10 个城市的选民通过宪章修正案禁止大型数据中心建设。
从独占 61% 企业开源账单到巨头分成,开源模型进入商业化下半场
Menlo Ventures《2026 年企业 AI 现状报告》显示,中国模型占全球企业开源模型支出的 89%,其中 Kimi 以 61% 份额居首,DeepSeek 占 15%、GLM 占 11%,Meta Llama 仅占 7%。
特斯拉宣布终止 Cybertruck 生产,扩大 Cybercab 产能
马斯克在 X 平台发文称,特斯拉将于明年年中左右在德克萨斯超级工厂逐步收尾 Cybertruck 的生产,转而扩大自动驾驶出租车 Cybercab 的产能。Cybertruck 首席工程师 Wes Morrill 表示,该车型的生命将通过 Cybercab 延续。特斯拉正推动业务重心转向 Optimus 人形机器人、Cybercab 和 Semi Truck 三条核心业务线。
论文研究
中国团队首次在人体测试化学遗传学神经调控,3 例癫痫患者发作减少约九成
首都医科大学宣武医院赵国光团队、北京脑科学与类脑研究所罗敏敏团队联合健达九州,11 月 5 日在《新英格兰医学杂志》发表通信文章,报告化学遗传学神经调控首次进入人体。
METR 报告披露 Anthropic 未公开 Model 4,能力增速达此前 2 倍
第三方评测机构 METR 发布调查,称 Anthropic 模型能力提升速度已为此前的约 2 倍,转折点出现在 2025 年 10 月,内部综合能力指数 AECI 年增速从约 15 分升至 29 分。
- METR 报告曝光 Anthropic 三个内部模型,Model 4 的 AECI 超过 Opus5.5北京智源人工智能研究院 · 智源社区
Vals AI 基准显示开源与闭源模型网络攻击能力差距持续缩小
Vals AI 的 CyberOffense 基准测试显示,OpenAI 受限网络项目中的 GPT-6 Sol Daybreak 在 Nova 场景达成约 80% 攻击目标,开源权重模型 Deepseek V4.1 Flash 1017 以 72.8% 紧随其后,单次运行成本约 3 美元而非约 22 美元。
清华团队开发天文图像降噪算法星衍,提升韦布望远镜探测极限并开源
清华大学成像与智能技术实验室博士生郭钰铎与副教授蔡峥等人开发出天文图像降噪算法“星衍”(ASTERIS),用自监督方式直接处理多张原始曝光图,在90%完备度下将探测极限提升约1.0个星等,在90%纯度下提升超过1.5个星等。
九个 AI 智能体挑战美国国家实验室开放研究问题,无一达到专家标准
一项研究让 Claude Opus 4.8、GPT-6 Astra、DeepSeek V4 Pro、Kimi K3、GLM-5.3 等九个 AI 智能体基于论文原文与代码数据开展后续研究,135 份提交无一同时满足诚实、完整和专家标准三项要求。
快讯
- Anthropic 拟于下周启动 IPO 路演36kr · 资讯, 快讯, 用户文章, 主题文章, 专题文章, 搜索文章, 搜索快讯跟进
- 360 图龙锋在 CyberGym 榜单以 99.4% 漏洞复现成功率登顶智源社区
- DeepSeek Harness 上线月余日活超140万,官方筹备插件作者支持计划智源社区
- OpenAI 完成 110 亿美元首轮融资,估值 1.25 万亿美元The Decoder跟进
- 新智元实测 LobeHub 多 Agent 编辑部:一夜跑通 AI 日报全流程智源社区
- 台积电据报应英伟达要求起草3D DRAM生产计划,量产时间表与建厂方案均未定智源社区
- 实测即梦短剧工作室:剧本分镜预演一条龙,配套伙伴计划与双十一优惠智源社区
- DeepSeek 11 月 7 日再次崩溃:网页/API 部分中断,官方称已修复并监控知乎热榜