智讯微光-第5期 | DeepSeek V4.1 Flash 1017:许愿式编程一键成真

智讯微光 第 5 期(10.12 - 10.18)

1. Gemini 4 Argon GA,成本仅对手 60%

摘要

Google 发布 Gemini 4 Argon,面向开发者、企业、科学家和消费者全球开放,可通过 Gemini API、AI Studio、Google Antigravity 使用。该模型正式 GA 后,在 Artificial Analysis Intelligence Index 上与 GPT-6 Astra 排名持平。其 Cost per Task 仅为后者的 60%,在复杂工程与科研任务上具备明显的性价比优势。

关联阅读

笔者解析

AA跑分排行
谷歌憋了一年终于出东西了,再晚点真成路边一条了,不过这次 Gemini 4 Argon 好像没有 3 出来的时候那样风光,目前还是被OA压上一头


2. DeepSeek 更新 V4.1 Flash 1017,能力大幅提升

摘要

DeepSeek 将 V4.1 Flash 升级为 DeepSeek-V4.1-Flash-1017,网页端、App 与 API 同步替换,API 调用方式与价格不变,仍用 deepseek-flash 访问。DeepSeek 称新版在全部 11 项基准上较 9 月版提升 2.0 至 11.1 分,任务运行时间与输出长度缩短,并建议升级至 DeepSeek Harness 0.2.1-rc.1 及以上版本。Arena 随后公布该模型(Max 版)成为 Code Arena: WebDev 榜单第一开源模型,超过 Kimi K3 (Max),成本低约 10 倍。

关联阅读

笔者解析

大肥鱼01 大肥鱼02 大肥鱼03 大肥鱼04
大肥鱼05 大肥鱼06

大肥鱼!大肥鱼!我宣布你就是我的正宫!!!


3. Meta 发布 816B 开源模型 Muse Spark Open

摘要

Meta 发布开源权重模型 Muse Spark Open,总参数 816B、激活参数 42B,上下文窗口达到 1M token。模型面向编码与智能体工作流,原生支持图像、音频和文档等多模态输入。该模型已在 Hugging Face 以 Muse Model License 提供,并相比 8 月版本增加了安全后训练。

关联阅读

笔者解析

听说这模型挺厉害的,但是我还没用过


4. AlphaProof 解决 9 个 Erdős 问题

摘要

Science 新研究显示,Google DeepMind 的 AlphaProof Nexus 独立解决了 353 个开放 Erdős 问题中的 9 个。其中 2 个问题已悬置 56 年。结果经过同行评审。这展示了 AI 在形式化数学与开放问题发现上的潜力。

关联阅读

笔者解析

现在数学界天天震惊瘫坐,出一个AI,就去数学这边刷一下存在感


5. GPT-6 与 Intelligent UI 全面开放

摘要

OpenAI 宣布 GPT-6 与 Intelligent UI 正在 ChatGPT 中向所有用户推出。Intelligent UI 提供快速的交互式回答,让日常问题更直观、复杂主题更易理解,并可即时提供面向任务的交互式工具。OpenAI Codex 产品设计成员 Ed Bayes 转发该消息并称赞团队工作。

关联阅读

笔者解析
OpenAI 旗舰模型和交互式 UI 向全部用户开放,直接影响 ChatGPT 的能力边界与日常使用方式


6. Claude Code 团队代码审查实践

摘要

Anthropic 团队介绍 Claude Code 的代码审查流程:机器承担大部分阅读,人类注意力集中在高风险决策。6 月至 9 月,合并 PR 翻倍以上,回退率下降超过 40%。其 monorepo 每日变更量从 5 月约 2,500 增至 9 月超过 30,000。这些数据为评估 AI 代码审查效果提供了样本。

关联阅读


7. ChatGPT 为 Chrome 增加标签页控制

摘要

ChatGPT 面向 Chrome 用户升级,将 computer use 能力引入 Chrome。聊天中 ChatGPT 可以查看用户打开的标签页并汇总信息;工作模式下,它能控制标签页执行发送消息、填写表单、下载文件等操作。它还可帮助整理和分组打开的标签页。

笔者解析

浏览器级 computer use 让 ChatGPT 能直接查看和操作标签页,是 AI 助手进入日常工作流的重要一步


8. TanStack Start 1.0 正式发布

摘要

TanStack Start 1.0 正式发布,相关文章以“离 Next.js 远点吧”为标题讨论其定位。作为 TanStack 生态的全栈框架,它的稳定版发布为前端团队提供了新的路由、数据加载和服务端渲染选型。文章可能同时比较其与 Next.js 的差异和使用体验,对框架迁移评估有参考价值。

关联阅读

笔者解析

正式版发布会影响前端框架选型,尤其是对 Next.js 替代方案的评估。


9. Egg 4 稳定版正式发布

摘要

老牌 Node.js 框架 Egg 发布 4 稳定版。作为企业级 Node 框架的大版本更新,它可能涉及运行时、插件生态与升级兼容性变化。候选未提供详细变更日志,但稳定版发布对后端框架选型仍有参考价值。

笔者解析
我记得当初我还学过Egg.js呢,只不过后边听说维护更新不及时,就没怎么用这个了


10. Flex 布局支持 balance 排版

摘要

CSS 的 flex-wrap 开始支持 balance 排版,继 text-wrap: balance 之后进一步改善多行 Flex 布局的视觉平衡。文章由张鑫旭撰写,属于前端布局新特性的实践解读。该特性可减少手动调整换行或使用 JS 计算布局的需求。

关联阅读