跳到正文
今天10月22日周四2 条
  1. Microsoft Research78

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

    微软研究院 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想,给出与维度无关的固定界,解决了高维几何与概率论中的核心开放问题。证明过程采用人类引导的智能体搜索,探索了约 100 条研究路径,由研究者筛选方向并验证结论;同期另有独立团队给出完整证明,并出现 Lean 4 形式化验证。作者称此前用多个前沿模型做无引导的端到端尝试未能达成目标。

    推荐理由:微软研究者用人类引导的智能体搜索证明 KLS 猜想,读者可看到人机协作在数学发现中的具体分工。

10月21日周三
  1. OpenAI News62

    OpenAI 模型将上线 Google Cloud 的 Gemini Model Garden

    OpenAI 与 Google Cloud 宣布,OpenAI 的前沿模型和 Codex 工作流将接入 Gemini 的 Model Garden,并通过 Google Cloud Marketplace 提供。原文未披露具体模型版本、上线时间和定价。

    推荐理由:OpenAI 模型与 Codex 工作流接入 Google Cloud 的 Gemini Model Garden,读者可了解企业采购与部署路径的变化。

  2. NVIDIA Blog62

    英伟达 GTC Berlin 2026:黄仁勋发布 DSX POD 与 OpenShell 智能体安全架构

    英伟达 CEO 黄仁勋在 GTC Berlin 2026 主题演讲中发布 DSX POD 参考设计,将 Vera Rubin AI 工厂装入模块化集装箱,现场部署时间可从六个月缩短至 14 天。

    推荐理由:黄仁勋在 GTC Berlin 集中发布 DSX POD、OpenShell 安全智能体架构与 Agent 知识层,可据此观察英伟达如何把智能体纳入自家全栈基础设施。

  3. NVIDIA Blog75

    NVIDIA 扩展开源模型家族,覆盖语言、机器人、生物与量子计算

    NVIDIA 扩展其开源模型家族,覆盖语言、机器人、生物和量子计算,包括新的 Nemotron 3.5 Super VL、Nemotron 3.5 Bolt、Nemotron Retriever、Kumo、Cosmos 3.5、Alpamayo 2 Edge、BioNeMo 与 Ising。

    推荐理由:NVIDIA 一次性铺开语言、机器人、生物、量子四条开源模型线,并给出各模型的开放渠道与首批企业用例。

  4. NVIDIA Blog50

    NVIDIA 欧洲云合作伙伴扩展:主权、开放、面向安全 AI 智能体

    NVIDIA 欧洲云合作伙伴正扩展区域算力,用于模型训练与推理,并支持智能体和物理 AI 应用。Nscale 测试显示,NVIDIA DSX MaxLPS 在同等供电预算下多部署 37% 的 GPU、聚合推理吞吐提升近 50%。Nebius 采用 NVIDIA Groq 3 LPX 搭配 Spectrum-X 以太网,为延迟敏感应用和智能体系统加速 token 生成。

  5. AWS Machine Learning Blog50

    TwelveLabs Pegasus 1.5 在 Amazon Bedrock 上线

    TwelveLabs 的视频语言模型 Pegasus 1.5 已在 Amazon Bedrock 上线,可将长视频转为带时间戳的结构化 JSON 元数据。相比 Pegasus 1.2,单次请求可分析视频时长从 1 小时提升至 2 小时,并新增视频分段、参考图多模态提示和免预索引的即时处理。

  6. AWS Machine Learning Blog34

    Octave 如何在 Amazon Bedrock 上构建安全多租户 AI 基础平台

    Octave 在 Amazon Bedrock 上为质量管理平台 Reliance 构建了多租户 AI 基础平台,用 Cohere Embed v4 完成 20 亿份文档的嵌入,并将单用例部署时间缩短 50%。该平台以每租户独立向量存储、AgentCore Gateway 隔离执行和 Guardrails 双向过滤三层架构,确保客户数据不跨租户边界。首个落地应用为投诉摘要与分诊助手。

  7. Microsoft Research18

    微软研究院播客:Catalyst Lab 负责人 Chris White 谈从 DARPA 到打击人口贩运的技术之路

    微软研究院播客对话 Catalyst Lab 负责人 Chris White,回顾他 2010 年夏天在 DARPA 参与阿富汗战场数据分析项目、随后赴阿富汗领导先进技术运营的经历,以及他后来转向暗网搜索工具以协助打击人口贩运。节目还讨论了他对问题选择在创新中的作用,以及在看尽人性阴暗面后仍保持希望的看法。

10月20日周二