跳到正文
今天11月8日周日8 条
  1. Google AI · DEV 作者专属69

    微软解散 AI Frontiers 研究组,创始人 John Langford 离职

    微软 AI Frontiers 研究组已解散,创始人 John Langford 于 11 月 6 日宣布离职。约 50 人团队早在 9 月初并入 Microsoft AI,Langford 称研究导向与规模化导向无法兼容。该组曾开发开源多智能体框架 AutoGen 和计算机使用智能体 Fara;AutoGen 仓库已声明微软不再提供缺陷修复、安全修复或支持,依赖方需按支持已终止来做规划。

  2. Google AI · DEV 作者专属48

    构建实时 AI 抑郁检测器:隐私优先指南

    用 FastAPI、OpenAI GPT-4 和 Azure Text Analytics 可搭建隐私优先的实时抑郁检测聊天机器人。研究显示治疗型聊天机器人八周最多可减轻 30% 抑郁症状,结合可穿戴设备 HRV 可将检测特异性提升至 0.86。方案遵循 HIPAA/GDPR,采用 AES-256 与 TLS 1.3 加密,GPT-4 可换用 Anthropic 或 Google PaLM。

  3. IT之家·人工智能69

    欧洲多地爆发抗议,民众要求暂停 AI 数据中心建设

    据彭博社等媒体报道,欧洲多地周六继续爆发反对数据中心建设的抗议,都柏林约 2000 人游行,赫尔辛基约 1300 人聚集并游行至谷歌办公地点。抗议联盟“停止肮脏数据中心”要求在公众通过民主程序作出决定前暂停建设,此前阿姆斯特丹数百名抗议者还与警方在微软一处数据中心发生冲突,一人被捕。

  4. Google AI · DEV 作者专属48

    软件工程中的真实 AI 用例:用 Microsoft Copilot 将 80,000 条 Excel 记录导入 SQL Server

    作者用 Microsoft Copilot 将约 80,000 条 Excel 记录导入 SQL Server,按每批最多 1,000 条生成约 80 个 INSERT 脚本,脚本生成与 UAT 验证约一小时完成。因单次请求超出 Copilot 处理上限,作者按 "Type" 列的 17 个唯一值分组排序并分批下达带明确技术约束的提示词。其经验是拆解大任务、先定约束并逐一验证 AI 生成结果。

  5. Google AI · DEV 作者专属53

    从答案到订单:解析 AI 推荐经济的执行层架构

    作者提出AI购物"执行层"概念,梳理从 AI 推荐到可执行订单之间的接口、授权、信任与支付机制,并比较 OpenAI 与 Stripe 的 Instant Checkout 及 ACP、Google 的 UCP、Microsoft Copilot Checkout、Perplexity 与 PayPal 的对话式支付路径、Amazon Buy for Me 的代理代购和 Visa 的 Trusted Agent Protocol。文章区分推荐、可执行、选中、完成四个不可合并的状态,主张连接各环节度量而不合并分母,并指出开放的商业协议不等于开放的推荐治理,广告内容也需要单独分类。

11月7日周六
  1. IT之家·人工智能64

    消息称微软不再续签甲骨文 AI 算力租赁协议,并重新评估超 800 亿美元云合作

    据彭博社报道,微软已决定不再续签与甲骨文的 AI 算力租赁协议,并开始关闭部分租用的计算资源,这是其重新评估超 800 亿美元外部云合作的一部分。报道称甲骨文服务器使用较早一代英伟达 GPU,逐渐无法满足微软变化的技术规格,甲骨文回应 AI 基础设施需求依然强劲,微软拒绝置评。

11月6日周五
  1. Microsoft Research61

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

    微软研究院发布 PDD Kit,把开发者意图转成 Verus 形式化规范,对每个输入验证智能体所写代码,证明覆盖不到处以测试兜底。团队在 GitHub Next 的 Chopin 中用它验证了约 5,000 行 Rust 全栈应用 Pet Store 的登录逻辑,开发者只审查意图产物而未逐行阅读生成代码,pdd-ship 还会把 Verus 检查加入 CI。

    推荐理由:原文展示把代码审查重心从逐行阅读转向意图规范的方法,以形式化验证和边界测试守住智能体的实现约定。

11月5日周四
  1. a16z · News76

    a16z 撰文分析 AI 让漏洞利用变得廉价,并预测新一轮蠕虫时代

    a16z 撰文分析称,AI 已把漏洞利用从熟练攻击者数月的工作压缩到几小时的机器时间,而补丁修复速度没有同步加快,小机构无法再靠不起眼而幸免。文中举例,8月最后一天一名操作者用数百个 AI 智能体在4小时内攻入第一个真实目标,随后26秒内攻陷11个组织,GreyNoise 最终统计395个组织在48个国家被攻破,其中一半是学校,所用的是廉价的开放权重模型。

    推荐理由:文章用23年漏洞利用数据说明攻击成本下降的幅度,并给出两年内可公开核查的指标,便于读者自行判断趋势走向。

11月4日周三
  1. Ed Zitron 长文 / Where’s Your Ed At78

    Ed Zitron 剖析 AI 资金池见底:OpenAI 融资缩水与 Anthropic 近万亿美元支出承诺

    Ed Zitron 撰文论证 AI 行业资金池正在见底,关键证据是 OpenAI 上周仅以 1.25 万亿美元估值融资 110 亿美元,低于此前传闻的 1.4 至 1.5 万亿美元目标,而其 2026 年 Q1 收入成本加研发开支已达 121 亿美元。

    推荐理由:原文逐项拆解 OpenAI 融资缩水与 Anthropic 修订版 S-1 的成本承诺,读者可以据此核对两大实验室资金链的真实压力。

11月3日周二
10月31日周六
10月29日周四
  1. Azeem Azhar · Exponential View74

    微软向约6万名员工提供自愿离职,分析师解读其在为机器腾空间

    微软本周向美国、英国、加拿大和印度的约 6 万名员工提供自愿离职,约占其 22.3 万名员工的 27%,副总裁级别也在覆盖范围内。作者否定了为 AI 数据中心开支腾钱(资本开支将达 1700 亿美元,五年前为 230 亿美元)、智能体替代人手和疫情冗员等流行解释,指出营收增速已连续四年快于员工数增长,截至 6 月的一年差距达 20%,为有记录以来最大。

  2. Microsoft · Official Blog65

    Microsoft 推出 Copilot harness,可通过 Foundry 托管构建多模型智能体

    Microsoft 宣布将 GitHub 工程团队打造的 Copilot harness 通过 Microsoft Foundry 开放,开发者与企业客户可用全托管方式构建能推理、调用工具并完成复杂长任务的智能体。

    推荐理由:原文解释了多模型编排层为何难以自建与维护,开发者可据此评估改用托管 harness 来聚焦上层应用的取舍。

10月28日周三
10月27日周二
10月24日周六
  1. Azeem Azhar · Exponential View67

    Azeem Azhar 分析 AI 智能体攻击浪潮,称互联网将变得更安全也更封闭

    Azeem Azhar 发文警告 AI 智能体攻击正在互联网上快速蔓延,并判断这一波冲击过后互联网将变得更安全也更封闭。文中列举支撑约 70% 网站的 PHP 爆出 PHP2Shell 漏洞,并引微软报告称某中国组织用开源智能体集群在不到 3 小时内控制云账户,每分钟发起 2,900 次登录尝试、覆盖超过 2,250 个组织。

10月23日周五
  1. Microsoft Research56

    Microsoft Research 发布 Flint-interactive 交互式数据可视化语言

    Microsoft Research 推出 Flint-interactive,一种基于 Flint 的交互式数据可视化语言,让用户和 AI 智能体通过高级语义事件和更新算子定义点击、筛选、缩放、高亮和跨图联动等交互。编译器负责处理交互逻辑与视觉依赖,降低布局、渲染和调试成本,并支持通过 Flint-MCP 在聊天环境中生成交互图表,也可用于构建仪表盘和数据故事。

10月22日周四
  1. Microsoft Research78

    Microsoft Research 证明悬置 31 年的数学难题 KLS 猜想

    Microsoft Research 研究员 Xinzhi Zhang 与 Zhao Song 证明了 1995 年提出的 KLS 猜想,表明对数凸分布中最优平面切割与任意形状切割的差距不超过与维数无关的通用常数。

    推荐理由:原文讲清了证明如何通过递归精化消除维度依赖,同日出现的独立证明和随后的 Lean 4 形式化让结果不依赖单一推理链。

10月21日周三
10月20日周二
10月19日周一
  1. Microsoft · Official Blog44

    Microsoft:如何保障企业内部智能体的安全

    Microsoft 指出,企业内部智能体常被过度授权,不能因来自内部就默认可信,需要 24/7 持续监控。7 月宣布的 Project Perception 可约束这类智能体:为其分配身份与权限、动态计算风险,并由 Guardian Agents 监督每项操作。思维链等模型透明化不会取代遏制,但会让遏制更智能、更强。

10月16日周五
  1. Microsoft Research62

    Microsoft Research 发布零知识虚拟机 Magnetar,比现有最快 zkVM 平均快 10 到 39 倍

    Microsoft Research 发布零知识虚拟机 Magnetar,可直接证明 Rust、Go 或 C 程序的执行,在 15 个基准程序上比现有最快 zkVM 平均快 10 到 39 倍。

    推荐理由:原文给出零知识证明在速度、通用性和安全性三方面的实测数据,读者可以据此了解可验证计算走向实用的程度。

10月15日周四
10月14日周三
10月12日周一
  1. Microsoft Source · AI59

    微软发布自研芯片 Maia 300,Azure Maia 系统将扩展至多吉瓦级部署

    微软发布最新自研芯片 Maia 300,并宣布将 Azure Maia 系统扩展至多吉瓦级部署。官方页面提供 Maia 300 架构深度解析视频,Scott Guthrie、Rani Borkar、Mustafa Suleyman 等高管分别介绍全栈 AI 优势、高效推理的系统方法与芯片模型协同设计。页面同时展示 Maia 300 服务器、系统、原型芯片与板卡图片,并提供行业分析师评论等延伸资源。

10月8日周四
10月6日周二
  1. Ed Zitron 长文 / Where’s Your Ed At64

    Ed Zitron 解析 AI 泡沫债务风险,称 OpenAI 与 Anthropic 上市后难筹每年 500 亿美元债务

    Ed Zitron 撰文分析 AI 泡沫债务风险,认为 OpenAI 与 Anthropic 上市后无法以可承受成本筹到每年至少 500 亿美元债务。文章称十年期美债收益率升破 5.3% 抬高各类借贷成本,Anthropic 已背 4130 亿美元不可取消算力合同,负 EBITDA 使两家公司几乎不可能获得投资级评级。