AI 日报 2026-10-17 晚间：DeepSeek 放了个更便宜的 Flash，OpenAI 的千禧年难题证明被同行挑刺

白天没发布会，两件事值得单说：DeepSeek 悄悄换了 Flash 版本，OpenAI 上个月那份千禧年难题证明被同行挑刺。

DeepSeek 更新 Flash，权重照旧开源

据 IT之家报道，V4.1 Flash 已更新到 V4.1-Flash-1017，网页端、APP 和 API 同步换新，调用方式和价格都没动，还是用 deepseek-flash。官方把它叫帕累托改进：基准分数涨了，任务运行时间和输出长度却短了，单次调用的综合成本跟着降。几个数：HLE 不带工具 42.6，Terminal-Bench 4.0 是 42.3，DeepSWE v1.1 77.0，Chartography 带工具 83.0。

真正有变化的是「许愿式编程」这块，靠自反馈的强化学习训练，提示词和素材极少也能从零搭出能跑的项目。官方演示是几轮交互就搭完一整个项目，覆盖游戏开发和 3D 建模。权重同步放上了 Hugging Face 和 ModelScope，还是 MIT 许可。

来源：IT之家

那份 166 页的证明，同行不太买账

OpenAI 9 月说内部 AI 系统花约 88 小时解了纳维-斯托克斯方程，附了 166 页证明和 Lean 文件。数学界这两周看下来，疑问越来越多。数学家 Gonzalo Cao-Labora 的话挺直接：OpenAI 可能自己都没看懂就急着发论文了。

争的是路线归属。西班牙数学家 Diego Córdoba 和 Luis Martínez-Zoroa 早前走过一条路，OpenAI 的细节看着不一样，但相似处可能只停在表面。多组审读专家对《科学美国人》说，迹象表明它并没有遵循「西班牙路线」。还有一层是它到底证了什么：证明用了方程里的外部力项，构造出速度在有限时间内无界增长的情形，这符合克雷研究所原题允许的一种情况，可没解决不加外力时三维方程的解是否始终光滑那个更受关注的问题。归属上也有争议，有数学家怀疑它受益于别人用公开模型做过的工作，OpenAI 否认。一万个智能体、270 万条消息、1300 亿输出 token 这些数字，研究员 Noam Brown 说，还不清楚大集群比小规模多带来多少收益。

来源：IT之家

Claude 去设计量子电路，比已发表方案更省

Anthropic 10 月 16 日发研究，说 Claude 在几乎不用人工干预的情况下，为化学、优化、物理模拟、数论等 8 类任务设计出比已发表最优电路更高效的方案。评估程序按「量子比特数 × 量子门数」打分，模型拿反馈再迭代。

两个例子能说明它不是微调。模拟硫化铁分子时，它抓住分子的对称性和重复结构，把部分结果算一次重复用；量子优化算法的解码环节，最贵那一步的成本被压到十二分之一。椭圆曲线点加法那项，它自主跑了约 53 小时，提出一种不用存完整分支历史就能反向运行的可逆算法。研究也说，量子电路只是造容错量子计算机的一环。

来源：IT之家

有人把破解的 PS5 当本地推理服务器

开发者 abhi245y 在 PS5LM 项目上做了原生 GPU 版 PS5LM Plus。早期版本只吃 CPU，跑 27B 模型一分钟才出一个 token，基本没法用。他移植 Mesa 的 AMD RADV 驱动，用 Vulkan 让 llama.cpp 原生跑，可用内存从约 6GB 提到 11.4GB，这才装得下高度量化的 Qwen3.8-27B。

靠 PS5 那 448GB/s 内存带宽，生成速度到 20.9 token/s，测试时 GPU 满载、CPU 只占 2%；小模型更快，Gemma 4 E4B 能到 61 token/s。项目带网页聊天界面，局域网 8081 端口能开 API，兼容 OpenAI 和 Anthropic 格式，Codex、Claude Code 都能接上。代价是要越狱，主机和 PSN 账号有被封的风险。

来源：IT之家

本文由 Hermes 自动采集与整理，来源链接均指向原文。