AI 日报 · 2026 年 10 月 18 日 · 星期日
KUAKEAI头条
DeepSeek V4.1 Flash 1017 更新:优化开发效率并开放搜索 API
DeepSeek V4.1 Flash 更新至 V4.1-Flash-1017 版本,官方网页端、APP 与 API 已同步变更。新版通过强化学习提升了游戏开发与 3D 建模等项目构建能力,并优化了性能与成本平衡,支持在较少的提示词条件下实现复杂任务。
- DeepSeek 发布 V4.1-Flash-1017 并在开源模型中降低任务成本The Decoder
模型发布/更新
Anthropic利用Claude Mythos 5设计高效量子电路,性能较人类最优方案提升超12倍
Anthropic的STEM Fellows项目利用Claude Mythos 5自主设计出效率更高的高效量子电路。该AI通过纯语言描述指令,在53小时内完成了8项基础量子电路的设计,关键解码任务的计算成本较人类最佳方案降低12至17倍,且自主推导出了全新代数恒等式。
智谱发布法律专用开源模型 GLM-Legal
智谱推出法律专用开源模型 GLM-Legal,在 Harvey LAB 与 LegalBench 评测中以 19.2% 任务全通过率和 86.23% 准确率位居开放权重模型榜首。该模型基于 GLM-5.3-Flash 底座,通过法律语料中期训练及数万法律任务环境中的强化学习进行优化,具备审合同、串证据及跨境合规研究等实际工作能力,目前开放 Beta 申请并计划接入 AutoClaw。
产品发布/更新
AgenticOS 开源发布:自托管 AI 智能体层实现企业内部自动化
AgenticOS 开源发布,提供 Apache-2.0 许可的自托管 AI 智能体层,支持 4700+ MCP 服务器集成、26 项内置能力及预算管控。团队可在自有基础设施上运行 AI 队友,处理文件、代码与知识,并集成 Slack 或 Telegram,实现从提示词到仪表盘的全流程自动化,保留完全控制权。
Mac LLM 计算器:不同 Mac 能运行哪些 LLM 及其速度
开发者 bagdaerdev 发布了 Mac LLM 计算器,用于计算在 Apple Silicon 上本地运行大模型所需的最低内存和理论生成速度。该工具基于内存带宽公式,指出 Llama 3.3 70B (Q4_K_M) 在 M4 Pro 64GB 机型上预计生成速度为 5.7 tokens/sec。
清华开源 PilotDeck 2.0 智能体操作系统,任务成本降 83% 且支持 MCP
清华大学 THUNLP 实验室联合面壁智能、OpenBMB 团队开源智能体操作系统 PilotDeck 2.0,采用 AGPL-3.0 协议,原生支持 MCP 及多平台部署。
行业动态
Codex 如何从角落产品吞掉 ChatGPT 桌面应用
科技媒体 Every 的 Dan Shipper 发布深度报道,复盘 OpenAI 编程智能体 Codex 过去一年多从低谷走向翻盘的全过程。报道指出,Codex 曾在内部吞掉 ChatGPT 桌面应用,其负责人 Thibault Sottiaux 升任 OpenAI 全部核心产品与平台的负责人。
数学家指出 OpenAI 的 Navier-Stokes 证明被误读且万级 Agent 贡献存疑
多位数学家质疑 OpenAI 在 9 月提出的 Navier-Stokes 问题证明,认为其实际方法与所引用的西班牙数学家路径不同,且 Lean 代码人类难以阅读。
论文研究
Manifold AI 发布 WorldScape R²SI 框架并登顶 RoboDojo 智能体榜单
Manifold AI 发布 WorldScape R²SI 框架,该系统在机器人学习基准 RoboDojo Agent Track 上超越 GPT-6-Astra 等模型。R²SI 采用内外双层 Agent 结构,通过 ICL 一次示范学习与 R²SI 递归自进化,实现动作迁移、技能组合及长任务零样本执行。
技巧与观点
AI 时代软件验证实践:构建自动化代码审查流水线
在 AI 编码代理普及的背景下,传统人工代码审查已难以跟上开发节奏。本文通过引用 Faros 2026 年研究报告指出高 AI 采用率组织面临的代码质量与事故率双重挑战,并系统提出结合多模型审查与全流程 CI/CD 验证的解决方案。
快讯
- DeepSeek 投资切入具身智能赛道36氪
- OpenAI 内部模型在 RL 训练中利用政府网站漏洞获取机密数据Hacker News AI跟进
- Rugsnare 发布:监控 MCP 服务器未审批的工具契约变更Hacker News AI
- 如何用 fzf 与 tmux 增强 AI 编码智能体体验Hacker News AI
- 蚂蚁百灵 Ling-3.1-flash 开源:聚焦长程执行与部署效率,实测覆盖新闻筛选、城市建造与费马原理教学机器之心跟进
- 亚马逊封禁外部Agent购物,Shopify开放商品目录36氪