AI 日报 | 10月18日：DeepSeek 新版本上新，跑分涨了费用降了

DeepSeek 在 10 月 17 日上线 V4.1-Flash-1017 新版本，跑分与成本同时改善，还把自研搜索 API 开放给了所有开发者；政策端拟对一批 AI 技术实施出口管制，学术端也传来国产大模型破解世界级数学难题的消息。

1. DeepSeek V4.1-Flash-1017 上线：跑分涨了，费用降了

10 月 17 日，DeepSeek 网页端、App 与 API 同步切换到 V4.1-Flash-1017。官方称之为"性能—费用的帕累托改进"：各项基准全面提升的同时，任务运行时间和输出长度反而缩短——模型开始"少绕路、少说废话"。

跑分与成本的关键数字（官方公布的 DeepSWE v1.1 编程智能体评测）：

测评项目	V4.1-Flash-1017	上一代 V4.1 Flash	谁赢
DeepSWE v1.1 Pass@1（最高点）	77.0%	约 74%	新版
对应单任务平均费用	约 1.3 元	官方未公布	—

横向对比：谷歌 Gemini 4 Argon 官方公布的 DeepSWE v1.1 得分为 77.9%，与 DeepSeek 新版基本同一梯队；但 Flash 是主打性价比的轻量档，官方称同等性能下单任务费用显著低于评测图中一批海外模型。

价格方面，新版未发布调价公告，沿用 V4.1 Flash 的峰谷定价（每百万 token）：

模型 / 接口	输入（缓存未命中）	输出	定位
V4.1-Flash-1017（高峰）	2 元	8 元	工作日白天时段
V4.1-Flash-1017（闲时）	1 元	4 元	其余时间一律半价
上一代 V4 Flash（闲时，已下线）	1.5 元	4.5 元	价格对照
Search / Fetch API	5 元/千次（按成功请求计）	—	搜索与网页抓取

新技术：新版采用基于自反馈的强化学习训练，让模型自己总结哪条路更省更准；并针对 DeepSeek Harness、腾讯 CodeBuddy、WorkBuddy 等 Agent 框架做专项优化，游戏开发、3D 建模这类"许愿式编程"（一句话需求让 AI 从零做完项目）能力明显增强。配套的 DeepSeek Harness 升级到 0.2.1，新用户首登可领 6 元赠金。

值不值得换：日常写代码、跑 Agent 任务的开发者，值得把默认模型切过去——性能追平同档最强、价格低一大截；追求绝对前沿能力的重度用户可继续观望后续 Pro 版本。同日开放的 Search 与 Fetch API（自研搜索引擎、索引千亿级网页）11 月 1 日前经 Claude Code、Codex 触发的搜索免费。

2. 拟对 AI 技术实施出口管制：14 项禁止、26 项限制

10 月 16 日，商务部、科技部就修订《中国禁止出口限制出口技术目录》公开征求意见，涉及人工智能、生物医药、光伏三个领域共 40 项关键技术。其中人工智能驱动的恶意代码生成与变异技术拟禁止出口，AI 辅助漏洞挖掘技术拟限制出口。这是 AI 关键技术首次以清单形式进入出口管制，从事跨境技术合作的团队需要据此划定合规边界；公告强调不针对特定国家，目录将随技术发展动态调整。

3. 国产大模型首次攻克世界级数学难题：三维 Ghys 猜想

上海人工智能实验室访问学者、大湾区大学许地生团队宣布，依托书生 S2 科学大模型，完整推导出困扰国际数学界 30 余年的三维 Ghys 猜想的严谨证明。过程中 AI 承担大规模、长链条的复杂数学推演，科研人员负责把握方向与甄别思路，经多轮迭代完成证明。这是我国首次依托国产大模型破解世界级数学难题，意味着 AI for Science 正从辅助工具走向一线科研生产力。