跳到正文
11月10日周二
  1. The Verge · AI71

    英伟达 CEO 黄仁勋承认与 Megaspeed 高管 Alice Huang 有婚外情,公司启动调查

    英伟达 CEO 黄仁勋承认与 Megaspeed 高管 Alice Huang 存在婚外情,英伟达已就此展开调查。此前有报道称,美国情报报告自去年起认定 Alice Huang 为中国国家安全部间谍,她同时是一家租用英伟达 GPU 的 AI 算力公司高管。英伟达与黄仁勋表示没有理由认为国家安全或英伟达机密受到损害,但调查仍在继续。

  2. AWS Machine Learning Blog78

    AWS 上线 Claude Fable 5.2 与 Claude Mythos 5.2

    AWS 宣布 Claude Fable 5.2 和 Claude Mythos 5.2 在 Amazon Bedrock 与 Claude Platform on AWS 上可用,其中 Fable 5.2 面向编码、数学与科研等技术工作,Mythos 5.2 仅通过 Anthropic 的验证计划开放网络安全与生命科学场景。

    推荐理由:原文交代了两款模型在 Amazon Bedrock 的上线范围、数据保留要求与迁移方式,可据此判断接入成本。

  3. AWS Machine Learning Blog40

    基于 Amazon Bedrock AgentCore 的可插拔智能体 AI 框架:七层可组合企业级参考架构

    AWS 提出 Pluggable Agentic AI Framework,一套在 Amazon Bedrock AgentCore 上运行、面向多智能体应用的七层可组合参考架构,覆盖数据与知识、模型与推理、编排、安全与护栏等层。各层通过稳定契约解耦,模型路由可借助 LiteLLM 在供应商间切换,专家智能体经 MCP 与 A2A 协议由集中注册表发现和调用。

  4. The Decoder71

    字节跳动发布 Seedream 5.5 图像生成模型,称支持 100 轮编辑无色彩漂移

    字节跳动 Seed 团队发布面向专业生产流程的图像生成模型 Seedream 5.5,官方称其支持最多 100 轮多轮编辑,未改动区域保持像素级一致且无色彩偏移。该模型可原生生成带透明背景的 RGBA 图像,无需手动抠图即可作为设计素材,并称在光照、材质和皮肤质感以及密集小文字还原上更真实准确。Seedream 5.5 正通过即梦、豆包、豆包 Work 和火山方舟逐步开放,Pro 版本已在计划中。

11月9日周一
  1. Latent Space42

    斯坦福如何教授 AI 原生工程:Mihail Eric 谈 CS146S 课程与 Monaco 的智能体实践

    斯坦福 CS146S 课程在第二期引入开源维护者参与教学,学生需学习陌生代码库、提出修改并向可能合并代码的维护者解释补丁。授课人 Mihail Eric 同时负责 Monaco 的 AI 工作,他展示了 Monaco 自建智能体工作区、外购代码审查工具,并让 on-call 智能体接入 Datadog 和 GitHub。他提出"买来学习、自建保留"的工具取舍原则。

11月7日周六
11月6日周五
  1. Ars Technica · AI42

    Google 澄清 K-12 学校 AI 政策:可不用 Gemini 但搜索须随 AI 一并开启

    Google 澄清其 K-12 学校 AI 新政策:使用 Google 应用的学校需主动选择启用 AI 产品,搜索被归入 Gemini、Gemini Notebook、Gemini in Classroom 与 Search 组成的 AI 产品组合,因此登录的学生账号须单独开启搜索。Google 教育副总裁称,是否关闭搜索由学校依据自身 AI 政策决定,而非 Google 单方面切断。

  2. Microsoft Research60

    微软研究院用 PDD Kit 形式化验证智能体编写的全栈 Web 应用

    微软研究院联合 GitHub Next 发布研究原型 PDD Kit,把用户意图转成 Verus 形式化规范,再证明编码智能体生成的代码对每个输入都满足该规范,证明覆盖不到的部分回退到测试。

    推荐理由:微软研究院与 GitHub Next 合作的研究原型,展示如何把智能体生成的代码从逐行审查转向意图审查加形式化证明。

11月5日周四
11月4日周三
11月3日周二
10月30日周五
10月29日周四
10月28日周三
  1. Google DeepMind82

    Google DeepMind 发布世界模型 Genie 4

    Google DeepMind 发布世界模型 Genie 4,可实时生成带原生音频的交互式模拟世界,并以研究预览形式向可信测试者开放。Genie 4 支持用自然语言实时修改天气、镜头和场景元素,能模拟空气动力学、碰撞等物理场景以及人物动作与对话。

    推荐理由:官方说明了 Genie 4 的原生音频、实时可控与 Gemini 协同推理,读者可据此判断世界模型当前的能力边界。

10月23日周五
  1. Microsoft Research58

    微软研究院发布 Flint-interactive,让智能体生成可交互数据可视化

    微软研究院发布 Flint-interactive,一种构建在 Flint 之上的交互式数据可视化语言,让智能体生成可点击、筛选、缩放和跨图表联动的图表。它把点击、拖拽等原始触发解析为语义事件,用户只需用高层算子描述更新行为,布局与渲染依赖由 Flint 编译器处理。

10月22日周四
  1. Microsoft Research71

    微软研究院等证明31年未解的KLS猜想

    微软研究院张新志等研究者证明了1995年提出的KLS猜想,确认对一大类高维概率分布,最佳平面切割与任意形状最佳切割的效果差距不超过一个与维度无关的固定常数。作者在人类主导的智能体搜索流程中探索了100多条候选路径,由研究者筛选和调整方向,最终通过反复递归应用新判据完成证明;同期另有独立团队给出完整证明,并有Lean 4形式化验证。该结果使此前依赖该猜想作为假设的结论可以无条件成立。

    推荐理由:这篇论文用人类主导的智能体搜索证明了一个悬置31年的几何猜想,读者可据此了解人机协作做数学研究的实际分工。

10月16日周五
  1. Microsoft Research60

    微软研究院推出 Magnetar:基于标准哈希函数的通用零知识证明系统

    微软研究院发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的程序执行过程,并输出可在约 12 毫秒内验证的简短证明。它在笔记本上每秒可证明 720 万至 870 万条 RISC-V 指令,在 15 个基准程序上平均比同类最快 zkVM 快 10 至 39 倍,优化版本可达每秒 950 万至 1280 万周期。

    推荐理由:微软研究院把十余年零知识证明成果整合为 Magnetar,读者可了解通用程序证明在速度与密码学假设上的取舍。

10月13日周二
10月8日周四