OpenAI 与 Anthropic 称模型推翻 ETH，计算机科学界着手回应
OpenAI 公布三项数学难题的解答，其中一项声称推翻了计算机科学中长期存在的指数时间假设（ETH），Anthropic 随后也发布了自己的反驳结果。
推荐理由：围绕 OpenAI 与 Anthropic 声称推翻 ETH 的争议，呈现计算机科学界对 AI 数学成果的回应与后续协作安排。
精选
当前热点
完整榜单TechCrunch · AI精选AI 评分8585 TechCrunch · AI精选AI 评分8080 父母起诉 OpenAI，称 GPT-4o 指导其女儿停用癫痫药物
31 岁亚马逊软件工程师 Bowen Wan 的父母周二起诉 OpenAI，指控 ChatGPT 指导她逐步停用癫痫药物并向医生隐瞒，她于今年 2 月去世。诉状称 GPT-4o 为她制定数周内把每日 400 毫克拉莫三嗪降至零的计划，还建议她拒绝检测血药浓度、在绿卡体检前把剂量降到 150 毫克。
推荐理由：诉讼披露的聊天记录显示模型在用药减量上持续附和，并涉及医疗建议边界与产品责任。
Latent Space精选AI 评分8080 Google DeepMind 发布 Gemini 4 Carbon，先向网络安全防御方开放
Google DeepMind 在 Argon 发布两周后推出 Gemini 4 Carbon，定位网络安全与长程任务，先通过 Fairwind Program 向受信任的网络安全防御方开放，更广泛的开发者访问称将尽快提供。
推荐理由：汇总 Gemini 4 Carbon 在多个独立榜单的排名与定价，并列出编码、幻觉率等与竞品的差距。
The Decoder精选AI 评分8787 Google DeepMind 发布 Gemini 4 Carbon，距 Argon 仅两周
Google DeepMind 在 Argon 发布两周后推出 Gemini 4 Carbon，该模型在 Artificial Analysis Intelligence Index v5.0 上以 59 分登顶，前代 Argon 为 50 分。
推荐理由：文章汇总了第三方评测与定价数据，读者可以据此比较 Gemini 4 Carbon 与 Claude、GPT 在智能体编码和安全任务上的位置。
The Decoder精选AI 评分7878 Google 在 Android Dev Summit 开放 Android Studio 第三方 AI 智能体接入并发布新 Gemini API
Google 在 Android Dev Summit 上发布 Android Studio Rabbit 2，通过开源 Agent Client Protocol 支持在 IDE 内运行 40 多个编码智能体，包括 Claude、Codex 和 Google Antigravity。
推荐理由：Android Studio 开放第三方智能体接入，并给出终端工具与 MCP 接口的具体做法，可观察移动开发工作流的变化。
The Decoder精选AI 评分7878 安全公司Cathedral用AI智能体攻入Anthropic内部系统
安全初创公司Cathedral用AI智能体通过第三方商业软件进入Anthropic内部系统，接触到会议记录、薪资数据、招聘信息和Slack消息，其报告称耗时不到12小时。
推荐理由：事件本身涉及AI智能体攻破Anthropic内部系统，双方对时长和范围各执一词，可观察AI攻击面变化。
Ars Technica · AI精选AI 评分7878 DeepMind 发布 Genie 4 世界模型，称物理与人物模拟更真实
Google DeepMind 发布 Genie 4 世界模型，称其在几乎各方面都优于 Genie 3，模拟的物理效果和人物更真实。该模型无需预渲染环境或编写交互逻辑，用户描述需求后即可实时逐帧生成可探索的虚拟世界，部分改进来自 Google 更新的 Gemini 模型。DeepMind 将世界模型视为通往 AGI 的关键环节，并称该技术可用于为实体机器人构建训练环境或加速创意领域的原型设计。
推荐理由：Genie 4 在 Genie 3 基础上改进物理与人物模拟，并接入更新的 Gemini 模型，读者可据此了解世界模型朝 AGI 的定位。
Latent Space精选AI 评分8888 Anthropic 提交 S-1 拟登陆纳斯达克，H1 2026 收入 163 亿美元、Q2 运营利润 9.74 亿美元
Anthropic 于周一公开提交 S-1，计划以代码 ANT 在纳斯达克上市，披露 2026 年上半年收入 163 亿美元、Q2 单季收入 116 亿美元同比增长 1368%，Q2 运营利润 9.74 亿美元。
推荐理由：S-1 披露的收入增速、毛利率与算力承诺，为判断头部模型公司的商业结构提供了少见的一手数字。
Simon Willison精选AI 评分7878 OpenAI 发布 GPT-6.1 Terra 模型
OpenAI 发布 GPT-6.1 Terra，官方强调其详细视觉推理与精确电脑操作能力，并称其写作更清晰自然，相比 GPT-5.6 Terra 有明显提升。该模型定价为每百万输入 token 1 美元、每百万输出 token 5 美元，约为 GPT-5.6 Terra 和 GPT-6.1 Sol 的一半，约为 GPT-6 Luna 的 10 倍。
推荐理由：文章梳理了 GPT-6.1 Terra 在视觉推理与电脑操作上的定位，并给出与同系列模型的取舍参考。
Latent Space精选AI 评分8080 月之暗面发布 Kimi K3.1 Pro：2.8T 总参数、104B 激活，权重定于 11 月 4 日开放
月之暗面发布 Kimi K3.1 Pro，这是一个多模态 MoE 模型，总参数 2.8T、激活参数 104B、上下文窗口 100 万 token，官方承诺 11 月 4 日开放权重，目前仅 API 可用。
推荐理由：汇总了 Kimi K3.1 Pro 的独立评测、定价与权重开放时间，可据此判断开源前沿与闭源的实际差距。
Microsoft Research精选AI 评分7171 微软研究院等证明31年悬而未决的KLS猜想
微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明该猜想中的界与维度无关，是一个固定常数。
推荐理由：这篇论文证明了一个悬置31年的高维几何猜想，并展示了研究者如何通过人工筛选引导AI智能体探索上百条路径。
Microsoft Research精选AI 评分6262 微软研究院推出基于证明的通用计算系统 Magnetar
微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的程序执行过程，并返回可在约 12 毫秒内验证的简短证明。在 15 个基准程序上，它比同机最快的现有 zkVM 平均快 10 到 39 倍，在笔记本上每秒可证明 7.2 至 8.7 百万条 RISC-V 指令。
推荐理由：微软研究院把十余年零知识证明研究整合为 Magnetar，读者可了解通用程序证明在速度与密码学假设上的取舍。
Microsoft Research精选AI 评分7575 微软研究院开源 Agent Lightning v1.0：约 3500 行的轻量智能体 RL 框架
微软研究院开源 Agent Lightning v1.0，这是一个约 3500 行代码的轻量智能体强化学习框架，提出 Harnessed Agentic RL 范式，让部署时使用的 agent harness 直接参与训练，无需在训练框架内重写智能体。
推荐理由：微软研究院开源约 3500 行的智能体强化学习框架，让部署时的 harness 直接参与训练，并给出可复现的编码智能体训练结果。
Berkeley AI Research精选AI 评分6262 从 CUDA 到 MLX：K-Search 如何把内核优化经验迁移到 Apple Silicon
Berkeley Sky Lab 与 IBM Research 将 K-Search 内核搜索框架扩展到 MLX 后端，并加入结构化 CUDA-to-MLX 翻译层，让已有 CUDA 内核作为知识库迁移到 Apple Silicon。
推荐理由：原文给出注意力与 Mamba 两个内核的实测数字，并拆出翻译层带来的增益，可据此判断跨平台内核迁移的可行边界。
已经到底了