跳到正文

全部动态

今日 13 条
9月5日周六
  13. xAI：News（网页）62

    xAI 用 Grok Bot 搭建采购智能体 Haggle Bot，找出超 10 万美元直接节省

    xAI 给 Grok Bot 开放供应商支出、合同和使用数据，搭建了名为 Haggle Bot 的采购智能体，已找出超过 10 万美元直接节省。SaaS 审计中发现一个产品有 43 个付费席位 90 天无活跃，节省 $14,220，另一个产品每年有 $85,662 未使用 SKU；办公用品比价一次将 $14,629 的订单压到 $6,143，降幅 58%。

    推荐理由：原文公开了完整系统提示词与具体省钱数字，读者可以直接参考其意图表达和权限边界的搭建方式。

  16. Anthropic：Research（发表成果 · 网页）80

    Claude 用 11 天完成费马大定理的首个完整机器验证证明

    Anthropic 发布首个完整机器验证的费马大定理证明，Claude 在 11 天内基本自主完成，写出 1300 万行 Lean 代码并证明 29,500 个中间定理。

    推荐理由：原文给出了耗时、代码量、平台与验证方式等细节，读者可以了解多智能体自动形式化复杂数学证明的实现路径。

  19. Tomer Tunguz 博客（VC 分析）61

    Tom Tunguz 分析 4 万亿美元 AI 数据中心债务浪潮

    Tom Tunguz 分析称，未来五年美国数据中心容量将从 25 吉瓦增至 70 吉瓦，全球建设成本约 5 万亿美元，其中约 4 万亿美元需靠债务融资，相当于美国公司债市场扩容 34%，并超过全球私募信贷市场。

    推荐理由：作者把 4 万亿美元 AI 数据中心债务放到主要信贷市场规模中对比，并测算出 2030 年前需要的 AI 收入门槛，提供了一个宏观信用视角。

  23. Runway：News（网页）39

    Runway 推出 Team Plan 协作方案

    Runway 发布面向创意团队的 Team Plan 协作方案，支持 2 至 9 个席位，提供共享项目、合并积分和 Brand Kits 功能，起价为每席位 55 美元。该方案旨在帮助团队更高效地协同完成创作项目。

  26. GitHub Blog68

    GitHub 发布 Project HydraFusion 研究预览，用多模型运行时编排降低 Copilot 成本

    GitHub 推出 Project HydraFusion 研究预览，通过运行时多模型编排，在 Single、Cascade、Critique 三种执行模式间为每个任务选择工作流，以平衡质量、成本和延迟。

    推荐理由：原文给出三种执行模式和三个基准的质量与成本数据，读者可以据此评估多模型编排对编码工作流的影响。

  27. Microsoft AI：官方博客（网页）63

    Microsoft 发布 MAI-Image-2.6 与 MAI-Image-2.6-Flash 图像模型

    Microsoft 于 9 月 4 日发布 MAI-Image-2.6，称其为迄今最强的图像模型，并面向开发者上线 Microsoft Foundry，同时推出面向低延迟、高吞吐场景的 MAI-Image-2.6-Flash。

    推荐理由：原文给出排名、速度和效率数字，并说明两个版本分别面向精度与吞吐的不同场景，便于开发者按工作流选型。

9月4日周五
  2. Gary Marcus：The Road to AI We Can Trust（RSS）56

    Gary Marcus 呼吁立即暂停 OpenAI

    Gary Marcus 撰文呼吁暂停 OpenAI，理由是其不值得信任：新发布的 Astra 降低了思维链（CoT）可监控性，尤其在 destructive actions 上自家数据显示监控受损，OpenAI 仍照常发布；另有一起新事故被公司隐瞒数周。