标签：人工智能

Meta、Google DeepMind 等投资 3 亿美元，美国再投 5 亿支持 Biohub 构建开放生物数据集

Meta、Google DeepMind 和 Isomorphic Labs 联合向 Zuckerberg 支持的 Biohub 投资 3 亿美元，美国联邦政府再投 5 亿美元以上，目标是构建用于 AI 训练的开放生物学数据集。

个人 AI 助手 Tab 于 2026 年 10 月 7 日正式结束隐身模式，宣布估值达 3 亿美元。它通过 iMessage 或 WhatsApp 帮用户完成订餐、订票等日常事务，团队将“信任”而非能力视为产品核心。

2026年第三季度北美初创融资约920亿美元，环比下降35%但同比上升50%，其中610亿美元流向AI初创公司；同期出现11起10亿美元以上并购，IPO市场保持安静。

Chip Ganassi Racing 与 OpenAI 合作，用 AI/ML 辅助 IndyCar 冠军 Álex Palou 优化赛车调校，并已发布纪录片第二集；这显示 AI 正从赞助商变成赛车性能工具。

Google 正式向公众开放 SynthID Detector 网页工具，用户可免费上传图像、视频或音频，检测是否带有 AI 生成水印；该工具支持识别 Google、OpenAI、NVIDIA 和 Kakao 等公司的 AI 工具产出内容。

Google 将 SynthID AI 内容检测器扩展到所有合作方并上线独立网站，普通用户每天约可免费检查 10 次图片、视频和音频，不必再绕道 Gemini。它让 AI 内容溯源更方便，但仍覆盖不了未加水印的模型。

开源 AI 智能体 Hermes 的开发商 Nous Research 完成 9000 万美元融资，估值达 12 亿美元，计划向企业市场扩张。

开源 Hermes AI Agent 的开发商 Nous Research 完成了 9000 万美元融资，估值达到 12 亿美元，并计划从开源社区向企业市场拓展；Hermes 自 2 月以来下载量已超过 2200 万次。

Google 上线 SynthID Detector 网站，用户可上传图像、视频或音频文件，检测其中是否包含 Google 的 SynthID 水印，从而判断内容是否由 AI 生成。

2026 年 10 月 7 日前后，一个开源项目宣布在 Lean 4 中完成 11 个正方形最优排列的形式化验证，并给出最优边长约 3.877083590022814。它值得关注，是因为这是 AI 辅助定理证明工具在经典几何优化问题上的一次完整验证落地。