分类： AI 资讯

Nous Research 融资 9000 万美元，估值 12 亿，Hermes 下载量破 2200 万

开源 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 辅助定理证明工具在经典几何优化问题上的一次完整验证落地。

法国Mistral发布1万亿参数开放权重模型Mistral Large 4（Le Chonk），声称性能接近顶级闭源模型，且完全免费可定制，目前处于预览阶段。

Biohub、美国能源部、NIH联合Meta、Google DeepMind等机构，投入至少18亿美元构建AI-ready生物学数据集，目标是训练能预测细胞行为的模型。这是目前规模最大的AI生物学数据协同承诺，生物基础模型竞赛可能因此提速。

Google正式向全球公众开放SynthID Detector，用户可免费上传图片、视频或音频，检测其中是否包含Google及其合作伙伴（OpenAI、Nvidia、Kakao）添加的AI水印。这为识别AI生成内容提供了一个跨平台的新工具，但覆盖范围有限。

马斯克在社交平台表示，Grok Bot 将按任务选用“最佳后端模型”，并点名 Claude Opus 5.5、MidJourney、Suno 等外部产品。这条说法把 Grok 从单一模型定位推向模型调度层，值得关注。

开发者平台 claix.dev 发文讨论 AI Agent 记忆检索的替代思路，认为固定「向量 RAG」流水线不适合多步决策型 Agent，主张把检索变成 Agent 可随时调用的工具。

开发者 niaonao 用 Codex 配合自制的磁盘空间统计 Skill，花 8 分 14 秒生成 Excel 报表，定位出 C 盘 117.94GB 用户目录中 AppData 独占 87.81GB，并给出按需清理而非盲目删除的操作路径。

有社交平台用户称斯坦福大学研究小组探索出一种让 Claude Opus 5.5 与 GPT-6.1 Sol 协同工作的方法，通过拆分认知分工降低模型开销，在部分探索任务上成本可降至原来约一半。