天机总榜

11月12日星期四AI 前沿，先闻其声。

正在连接灵网采集于 12:04

灵网速报

“API”的搜索结果清除搜索

21:0011/11

Rox 宣布完成 1 亿美元 B 轮融资，General Catalyst 与 March Capital 联合领投。企业销售 Agent 的商业化竞争，迎来又一笔九位数下注。

08:2211/12

Abhik Roychoudhury 介绍 NUS 团队的 pre-QED，通过智能体工作流自动生成可执行验证桩，为 AI 形式化验证提供环境规格。团队提出将 API 的合法用法纳入验证，使证明覆盖符合使用约束的客户端。

11/11

Google 推出由 Gemini Decision 1 驱动的 Gemini Decisions API，面向封闭式多模态决策。同一份输入可用于评估最多 1,000 个独立问题，官方输入价格为每百万 token 0.10 美元，不收输出 token 费用。

新发布产品突袭重磅

11/11

Google DeepMind 发布 AlphaGenome 2，预测遗传变异对数百种人类细胞类型的影响。团队称，模型在 TenK10K 比较中识别出 30% 的因果变异，前代为 16%，现通过 API 向非商业研究开放。

11/11

英国政府披露，AI 芯片企业 Fractile 的 C 轮融资总额超过 5 亿英镑，估值超过 50 亿英镑。Sovereign AI Venture Fund 与 British Business Bank 参投，投资者还包括 CapitalG、Lightspeed 和 Redpoint。

11/11

MiniMax 发布开放权重图像模型 H3-Image，覆盖文生图、参考图生成与图像编辑。公司称，模型可在 10 秒内生成 4096×4096 图像，并支持最多 16 张参考图，已提供 API、MiniMax Code 与 Hailuo 使用入口。

新发布开源动向重磅

11/11

DeepL 发布实时语音翻译模型 Aure，称其可跟随说话者的语气、情绪、重音与语速变化。新模型已自动应用于 DeepL Voice 的会议、面对面交流及语音 API，首批支持八种语言。