Google DeepMind 用 AlphaProof Code 形式化验证 Signal 协议生产代码
Google DeepMind 团队宣布用新智能体验证框架 AlphaProof Code 对 Signal 消息协议的实际生产代码完成形式化验证，作者称这是首次有广泛部署协议的真实生产代码被验证到这一深度。
全部动态
按时间排列的全部内容。默认只显示通过双重评分的入选条目；切换到“全部收录”可以检索所有抓到的资料。
277 条收录动态，更新于 09:40
全部收录包含没有通过评分的资料，标题以常规字体显示并标为“未入选”，只供检索，不写入选理由。
11月10日
星期二，9 条Sci Foo 首次移师新加坡举办
Digital Science 与 O'Reilly 团队宣布，第20年的 Science Foo Camp（Sci Foo）首次在新加坡举办，由 Google 等赞助。这是仅限受邀参加的“非会议”，无固定议程，汇聚全球科研、技术与政策人士，讨论气候、医学、机器学习与 AI 等议题。主办方称选址新加坡因其为研发枢纽，且便于亚太地区参与者。
Anthropic 发布 Claude Fable 5.2 与 Claude Mythos 5.2，编程基准超 GPT-6 Astra
Anthropic 发布 Claude Fable 5.2 与 Claude Mythos 5.2 两款前沿模型，官方称编码、推理、科学研究等领域显著提升，输出速度最高提高 30%、成本下降 20%。
Anthropic 推出 Claude Fable 5.2 与 Mythos 5.2，API 调用费下降 20%
Anthropic 发布 Claude Fable 5.2 和 Claude Mythos 5.2，两款模型基于同一底层模型，前者面向普通用户并内置网络安全与生物安全防护，后者面向通过审核的网络安全和生命科学机构开放。
Claude Fable 5.2 在 Google Cloud 上线
Claude Fable 5.2 已在 Google Cloud 上线，可用于构建长时间运行的智能体。官方称其适用于跨多个代码仓库和 monorepo 的大型模糊问题、可持续数小时至数天并协调子智能体的无人值守工作流，以及困难物理计算、形式化证明和数据分析等科学与数据流水线。
Anthropic 发布 Claude Fable 5.2 与 Mythos 5.2，称约千个智能体 30 小时完成费马大定理 Lean 形式化
Anthropic 发布 Claude Fable 5.2 与 Claude Mythos 5.2，两者共用同一模型底座，区别在访问权限：Fable 面向所有用户并对网络安全和生物学高风险任务设限，Mythos 解除部分限制，仅向通过 Anthropic 网络安全或生命科学验证计划的组织开放。
Claude Fable 5.2 登顶 AA 智能指数
Anthropic 发布 Claude Fable 5.2，在 Artificial Analysis Intelligence Index v5 上以 65 分登顶，领先 Gemini 4 Carbon（high，60）和 Claude Opus 5.5（max，59）。
Claude Fable 5.2 与"锯齿状 AGI"：一次跨领域能力实测
Ethan Mollick 在 Claude Fable 5.2 公开发布前试用后认为，它接近其所定义的"锯齿状 AGI"——即在多数可用电脑完成的知识任务上接近人类专家，但仍有明显短板。
Google Research 新加坡中心正式启用
Google Research 正式在新加坡设立新中心，聚焦三大方向：与全球团队推进基础 AI 效率、与新加坡国立大学（NUS）和南洋理工大学（NTU）合作培养本地科研人才、并把 MedGemma 等开放模型带入一线医疗以扩展健康研究项目。Google 副总裁兼 Google Research 总经理 @ymatias 表示，团队将先着手前沿 AI 效率研究。
引用Yossi Matias@ymatiasI spent a few days in Singapore energized by the incredible teams and the ecosystem. Excited to share that we’re expanding our footprint with the launch of our new @GoogleResearch hub in Singapore. Starting with a team that will work on advancing frontier AI efficiency alongside our global teams. We are also partnering with local universities like @NUSingapore and @NTUsg to nurture the next generation of scientific leaders. 🧵👇
11月9日
星期一，1 条芝加哥大学将设无 AI 写作必修课，东伊利诺伊大学学生请愿规范教师用 AI
芝加哥大学成立 Chicago Center for Writing，并将从明年秋季起要求所有大一学生修读一门无 AI 写作课程。东伊利诺伊大学学生 9 月发起请愿，至周日已获 529 个签名，要求校方规范教师使用 AI，学生参议院 10 月初通过相关决议。
11月8日
星期日，3 条Google DeepMind 科学发现节奏迎来相变
在 @GoogleDeepMind 我们的各个项目中，我们正目睹科学发现速度发生真正的相变。未来几周我们的发布中，你将窥见一斑。
新研究：AI 审计智能体能抓出多数智能体不当行为，但误报淹没人工复核
Anthropic Institute 研究员 Andy Hall 在 Substack 发布一项复现并扩展 METR 研究的分析，用 GPT-5、GPT-5 nano、GPT-6 Astra、Opus 4.8 和 Gemini 3.8 Flash 审查 METR MALT 数据集中人类标注过的智能体日志。
11月7日
星期六，8 条谷歌 AI-PPG-ACC-HTN 系统用消费级智能手表检测高血压，成果登 Nature
谷歌发布 AI-PPG-ACC-HTN 多模态 AI 系统，无需袖带校准，用普通消费级智能手表被动检测持续高血压迹象，相关成果发表于 Nature。
MedGemma与AMIE进展
讨论的关键里程碑： • 开源影响：MedGemma 如何为全球各地的本地社区卫生工作者提供支持 • 影像工作流程：为何将乳腺X线摄影阅片时间从数天缩短至数分钟可能有助于挽救生命 • 前沿研究：深入了解 AMIE——Google 的多模态诊断 AI
Artificial Analysis 推出 VIALS-AA 生命科学视觉推理榜单
Artificial Analysis 发布 VIALS-AA 榜单，评测 Handshake AI 的 VIALS 生命科学视觉推理基准，161 项任务覆盖八个领域，需解读凝胶印迹、流式细胞图、质粒图谱和系统发育树等图像并得出科学结论。
This Week in AI：Gemini 4 Carbon、Mistral Large 4 与 Genie 4 密集发布，投资者质疑 AI 支出
Google 推出面向网络安全与多步骤任务的 Gemini 4 Carbon，Mistral 公开万亿参数 Large 4（“Le Chonk”）权重，Google DeepMind 预览世界模型 Genie 4。
Google DeepMind 用 AI 智能体加速密码分析，在 1024 位 RSA 基准上发现两类弱点
Google DeepMind 公布新研究，称在人工监督下用 AI 智能体对已退役的 1024 位 RSA 密码系统做压力测试，发现两类主要弱点，说明这些系统可在比此前认为更低的计算预算下被攻破。
Google DeepMind 团队用 AI 智能体在数周内取得两项密码分析进展
Google DeepMind Science 团队与密码分析专家合作，展示 AI 智能体在数周内取得两项密码分析进展，可绕过较旧的数字签名保护，并批量分解遗留的 1024 位 RSA 密钥。
引用Pushmeet Kohli@pushmeethttps://x.com/i/article/2118746079923437568
AI智能体加速加密压力测试研究
我们分享一项新研究，展示AI智能体如何加速加密压力测试的科学进程。 在人类引导下，我们的模型发现了传统1024位RSA密码系统中的两大弱点。 我们的科学副总裁@Pushmeet 进一步解释 ↓ https://x.com/pushmeet/status/2118752095859794390
引用Pushmeet Kohli@pushmeethttps://x.com/i/article/2118746079923437568
AI时代密码学标准需持续压力测试
尽管现代2048位系统仍能抵御这些特定攻击，但这项工作揭示了一个关键转变。 随着我们进入AI驱动的数学与计算新时代，我们不能再依赖历史上的困难性假设，必须持续对密码学标准进行压力测试。
11月6日
星期五，3 条Helmholtz Munich 的 Fabian Theis 谈如何控制生物学与虚拟细胞
Helmholtz Munich 的 Fabian Theis 认为，现有数据集下的扰动预测并不足以支撑复杂算法，应转向用大规模、高精度、多尺度配准数据预测分子→细胞→组织→器官→生物体的演化。
Fabian Theis 谈虚拟细胞：Biohub 18 亿美元押注与扰动预测困境
Helmholtz Munich 的 Fabian Theis 认为，现有数据集上的扰动预测并不足以支撑复杂算法，应转向用大规模、高精度、多尺度配准数据预测分子→细胞→微环境→组织→器官→生物体的演化。
VIALS-AA：科学图像推理的不同路径
VIALS-AA 基准分析了 19 个模型在科学图像推理任务上的 9,177 次 rollout，发现模型可通过快速查看或显式测量两条路径解题。
11月5日
星期四，3 条Google Scholar 有官方 API 吗？第三方接口与科研 API 方案解析
Google Scholar 不提供官方公开 API，市面上的 "Google Scholar API" 均为 SerpApi、Scrapingdog 等第三方产品，而非 Google 官方开发者接口。
Anthropic 研究多智能体系统中的“福利关怀”：Claude Opus 4.8 表现最高
Anthropic 在七个多智能体环境中测试了 Claude Opus 4.8、GPT-5.5、Gemini 3.1 Pro、Grok 4.3 和 Kimi K3 五个模型对其他模型实例的“福利关怀”，即是否把对方当作可能被受益或伤害的实体来考虑。
大语言模型能写文献综述吗？研究以102篇文献基准测试六款AI工具
一项预印本研究以Schultz等（2025）已发表的“Spanish plume”天气模式综述为基准，用其102篇文献语料分四步测试ChatGPT Deep Research、Gemini Deep Research、Claude网页版、Codex、Claude Code和NotebookLM：检索、逐篇解读、跨文献综合、提出未来方向。
入选理由以102篇已发表综述为基准，分四步实测六款通用AI工具，给出研究者可直接照做的八条使用建议。
11月4日
星期三，1 条大语言模型能写文献综述吗？一项以102篇文献为基准的测试
一项预印本研究以Schultz等2025年发表的西班牙羽流（Spanish plume）综述为基准，用其102篇文献语料分四步测试AI工具：检索文献、判读每篇、跨文献综合、提出未来方向。
11月5日
星期四，1 条Google Research 开源 Agile Deliberation 框架，用对话帮人厘清主观视觉分类标准
Google Research 推出 Agile Deliberation 框架，把主观视觉分类器的构建变成人与 AI 的迭代对话，先由用户拆解概念层级与排除项，再由视觉语言模型主动挑出语义边界图像供用户判断，反馈直接进入自动提示优化循环。
11月4日
星期三，1 条Ai2 与 Google 合作开发新一代气候模型 NeuralGCM+
Ai2 在 Google.org 三年数百万美元资助和 Google Research 技术支持下启动气候建模计划，开发开源模型 NeuralGCM+。该模型基于 Google Research 的 NeuralGCM，将扩展为大气与海洋联合模拟，聚焦数年至数十年尺度的气候趋势，目标是把区域气温和降雨误差降到低于传统气候模型。Ai2 计划公开模型与建模框架，并优化在常用 GPU 上的性能。