跳到正文
全部动态 · 今日0条

#推理

信源抓到、进了内容池的全部内容,按时间排列;精选只是其中一部分。
行业

公司经营、融资并购、人事、合作、诉讼、监管与政策、市场与基础设施

10月16日周五
10月14日周三
  1. TechCrunch · AI58

    Industrial Next 希望工厂机器人能在几分钟内切换任务,而不是几周

    Industrial Next 在 TechCrunch Disrupt 2026 上展示了由 AI 驱动的机器人工作站。该公司称,这些工作站无需传统编程,就能让制造商在几分钟而非几周内重新配置生产线。其专有基础模型将视觉、任务情境和运动联系起来,新任务则通过仿真和演示来教授。该初创公司宣布与 BMW Group Technology Office 合作,评估灵巧操作在制造业中的应用。联合创始人 Lukas Pankau 表示,部分工作站已在为一家未披露名称的智能手机客户执行精密装配任务。

10月13日周二
  1. The Decoder58

    丘成桐在西方质疑声中发起中国人工智能数学联盟

    据《南华早报》报道,丘成桐和中国数学界领军人物周日在北京发起丘成桐数学与人工智能实验室联盟。该联盟汇集八家机构,旨在联结逾1,000名研究人员,并计划开发专用模型、机器可验证的证明以及透明的人工智能推理。与此同时,包括特伦斯·陶和彼得·舒尔策在内的25位菲尔兹奖得主担心,人工智能生成的证明会削弱人们对数学的理解,并使研究人员依赖自己无法跟进的工具。

10月11日周日
  1. 量子位74

    TypeSafe AI 为 Jev 决策模型完成 8.7 亿美元 A 轮融资,估值达 75 亿美元

    TypeSafe AI 是旧金山一家公司,其背后是仅用于决策的模型 Jev。该公司宣布完成 8.7 亿美元 A 轮融资,投后估值为 75 亿美元,而 24 天前其 4000 万美元种子轮融资时的估值为 2 亿美元。a16z、Sequoia 和 DCVC 参投,a16z 合伙人 Martin Casado 加入董事会。该公司表示,目前约三分之一的《财富》500 强公司使用或集成了 Jev,该模型输出的是决策而非聊天。

10月7日周三
  1. The Decoder80

    OpenAI 在 GitHub 发布 372 项 AI 生成的数学证明

    OpenAI 在 GitHub 仓库发布了内部前沿模型生成的 372 项数学结果,每项据称解决或显著推进了一个开放问题,其中包含对主要计算机算法的改进以及与黎曼猜想相关的进展。

    推荐理由:OpenAI 把 372 项 AI 生成的数学结果直接发到 GitHub 而非期刊,读者可据此观察学术评审流程与 AI 产出速度之间的张力。

10月1日周四
  1. The Decoder80

    OpenAI 称已阻止窃取模型推理的活动,但同一手法在 Azure 上仍然有效

    OpenAI 称其阻止了一场窃取模型推理内容的蒸馏活动,该活动 7 月 1 日起量级较低,7 月 24 至 25 日激增至来自 4000 多名用户的 16000 次请求,涉及 15000 多个关联账号,OpenAI 称已于 7 月 28 日前全部关停,并注明这些是尝试性提取、未必成功。

    推荐理由:OpenAI 披露一起推理蒸馏窃取事件,并牵出云平台防护不一致的问题,读者可据此了解模型推理泄露的实际路径。

9月30日周三
9月27日周日
9月19日周六
9月16日周三
  1. NVIDIA Blog62

    NVIDIA Vera Rubin NVL72 首次亮相 MLPerf Inference v6.1 并取得领先性能

    NVIDIA 在 MLPerf Inference v6.1 中首次提交 Vera Rubin NVL72 预览结果,在 Qwen3-VL 上吞吐最高达 GB300 NVL72 的 3.7 倍,在 DeepSeek-R1 上最高达 2.5 倍。

    推荐理由:MLPerf Inference v6.1 结果给出 Vera Rubin NVL72 与 GB300 NVL72 的吞吐、扩展效率和软件优化幅度,可用于判断推理基础设施的性价比走向。

9月9日周三
5月29日周五