跳到正文
11月6日周五
  1. TechCrunch · AI56

    AxiomMath验证Stacks Project 旨在将AI生成内容排除在数学领域外

    AxiomMath这家初创公司宣布正式验证了Stacks Project,这是人类编写的最大数学文献库之一。该公司利用AI智能体将Stacks Project约7,654页的资料转化为约1600万行经过计算机检查的代码,并采用Lean编程语言进行形式化验证。AxiomMath认为,可验证的数学结果是未来AI智能体构建软件和科学研究的可靠基石,尤其在代数几何等领域填补了知识空白。

11月5日周四
  1. The Verge · AI33

    Uber 披露第三季度仅有 4 次行程由 AI agents 完成

    第三季度 Uber 平台仅有 4 次行程由第三方 AI agents 安排,Uber Eats 订单量约为 500 单,这是 Uber 首次披露第三方 AI agents 的具体数量。Uber 方面表示愿意与第三方 AI 公司合作,同时相信客户将继续偏好直接使用 Uber App。Uber 正在开发自有 AI 工具,如 Cart Assistant,以维持用户在自家平台的使用。

11月4日周三
11月3日周二
  1. Latent Space78

    Legora CTO 谈构建法律 AI 智能体:从 ChatGPT 到 Tabular Review

    Legora CTO Jacob Lauritzen 讨论了为律师构建 AI 智能体所需条件,该公司已实现 $100M ARR 且拥有超过 1,800 个客户。Legora 采用模拟 RL 环境进行评估,而非直接读取客户数据,所有基础设施运行在 Azure 以满足数据隐私要求。

    推荐理由:Legora 的实践展示了 AI 智能体在法律领域的应用路径,强调了数据隐私和模拟环境评估的重要性。

11月1日周日
  1. Latent Space45

    Agents Prompt People: Using Agents for Long-Horizon Financial Work

    Arca 利用 AI 智能体进行长周期金融工作,其中任务可达十天,并构建了内部记忆系统追踪客户信息。该公司使用 Anthropic 和 OpenAI 的模型,以 Claude 为主要提供商,并开发了内部 harness 根据内部 benchmark 自动选择最佳模型。所有涉及资金移动的交易决策均由人类顾问执行,确保安全限制是完全确定的。

10月30日周五
  1. TechCrunch · AI15

    Rivian 扩大与 VW 的合资企业范围纳入 AI 助手

    Rivian 将其 AI 语音助手技术授权给 Volkswagen Group,扩大了双方价值达 5.8 亿美元的合资企业范围。该 AI 助手已在 Rivian 的 R1S SUV、R1T pickup truck 和 R2 SUV 上推出,并可能首发于 VW 的 ID EVERY1 低成本 EV。Rivian 采用垂直整合战略,将电子控制单元(ECU)数量从 17 个减少到 7 个。

  2. TechCrunch · AI45

    Ex-Palantir execs 获 a16z 17M 启动资金构建建筑 AI 世界模型 Dream

    Ex-Palantir 员工 Andy Alder 和 Arjun Mather 创立 Dream,获得 a16z 领投的 $17M 种子资金,旨在用世界模型自动化建筑设计和工程。Dream 的世界模型基于超过 10000 万平方英尺的美国建筑许可档案数据训练,实现结构精确的“结构认知”。该平台已在德州和加州 10 个活跃项目中部署,用于概念化设计和成本估算。

10月29日周四
  1. TechCrunch · AI48

    Wabi AI agent 获投 $55M 估值达 $1.25B

    Wabi,一个构建 mini apps 的 AI agent,在最新一轮融资中筹集了 $55 million,估值达到 $1.25 billion。Wabi 转型为个人 AI agent,可用于构建如膳食计划、健身计划等 mini apps 的界面。本轮融资由 IVP 领投,参与方包括 Andreessen Horowitz (a16z) 等。

  2. The Decoder15

    Google AI 搜索问题体现在财报中 投资者担忧市场价值损失

    Google 第三季度搜索收入增长约 12%,低于分析师预期的 15%,因 AI 模式查询的货币化率较低。Google 服务收入达 $96.3 billion,其中搜索及其他广告格式增长 12% 至 $63.4 billion。云部门同比增长 103% 至 $30.7 billion,公司正计划在美国及国际扩展聊天机器人广告计划,并开发更小、知识蒸馏的 Carbon 模型。

  3. TechCrunch · AI35

    Google 扩大 AI Search ads 全球覆盖 应对核心广告增长放缓

    Google 将 AI 驱动的 Search 广告扩展至国际市场,以寻求新的收入机会,应对核心搜索广告增长放缓的趋势。第三季度 Google 收入达 $127.6 billion,同比增长 25%,但 Search 广告收入同比增长 12%,低于前两个季度。AI Mode 中的赞助产品点击率已与自然列表相当,且 AI Mode 查询平均长度是传统搜索的 3 倍。

10月27日周二
  1. The Verge · AI32

    The RealReal 不让 AI 代理抢占名牌服装

    The RealReal 更新了机器人防御系统,进一步限制 AI 代理在其平台上购物。此前,Meta 的 Muse 代理利用商品预留机制,持续将商品加入购物车,导致其他买家长时间无法购买。公司表示,新的配置将使 AI 代理更难登录、添加商品并结账,但仍可浏览商品并引导用户访问产品页面。

10月24日周六
  1. AWS Machine Learning Blog63

    Bayer Crop Science 在 Amazon Bedrock AgentCore 上构建 Agentic 决策引擎

    本文介绍 Bayer Crop Science 如何在 Amazon Bedrock AgentCore 上构建 Agentic 决策引擎(ADE),并与 AWS Unified Operations 合作完成设计、部署与运维。

    推荐理由:文章详细阐述了如何在 Amazon Bedrock AgentCore 上构建多代理决策引擎,并给出关键设计决策与运维经验,帮助读者快速落地类似系统。