Nous Research 获 9000 万美元融资,Hermes 下载超 2200 万次

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

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

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

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

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

在OKX Now 2026全球大会上,OKX公布了其下一代金融服务体系蓝图,主张从HOLD、PAY、INVEST、GROW四维重构金融基础设施,并将AI定位为整套体系的底层操作系统,同时强调全球多地区持牌与透明储备金证明。需要说明的是,这些内容来自参会者社交媒体解读,并非官方已全部落地的产品公告。

关于用领域驱动设计(DDD)约束 AI 编程的讨论,一线开发者反馈集中在两件事上:先把核心业务名词钉死,再用领域语言给模型提供高密度上下文。这反映出在 agent 大量写生产代码之后,代码生成速度已经不是瓶颈,业务语义漂移才是。

Hugging Face Papers 收录的论文摘要提出 SlimWise,把 MoE 模型的专家剪枝从预填阶段解耦、只在解码阶段生效,并复用预填生成的 KV 缓存,在 Qwen3.6-35B-A3B 上报告 50% 专家剪枝时解码吞吐最高提升 1.81 倍。

研究者提出自补偿 VLA 方法,能在部署时利用“下发的动作”与“机器人实际执行动作”之间的残差在线更新策略,无需任务奖励或标签;摘要称在两条真实机械臂上平均任务成功率各提升 30 个百分点以上。

Hugging Face Papers 收录的论文提出 Sherpa 框架,用多轮强化学习让大模型根据学生类型调整教学策略,教学评分从 52.5% 提升到 79.2%,人类对比中 79.6% 更偏好训练后的教师模型。

外卖巨头 DoorDash 大规模发信警告餐厅,称它们可能在不知情的情况下被列在 AI 原生外卖平台 Bites 上。这背后是 AI 代理绕过外卖平台、直接连接餐厅的新模式,可能动摇现有外卖格局。