开源模型靠自验证反超闭源旗舰，AI竞争开始从一次答对转向可验证交付
斯坦福团队用多候选生成与自验证框架提升开源模型任务成功率，Qwen低成本架构与Specula形式化验证则从推理和工程两端补齐可靠性，AI竞争正在从一次答对走向可验证交付。
韩国全民AI计划启动：免费服务、国产模型与公共算力如何连成一体
韩国启动AI for All计划，向5100万国民提供免费无限量AI服务，并要求八成算力运行国产模型。全民AI背后，是模型、GPU、公共服务与产业生态的一体化竞争。
Qwen3.8全模态模型接进生产流程：AI开始拼看懂并办完
全模态模型正在从“能看懂图片”走向“能把看见的内容接进工作流程”。通义千问发布Qwen3.8-Omni-Flash，支持文本、图像、音频和视频输入，拥有百万级上下文，并把规划任务、调用工具和内容创作...
GPT-6 Sol与Luna降价一半，模型竞争转向单位任务成本
OpenAI将GPT-6 Sol与Luna价格降至上一代约一半，并强调专业工作流中的单位任务成本。本文分析模型分层、基准边界、提示词缓存与企业部署的实际影响。
FortiMail 零日漏洞 CVE-2026-104286 遭在野利用：官方补丁未发布，邮件网关如何先缓解后修复
事件概述：邮件网关遭遇'无补丁可打'的零日攻击 2026 年 10 月 1 日，Fortinet 发布安全通告 FG-IR-26-175，确认其邮件安全网关产品 FortiMail 存在一个已被在野利用的关键漏洞，编号 CVE-2026-...
Vercel 确认 KVM 零日虚拟机逃逸漏洞：研究员获 5 万美元赏金，多租户隔离边界敲响警钟
事件概述 2026 年 10 月初，安全研究员 Paulos Yibelo 披露了 Vercel 平台底层虚拟化组件中的一个 KVM（Kernel-based Virtual Machine）零日漏洞，并演示了完整的虚拟机逃逸：Guest
