这款程序的安装包名为MicrosoftSettings.exe，体积22.2MB，基于WinUI外壳加WebView2构建。

运行后首先弹出一个欢迎界面，并默认勾选是，提示用户将Bing设为Microsoft Edge、Mozilla Firefox和Google Chrome的搜索引擎。

根据Windows Latest实际测试，点击接受并继续后，程序会向所有已安装浏览器注入一个名为Microsoft Bing Homepage & Search for Chrome的扩展，完成后自动跳转到Microsoft Rewards页面，用户可以领取切换搜索引擎的积分奖励。

在Chrome和Brave上，这个扩展会触发浏览器的安全警告，提示该扩展可以读取和修改所有网站数据、显示通知、更改主页和搜索设置。

Chrome会进一步弹窗询问“要切换回Google搜索吗？”，没想到此时微软在Chrome弹窗下方塞了第二个提示框，写着“等等，别切回去！”，警告用户恢复Google搜索将关闭Bing扩展并失去Bing搜索和壁纸功能，引导用户点击保留。两家公司在用户浏览器里为搜索引擎展开拉锯战，场面相当荒诞。

令人困惑的是，微软手头有大量亟待修复的WebView2应用却无人问津，Windows自带的天气应用占用约1.2GB内存，是macOS天气应用的五倍，而且还在展示广告。微软没有把精力放在优化这些臃肿组件上，反而专门开发了一个WinUI应用来安装浏览器扩展。

标准校验模式现在已经上线，可以在10秒内完成PC健康检查，检测点超过100个，涵盖驱动程序、CPU温度、预装软件等多个维度。

开发团队还与主流支持服务合作，为检测结果添加了严重、警告、信息三级标签，让用户直观了解系统各部件的健康状况。

高级校验是V3版本全新加入的功能，检测深度远超标准模式，包括重负载下的硬件稳定性测试。完整运行高级校验可能需要几分钟到几小时不等，期间会对CPU、内存和GPU进行压力测试和错误检测。

高级校验器还内置了扩展版基准测试工具，可测量CPU、GPU、内存和存储性能，并集成了基于HWMonitor的传感器监控，实时显示温度、频率、风扇转速等数据。

XOC校验器面向极限超频玩家，在V3中得到重点改进。

由于现代CPU频率不断变化，V2版本的XOC校验器用5秒负载做一次性测量，还移除了所有负载和大部分内部检查，校验准确性大打折扣。

V3通过计算CPU有效频率和输入频率来解决这个问题。如果有效频率低于输入频率，校验仍然通过，但最终记录的是真实的有效频率。内存超频校验也做了优化，避免误判导致校验被拒。

CPU-Z V3现已从cpuid.com提供下载，但部分功能在V3数据库积累足够校验数据之前将暂时禁用，以便高效处理统计数据。V2数据库将继续接受校验提交至10月20日，届时切换为只读模式。

美国媒体报道，NVIDIA要跟AI初创公司Poolside达成一项合作协议，会以120亿美元的估值向公司投资10亿美元，同时花费60亿美元购买该公司的技术产权及部分研发人员。

这个合作模式跟NVIDIA去年底与LPU芯片公司Groq的合作相似，不是直接收购这家公司，而是重金获得技术授权及人才，公司还会继续独立运营。

Poolside公司大约100多名员工将会加入NVIDIA公司，参与的则是NVIDIA自己开发与的大模型Nemotron，旨在帮助该系列大模型成为全球最强。

众所周知，NVIDIA是强烈支持开源大模型的，之前也对中国的DeepSeek、Kimi等开源大模型表示赞许，该公司自己的Nemotron大模型也是开源开放的，只不过性能不算出众，达不到DS V4、Kimi K3等中国开源大模型的水平。

NVIDIA作为全球最大的AI GPU供应商，而且利润丰厚，在资金及算力资源上优势独特，现在又招揽了一堆人才，Nemotron未来的性能跻身一线是很有希望的。

NVIDIA自己下场开发最强的AI大模型，对OpenAI、Anthropic等VIP客户来说不是好事，但老黄这也是以彼之道还施彼身罢了。

因为OpenAI、Anthropic两家公司也在大笔购买NVIDIA GPU之外的AI算力，包括谷歌及亚马逊，并且还在开发自己的AI芯片，他们不想依赖NVIDIA的芯片，NVIDIA自然也不能把大模型的希望都放在他们身上。

对NVIDIA来说，自己开发最强的开源AI还有别的好处，美国迟早要对中国的开源AI下黑手的，NVIDIA的大模型未来有机会抢这部分市场，他们是不希望DeepSeek、Qwen、Kimi、GLM等中国开源大模型成为美国公司使用的主要大模型。

然而很多人不知道的是日本这次被打击的不止是芯片等硬产业，软件产业也被打击了，尤其是日本当时正在开发一个Tron操作系统，本来有机会凭借日本的半导体优势地位成为全球标准，这将没微软什么事了。

1984年，日本京大学教授坂村健牵头启动 TRON Project，当时的日本科技巨头，如NEC、日立、富士通、松下、NTT等都参与进来了，这个计划要开发一套从芯片、操作系统、网络到人机界面的开放计算体系。

了解PC发展历史的网友应该知道这个时间点有多微妙，Intel研发出首款x86处理器也没多久，而IBM挑选微软的DOS、Intel的8088处理器做成兼容PC标准也就是1981年才开始的，当时也没几年。

TRON（The Real-time Operating system Nucleus）系统的理念很先进，要做未来所有电子设备的统一操作系统，而当时的日本的半导体产业是世界第一，又有庞大的家电、汽车等下游产业，形成芯片+OS+终端的一条龙优势。

然而TRON系统最终没有成为胜利者，一方面是日本IT产业自身的问题，在生态、兼容等问题上没处理好，但另一个重要原因是美国的打压，日本都准备在教育产业上推广TRON系统了，但美国指出这是针对美国企业的贸易壁垒，成为两国贸易摩擦的重点关注对象。

最终在广场协议签署之后，日本不仅失去了半导体芯片产业，OS系统产业上也输掉了未来，TRON系统后面只是在部分物联网、嵌入式市场有所成就。

后面的事情就是大家都知道的了，IBM主导的兼容PC标准、微软与Intel的Wintel联盟成为胜利者，这里面固然有他们自己的优势，但美国政府给自家的企业扫清了当时一切潜在的威胁也是真的，在产业发展初期没有对国外的打压，Wintel成为全球标准的路途不会是那么顺利的。

这个大模型支持1M上下文，多模态，目前免费一周到27日为止，而且每天提供100T的算力支持。

这个模型性能还是很强的，既然免费就不能错过了，还没参与的赶快去OpenRoutor上创建API，这几天用着不错。

但是这个神秘的牛来大模型到底是哪家的，这事引起了国内外网友的关注，不少人用各种办法去验证分析，潜在的名单包括智谱GLM-5.X、小米Mimo V3 Pro、SpaceX/Cursor的Composer3，还有猜测是谷歌的Gemini 4。

最离谱的猜测当属前OpenAI CTO Ilya初创的公司SSI的大模型，毕竟他们的大模型走了一条不同于当前AI的技术方向，最近就在传要对外测试了，在OpenRoutor上用免费的方式是比较好的方式。

不过这些猜测中并不是每个都靠谱，综合各方面的分析来看，Ox Alpha最大可能还是智谱的某个新模型，可能是GLM-5.4，也有可能是GLM-5.3 Flash，各种指纹特征是最匹配GLM的。

小米Mimo V3 Pro大模型之前被认为是第二个最匹配的大模型，但也有小米员工已经辟谣，否认了这个可能性。

至于谷歌、SSI出品的大模型的可能性也基本为0，他们都是闭源大模型，之前也没有用这种方式来曝光。

网友猜测Ox Alpha来自Cursor的原因并不是技术方面的，而是Ox Alpha的算力承诺，每天100T需要相当大的算力支持，美国网友不相信中国大模型公司有这么丰厚的算力资源，能做到这个的只有美国公司，Cursor背靠马斯克的SpaceX，才有这么大的算力给网友白嫖。

当然了，美国网友这方面的蜜汁自信也情有可原，毕竟他们眼里中国的AI公司没有NVIDIA的芯片就没法提供充足的算力，但不知道智谱前不久就部署了1GW全国产芯片的算力中心了。

至于这个模型的真身，实际上有AI领域的大V早知道了，只是还不能说，而且开发者可能是大家意想不到的某个中国公司，而且会让人觉得颠覆。

这显然是在暗示又会有一个来自中国的AI技术头部玩家了。

技能相当于封装好的标准化工作流程包，平台预置超200项官方技能，覆盖办公处理、定时任务、数据统计等场景。

用户也可以直接对话新建自定义技能，将个人常用操作步骤、模板、输出标准保存下来反复调用，不用重复描述复杂指令，实现工作流复用。

连接器用于打通第三方外部服务，经过用户授权之后，豆包可访问飞书、钉钉、邮箱、财经平台等账号，直接读取、写入文档表格，自动完成信息拉取、资料归档、数据同步。

权限严格跟随用户账号，不会获取超出授权范围的数据，全部操作留痕可追溯，实现AI嵌入原有办公工作流，免去跨平台复制粘贴的繁琐操作。

工作伙伴（工作小队）提供多专业Agent角色，内置数据分析师、开发、UI设计师、撰稿人等不同定位的AI智能体，用户可以按需挑选多个角色组建AI小队，分工拆解复杂任务，分头完成调研、数据分析、撰写、设计等环节，协同输出完整结果，解决单一大模型难以处理的长链路复杂项目。

三大功能既可以独立使用，也能够互相组合联动。

典型用法示例：借助连接器拉取飞书表格数据，调用数据处理技能做统计绘图，再交由工作伙伴小队完成报告撰写，还可以设置定时自动执行整套流程。

美国以往在半导体、OS软件、航天、制药等领域就是这么做的，这种战略之前都是很成功的，但在AI竞赛中情况不一样了，因为紧随其后的竞争者是中国AI。

彭博社将中美当前的AI大模型做了个汇总，比较了美国的GPT、Fabe、Opus等大模型与中国的Kimi、GLM、Qwen、DeepSeek的AI性能。

他们得出来的结论是美国依然在前沿大模型上保持领先，但中国大模型的追赶也非常快，Kimi K3距离Fable 5、Opus 5并不远。

实际上这个表的内容已经稍显落后了，而且不够全面，首先里面并没有智谱的GLM-5.3大模型，它只用了7400多亿的参数量就在编程、智能体性能上做到了世界前列，跟Kimi K3一道成为中国AI前沿性能的代表，不输Opus 5，可能也就比参数量大几倍的Fable 5略差一点点。

更重要的还是AI大模型的费用，美国的前沿大模型定价很高，而中国这几家大模型的API价格低很多，综合性价比是美国大模型的10-20倍都不止，况且还是开源的，第三方也可以部署，做到数据安全可控，这点也是美国几家大模型不能比的。

在AI领域，美国之前用尽了各种办法，包括封杀AI芯片出口、封杀先进半导体制造及限制大模型蒸馏，寄希望于将中国的AI大模型技术差距拉到12个月，Anthropic这样极端的公司甚至希望保持领先24个月以上，然而美国的AI技术领先远远没有达到这个程度，目前可能也就领先2-3个月而已。

就以这两天为例，DeepSeek今天下午发了V4 Flash-Vision大模型，补全了多模态能力，而且整体性能比V4 Flash-0731更强了，综合能力不输Opus 4.8。

OpenRoutor上刚需的Ox Alhpa大模型基本上可以确定是智谱的GLM新版本，也补全了多模态能力，同时编程、智能体能力也很强大，这两天也在外网刷屏了。

还有一个快要发布的是小米的Mimo V3 Pro大模型，网上泄露的信息显示其性能也非常强，追平美国的前沿AI，同样也是多模态的。

总之，在AI竞赛中，中国公司的AI大模型变成了斩杀线，紧追美国那几家公司的大模型，价格优势及其明显，这就导致了美国AI公司没法赚大钱，OpenAI最近都各种降价GPT-5.6大模型，Anthropic的ARR营收增速也大幅放缓。

只要中国AI大模型还在参与比赛，美国大模型就要不停升级、降价才行，以往那种唯我独尊的优势地位没有了，一旦跑慢了就要被中国AI斩杀。

DeepSeek Harness今天更新到了0.1.1-rc.1版，在原有的DeepSeek V4 Flash及V4 Pro之外又多了一个新模型——V4 Flash Vision-Exp，也就是视觉模型的体验版。

喜欢尝鲜的网友可以用npm i -g@deepseek-ai/dsh@next命令升级体验下。

这次升级多模态模型也不意外，在昨天的DeepSeek Harness v0.1.0-rc.8版本中，DeepSeek已经打通多模态了，提到DeepSeek适配器可配置原生图片请求，/goal、/plan等命令支持图文混合输入，只要把截图+需求一起丢进去，Agent直接读图干活。

昨天的更新中就提到了他们要发一个视觉模型，毕竟多模态能力对大模型来说愈发重要，此前DeepSeek虽然不是原生多模态，但在网页上提供了识图模式，前不久的升级中这个识图模式体验还不错，又快又准。

这次整合到DeepSeek Harness中，V4 Flash Vision-Exp终于补完这个缺失环节了，对开发者来说能识图实在是太方便了。

稿子发完之后，DeepSeek官方也确认这个V4 Flash Vision-Exp模型了，表示此实验性多模态模型在文本能力上与 DeepSeek-V4-Flash 相当——包括代理、推理和世界知识。

而在多模态代理基准测试上，V4-Flash-Vision-Exp 相对于 V4-Flash 实现了重大飞跃，使多模态代理性能接近 Opus-4.8。

2019年这一数字尚不足30万，2023年底突破200万，2024年中期达到350万，如今正式站上500万台阶，7年时间增长超过16倍。

从适配软件类型分布看，办公类软件占比约32%，开发工具及中间件占比约24%，行业专用软件（政务审批、财务管理、医学影像、教育管理等）占比约28%，剩余部分为安全类、外设驱动及其他类型。

适配量快速增长的驱动力主要有两方面。一是信创采购持续放量，银河麒麟、统信UOS等主流系统在党政、金融、能源、交通等关键领域不断中标，装机量提升直接带动了软件厂商的适配积极性。

二是迁移工具与兼容层日趋完善，过去一款软件从Windows迁移到Linux可能需要一个月以上，如今多数情况下数天即可完成。

500万这个数字在实际工作中意味着什么？在大部分的工作环境中，国产操作系统已可流畅运行日常办公所需软件，无需再依赖Windows。

不过，适配数量不等于应用数量。部分行业的专业软件——如工业仿真、大型设计类等——在国产操作系统上的使用效果仍不及Windows，原生适配数量有待进一步提高。

从趋势上看，适配量增长速度并未放缓。随着信创从政府推广到金融、能源、医疗等行业，国产操作系统的易用性和兼容性也在日益完善。国产操作系统正从“可用”加速迈向“好用”。

在模型选择界面中，腾讯提供了三个选择——Hy4，标注为专家级大模型，其次是是Hy3，有个新升级的标志，介绍是全新模型，适用大部分场景。

还有一个选择是DeepSeek，介绍说明是专注推理与理解。

腾讯之前的战略中也是如此，除了部署自家的大模型之外，也会把DeepSeek等优秀开源大模型集成到自家服务中。

从介绍来看，Hy4大模型定位要比Hy3更高，定位为专家级模型，要解决更复杂的问题，这也意味着Hy4的性能也会有明显的提升，但具体怎么提升一直没有数据。

Hy4主要提升方面有2个选择，一个是更大的参数量，其他家的大模型都迈向了1万亿参数量，腾讯也有可能将Hy4提升到1万亿参数量以上，进而提升大模型的性能。

但也有可能在Hy3基础上进一步做RL后训练，类似智谱的GLM-5.2到GLM-5.3一样，不提升参数量也能大幅提升性能。

腾讯目前打造出了WorkBuddy这个国内领先的智能体应用，Hy3大模型在WorkBuddy中表现很好，Hy4预计会进一步成为WorkBuddy的顶梁柱，提高WorkBuddy的使用潜力。

今年4月底腾讯发布了Hy3 Priview预览版，7月6日发布了Hy3正式版，总参数量 295B，激活参数 21B，MTP 层参数 3.8B，它展现出显著强于同尺寸模型的智能水平，并比肩更大尺寸旗舰模型的效果，大幅提升了在各类产品和生产力任务中的实用价值。

Hy3 在软件开发、办公生产、金融建模、前端设计、游戏制作等生产力任务上的进步尤其显著，可以成为高性价比的可靠选择。

在内部组织的 270 位专家基于真实工作的模型盲测中，Hy3（均分 2.67 / 4）展现出优于 GLM5.1（均分 2.51 / 4）的表现，尤其在前端、数据与存储、CI/CD 等类别优势显著。

开启工作任务之后，侧边工作台独立于主对话窗口，一边保留正常问答对话交互，另一边实时展示任务生成的报告、表格、PPT等产出物，任务运行进度、Agent执行过程也会在侧边实时呈现。

无需关闭聊天界面，就可以一边继续下达新指令、调整需求，一边查看、编辑生成好的文档内容，修改意见可以直接在对话区输入，做到边看产物边迭代优化。

该功能适配本地电脑、云电脑两种执行环境，对于调研、批量文档处理、报告撰写这类多步骤复杂任务，同屏模式可以减少页面跳转操作，支持对照对话上下文核对产物细节。

同时侧边工作台整合技能入口，方便快速调用各类连接器与扩展能力。

功能需要升级至最新版豆包PC客户端使用，网页端、移动端暂不支持该侧边工作台能力。

搭配此前上线的云电脑能力，长耗时任务可在云端后台运行，侧边栏同步刷新状态，多端同步任务记录。

多位安全研究人员和受影响用户反馈，装上补丁后执行全系统扫描或计划扫描时，防毒引擎突然停止响应甚至直接崩溃，微软理论上堵住了提权威胁，却把最基础的病毒扫描功能搞废了，等于大门敞开。

这起事件的起因是微软与安全研究员Chaotic Eclipse的纠纷，Chaotic Eclipse此前向微软报告了Defender漏洞，微软不仅驳回了报告、拒绝支付漏洞赏金，还直接删除了他在微软安全响应中心的账户，私下却悄悄修补了相关漏洞。

Chaotic Eclipse一分钱没拿到，随后直接公开了能绕过BitLocker的严重漏洞，这次的Defender零日漏洞同样直接公开并附带了概念验证攻击代码，微软根本没有时间反应。

微软得知漏洞后极短时间内就推出了补丁，但修补并不完整，攻击者能轻易绕过限制，微软慌忙推出二次修正时，因测试不充分直接破坏了防毒引擎的核心扫描逻辑。

针对Defender扫描功能失效的情况，安全专家指出，虽然该漏洞需要攻击者已取得本地访问权限才能利用，但防毒引擎本身无法稳定运行已构成严重安全隐患，建议在微软推出有效且稳定的修复补丁之前，可考虑暂时启用第三方安全软件作为过渡。

安全专家William Dormann也在社交平台上批评，微软MSRC部门过去非常优秀，但近年微软为缩减开支裁撤了大量核心技术人员，留下的人员多半只会按程序办事且经常故意刁难，尽显官僚作风。

之前DeepSeek官方小助手也解释过了，将集中研发精力奉上更强的模型，这个也不是说说而已，实际上现在已经有相关证据出现。

网友测试发现，DeepSeek V4 Pro现在出现了新的思维链，回答问题的开头用了I’m doing的思维链，这跟之前的we need/I’ll/Let’s等思维链是不同的，这个思维链更像是之前灰度测试时的情况。

此外，B站网友也发了全程录屏的视频，证明了V4有新的思维链出现，也是跟灰测时相似，还欢迎大家打假，毕竟最近有关DeepSeek V4反转又反转的东西太多了。

目前还没看出现在的思维链具体性能有什么变化，可能是目前测试样本还太少，需要后续观察。

从这些迹象来看，DeepSeek V4，尤其是V4 Pro这个大模型应该是有不同权重版本的，而且每个能力也不太一样，所以0813版发布之后不同人测试出来的V4 Pro性能参差不齐，有的非常强，有的就很一般，甚至不如Flash模型。

考虑到上周的V4 Pro-0813版发布的种种问题，DeepSeek是需要集中精力拿出一个更稳定V4 Pro版本的，尤其是在API大涨价之后，这几天因为费用大涨，V4 Flash及Pro在国内的调用量都是暴跌，用户流失严重。

即便DeepSeek不那么在意C端用户，这样下去也是不行的，需要拿出给力的新模型或者新东西来让大家重拾对DeepSeek的信心。

提供本地电脑、云电脑两套执行环境，用户可以根据任务属性灵活选择算力载体，高负载、长耗时的重任务可交由云电脑运行，无需占用本机设备资源。

本地电脑模式适合需要读取本机文件、调用本地软件、复用浏览器登录状态的任务，此前已经支持手机远程操控已授权的Windows电脑执行操作。

而云电脑为独立隔离的云端工作沙箱，不默认访问本地设备文件，即便个人电脑关机、不在身边，任务依旧能够持续后台运行。

手机、网页、PC客户端多端同步查看进度与结果，支持定时周期性任务执行。

像公开资料调研、行业报告撰写、文献整理、批量内容生成、周期性数据统计等不依赖本机资源的工作，可以优先选用云电脑。

而处理本机文件夹、本地项目文件的工作，则继续使用本地电脑模式。

任务中心统一管理全部历史任务，支持查看进度、恢复中断任务，任务完成后推送提醒通知。

云电脑解决了本地设备配置不足、外出无电脑可用、长时间任务占用电脑的痛点，进一步强化豆包Agent生产力能力。

DeepSeek V4 Pro原生支持百万级长文本解析，官方宣传在推理、编程、智能体任务上，已经达到行业第一梯队水平。

这次SuperCLUE一共拉来13个国产模型同台对比，测评一共设置六大考核项，还特意提高了智能体编程的权重，占比达到25%，很看重模型完成完整工程任务的实力。

对比预览版，它的几项核心分数涨得很可观。智能体编程从47.37分涨到63.16分，一下子提升15.85分。

智能体任务规划上涨6.48分；幻觉控制从79.70分提升到89.73分。推理效能也同步变好，不再只是单纯堆分数，推理耗时得到优化。

当然迭代也有取舍，精确指令遵循的分数出现小幅下滑，看得出开发团队优先去强化长链路智能体、深度推理这部分能力。

横向对比Qwen3.8 Max，它在幻觉推理表现更好，不过指令遵循、智能体编程还有追赶空间，智能体任务规划依旧存在5分左右的差距。

整套测试全部是纯文本场景，智能体任务规划会受这个条件限制。

简单来说，这次更新最大看点就是编程、智能体能力，更适合写代码、做复杂任务规划的开发者。

但它并不是全维度全部变强，部分能力还有优化空间，普通用户和开发者选型的时候，可以结合自己实际需求去判断。

Windows Latest 获得了联想即将推出的IdeaPad Vibe系列产品的配置清单，里面明确出现了8GB内存及16GB内存两种选择，8GB内存的Win11 PC显然会成为接下来各大厂商主打的入门级配置了。

但是这个8GB内存容量会跟更高端一点的16GB型号区分开来，8GB是不配叫AI PC的，联想定义为非Copilot型，毕竟微软之前定义的Copilot PC标准中内存至少就是16GB容量。

在苹果推出8GB内存的MacBook Neo之后，微软及x86阵营的PC厂商合推8GB的Win11 PC已经没悬念了，现在意味着产品正式确认了，到时候就是看定价和体验了。

价格能不能干到Neo级别的不好说，但8GB内存使用Win11系统，体验好坏就完全看微软的优化了，这也是近期的一大焦点，微软试图让大家相信他们会针对8GB内存做很多优化，确保流畅体验。

不过从网友的回应来看，没多少人对微软优化8GB内存占用这事是完全放心的，毕竟Win11自带的东西太多太臃肿了，开机之后不加载多少第三方应用，至少就占用4GB内存了。

微软要想Win11流畅运行在8GB内存上，需要精简很多不太常用的功能，尤其是口碑很差的Webview2框架。

8月17日生效的新价格中，V4 Flash及Pro的API价格都全面上调，并引入了峰值价格，每日9:00——12:00、14:00——18:00为算力高峰时段，API价格在空闲基础上翻倍。

对比最新高峰价格可见，V4 Pro缓存未命中输入价格涨幅 200%、输出价格涨幅350%；缓存命中输入价格由0.025 元涨至0.3 元，最高涨幅达1100%。

考虑到DeepSeek V4的缓存命中率通常很高，因此涨价之后大部分人的实际费用体感提升强烈，平均下来差不多是之前3-5倍的花费。

对于这次的涨价，DeepSeek官方到底是出于什么原因决定的呢？虽然官方没有解释，但在用户群中，DeepSeek 小助手提到DeepSeek将集中研发精力奉上更强的模型，敬请期待。

显然DeepSeek面临的问题是算力不够，需要把更多的算力用于研发，不得已才让API大涨价，减少算力占用，集中精力研发新模型。

至于这个更强的大模型是什么，DeepSeek没提，这两天网上又开始传DeepSeek V5的消息了，说是9月份发布，性能提升非常大，达到Mythos级别，意味着比现在的Fable 5还要强。

不过这个爆料的可信度感觉一般，DeepSeek肯定已经在研发更强的大模型了，但V5不应该这么快，按照他们以往在V4/R1上的发展过程，V4后续至少还会持续迭代V4.1、V4.2。

目前的V4大模型基座能力并不差，不说V4 Flash创造了小参数量大模型的性能奇迹，就算是V4 Pro-0813也不算差，它的性能上限很高，最近新出的各种插件能让它性能稳定发挥，接近GPT-5.6 Sol或者Fable 5不是问题。

V4 Pro-0813主要的问题是性能不够稳定，有时候思维链不行，性能就很拉跨，但部分思维链下性能就非常强大，希望V4.1版解决这个问题，后训练的潜力还没完全发挥出来呢。

用户在豆包电脑端选择工作任务模式和本地电脑，再从技能栏中选择“操作电脑”，完成授权后，豆包就可以在虚拟桌面中像人一样查看屏幕、移动鼠标、点击按钮、敲击键盘，继续帮用户处理电脑端的复杂任务。

据介绍，豆包虚拟桌面基于GUI能力运行，即使没有MCP、API、插件或CLI，也能直接识别软件界面并完成操作。

例如在简历录入场景中，豆包可以自动操作本地桌面文件夹和候选人登记系统，识别界面内容后，将文件夹中的简历逐条录入系统，减少重复性的人工操作。

除了单一软件内的操作外，豆包还可以在虚拟桌面中浏览网页，并完成跨软件任务。

值得一提的是，虚拟桌面运行时不会占用用户当前正在使用的鼠标和键盘，也不会打断现有工作。

豆包可以在相对独立的环境中执行任务，用户则可以继续正常使用电脑。

整个过程中，用户还可以实时查看豆包的操作步骤，遇到需要人工确认的情况时，也可以随时暂停任务或直接接管。

VLC开发团队随后回应，问题不在VLC本身，而是Windows 11某次更新中Microsoft Defender的一个bug，把VLC的插件缓存文件当成了威胁加以隔离。

团队在回复中直言：“这是Microsoft Defender在Windows 11一次更新中引入的bug，莫名其妙把VLC的插件缓存隔离了。重装VLC或重新生成插件缓存就能解决。开源软件出了问题就叫丢脸，明明是Windows更新搞坏的，这种说法相当不尊重人。”

VLC不像其他播放器把所有功能塞进一个可执行文件，而是将编解码器、解复用器、输入输出模块等拆分成插件，按需加载，再用缓存文件避免每次启动都扫描整个插件目录。

一旦Microsoft Defender把plugins.dat缓存文件隔离或拦截，VLC每次启动都得重新处理插件系统，延迟就这么来的。

受影响的用户可以通过两种方式修复，第一种是重装VLC或重新生成插件缓存，VLC安装目录下自带vlc-cache-gen.exe工具，不过这会清除均衡器、快捷键、字幕等个性化设置。更稳妥的办法是在Microsoft Defender中为VLC安装文件夹添加排除项，防止Defender再次拦截缓存文件。

本次更新中新增了p2p命令功能，通过该命令，管理员可以获得一个直观的N×N拓扑矩阵，详细查看系统中多块显卡之间的点对点读写支持、MDF互联结构以及PCIe访问状态。

此外命令行操作也变得更加灵活，用户可以使用逗号分隔的设备索引或BDF地址进行批量查询，极大地提升了管理效率。

除了功能增强，英特尔还修复了一系列监测数据不准确的老毛病，例如PCIe吞吐量在链路闲置时不再显示为N/A，而是正确报告为0.0。

ECC纠错报错也进行了精细化处理，将可纠正错误与不可纠正错误分开统计。

更重要的是，显卡的进程显存占用现在直接从Linux内核的DRM统计信息中读取，不再通过文件描述符进行间接计算，数据准确性大幅提升。

针对服务器环境，新版本还解决了一个棘手的稳定性问题，即在重置带有活动虚拟功能的设备时，可能会引发宿主机崩溃的Bug。

同时底层守护进程也更新了Level Zero Sysman绑定，进一步增强了硬件序列号检测和多显卡拓扑报告的可靠性。

目前XPU Manager 2.1已支持Ubuntu 24.04.3及更高版本，Windows Server 2022/2025用户也可使用其中的遥测和固件更新功能。

对于GLM-5.3的表现，国内外的AI用户都很惊讶，甚至有人怀疑是智谱过拟合目前的评测项目了，但这几天网友实测表现也否定了这种跑分作弊的可能。

GLM-5.3用美国大模型1/10到1/5的参数量就做到了这么强的性能，靠的就是他们的RL后训练，这方面GLM-5.3堪称后训练之神了，而且智谱表示还有潜力可挖，估计后续的GLM-5.5还能更强。

GLM-5.3这次不仅是性能直追Fable级别，而且保持了价格优势，相比GLM-5.2没涨价，再加上使用中减少了Token用量，整体成本还是下降的。

Command Code用FlappyBench测试项目对比了GLM-5.3、Fable 5 和 GPT-5.6 Sol三个模型的性能与花费，根据功能、UX/UI和成本评分如下：

Fable 5 → 9.5/10 · $0.420

GLM 5.3 → 9/10 · $0.018

GPT-5.6 Sol → 9/10 · $0.150

结果就很明显了，Fable 5在质量上获胜，但成本是GLM 5.3的23倍，换句话说GLM-5.3的性价比高出20倍左右。

GLM 5.3的输出优于GPT 5.6 Sol，成本仅为其1/8，同样大幅领先。

虽然他们建议用户如果更看重质量，那就选择Fable 5，但这实际上是给Fable 5挽尊，GLM-5.3跟其质量差距谈不上多明显，但20倍的性价比是无法忽视的，不论是程序员个人还是公司，长期使用的成本就不一样了，选择谁是一目了然的。

再加上DeepSeek的API大涨价，缓存命中价格最多涨了11倍，整体使用成本大增，一时间口碑严重下滑，梁圣之名已经没了。

但是这两天又出现了新的研究，显示DeepSeek V4 Pro正式版的真实性能确实是很强的，不仅能达到官方所说的水平，甚至可以复现7月份灰度测试中那种让人惊艳的能力，可以说满血回归了。

DeepSeek V4 Pro正式版的性能之所以有很大差异，是跟它的思维链有重要关系，网上测试出现了we need、let me等几种情况，不同思维链的性能波动很大。

开源社区验证之后表示V4 Pro正式版严重依赖首轮工具瞄定，所以解决办法也是有的，开源社区做了个dsh-anchored-standard插件，该方案采用“首轮锚定 + 动态晋升”策略——首次请求仅暴露 2 项核心工具以锚定优质推理轨迹，一旦模型发起首次 Tool Call，立即在后续轮次解锁全部 25 项标准工具。

经过验证，在 Windows原生Project2测试中，该方案连续跑出98、99的高分，成功进入 Fable等前沿模型分数带。

该实验表明V4 Pro的核心能力并未丢失，但可能在强化学习（RL）后训练阶段对特定的 Harness脚手架与工具暴露环境存在显著过拟合。

目前这个插件已经开源，地址在这里，详细的说明也可以参考开源社区的记录，里面的分析很全面，感兴趣的可以了解下。

此外，V4 Pro正式版的表现跟他们自研的DeepSeek Harness似乎也有关系，在后者的极简模式下性能也可以很强，这似乎又跟系统提示词干扰有关，提示词反而越少越好。

回顾这几天的情况，大部分人对DeepSeek的感觉是他们原来也有可能草台班子，因为这次的V4 Pro正式版发布太混乱了，0812当晚发的版本跟0813当天新发的版本确实是不同的，模型指纹都不一样，甚至抱抱脸上的权重也换过，显得很匆忙，忙中出错。

考虑到DeepSeek这一年来面临的融资、算力紧缺、国产适配及人才融合等问题，他们的压力显然很大，已经成为国产甚至全球都瞩目的大模型公司，还有7月中旬的正式版跳票问题，所以这次出错也是情有可原。

DeepSeek已经在V4 Flash正式版上证明了自己的能力，2840亿的参数量就做到了前沿性能，所以大家对V4 Pro正式版的预期值也拉的很高，也导致了现在的口碑反转。

V4 Pro正式版1.6万亿的规模已经很强大，对比智谱在7440亿参数的GLM-5.0上训练出了GLM-5.2及GLM-5.3，性能都可以追到Fable级别，因此V4 Pro正式版的潜力还没有彻底挖掘出来呢，现在只能希望V4.1正式版几个月后满血回归了。

微软今年5月确认了Copilot超级应用的计划，此前消费版Copilot和Microsoft 365 Copilot分别面向不同用户群体，体验割裂。

合并后，个人用户会看到与Microsoft 365 Copilot风格一致的更新界面，而Microsoft 365 Copilot用户除了品牌改名和Logo微调外，基本不会感受到明显变化。

工作和学校账户同样支持统一应用，个人账户和商业账户在应用内隔离，数据互不流通。

在统一过程中部分功能被砍掉，群聊线程、消息和图片在8月18日后不会迁移到新应用，用户需要手动复制或下载保留。

播客功能对消费级用户停用，用户将无法再创建或访问Copilot中的播客，已有播客文件可在停用前单独下载。

深度研究功能同样对消费级用户停用，已有内容仍可访问，但功能本身不再提供。

微软确认，除被砍掉的功能外，用户所有Copilot数据将自动迁移到新应用，无需手动操作，统一应用以分批推送方式进行，大部分用户不会立刻看到变化。

Plummer曾参与开发Windows多款经典软件，据他本人讲述，任务管理器最初是在家里写的，后来带入微软，1996年开始随Windows系统预装。

2003年Plummer离开微软创办了自己的软件公司，此后常年活跃在社交媒体上，分享微软和Windows早期的故事。

今年早些时候，Plummer曾分享过一个任务管理器的赛博朋克风格概念设计，霓虹灯光配合合成器音乐，视觉效果拉满。

如今他把概念变成了可用的产品，相比最初的概念图有所收敛，霓虹元素还在但有所减弱，合成器音乐换成了经典摇滚。

TMOG的设计理念是融合Mac端Activity Monitor的清晰度和Windows端任务管理器的深度信息。主界面直接展示CPU、GPU、内存、存储、温度等核心数据，更深入的诊断信息放在下一层级。

Plummer表示，TMOG的体积只有Windows原版任务管理器的一半，软件目前免费，未来可能推出Pro版本。

唯一的遗憾是，TMOG目前仅支持macOS，Windows用户还需要再等一段时间，Plummer在社交媒体上宣布时表示：“Mac版今天起正式上线，Windows支持即将跟进。”

与之前传闻的不同，GLM-5.3跟GLM-5.2基座模型还是一样的7400多亿参数量，升级到万亿参数是没有的，有可能是留给GLM-5.5了，但这也没有妨碍GLM-5.3通过后训练来提升性能水平。

根据智谱说法，在多项主流基准测试中GLM-5.3是当前排名最高的开源模型，编程与智能体能力接近Claude Fable 5，编程体感超过其他国产模型。

在衡量模型于真实终端环境中完成复杂任务的Terminal-Bench 3.0上，GLM-5.3得分从4.6提升至28.3；在聚焦长程软件工程与持续代码修改能力的DeepSWE v1.1上，得分从46.2提升至66.9；

在覆盖多类真实专业场景、强调跨工具协作与长程任务的Agents' Last Exam上，得分从23.8提升至28.5。

在覆盖44种职业、考察真实高价值知识工作的GDPval-AA v2中得分1769，展现基于编程能力涌现的专业任务执行能力。

整体来看，GLM-5.3在复杂软件工程、终端操作和更广泛的真实世界 Agent任务上均取得非常显著的进步。

自研的Z.ai Code Bench评估模型在真实编程场景中的综合体感。模型会被置于复杂的本地开发环境，并在不同思考档位下执行端到端任务，更接近开发者实际使用Coding Agent时的体验。

测试结果显示，GLM-5.3在效果和Token利用率之间取得了更好的平衡。

在High档位下，GLM-5.3达到31.4%的准确率，超过Claude Opus 4.8最高档位的29.5%，每项任务平均输出约5万tokens，而Opus 4.8需要约12万tokens，意味着GLM-5.3可以用更短的执行路径完成任务。

GLM-5.3即日起上线智谱官方编程工具ZCode、效率工具AutoClaw，上线GLM Coding Plan全量用户及开放订阅。

TraeWork/TraeCode/扣子、WorkBuddy/CodeBuddy、Qoder/QwenWork、CatPaw、JoyCode、OpenCode等编码平台开放抢先体验。

API很快上线，完整模型权重将在两周内开源，此前需完成必要的安全加固，尽可能限制其潜在攻击能力，保留其防御价值。

今天13:00，GLM Coding Plan全员额度重置，所有用户后台「用量统计」可见使用额度回满。

更详细的情况可以参考官方的发布通稿。

但是V4 Pro这番折腾之后，对其他大模型公司来说可以松一口气了，因为V4 Fllash之前凭借超高的性价比成为大模型斩杀线，国产的几个大模型如MiniMax M3、GLM-5.2甚至连目前国产最强的Kimi K3都倍感压力。

涨价几倍之后，现在V4 Pro的斩杀线压力几乎没了，其他大模型就不用担心性能或者价格问题了，之前说了多次马上发布的智谱GLM-5.3这次应该真的要发布了。

Linux.do网友发帖称在Qoder的大模型列表中，已经出现了GLM-5.3的身影，介绍称其为智谱开源旗舰大模型，代码能力对标国际顶尖水平，兼具安全审查与漏洞推理能力。

从这个介绍来看，GLM-5.3的性能水平看齐国际顶尖，虽然这个顶尖到底是谁不好说，但之前的GLM-5.2已经达到了Opus水平，GLM-5.3作为它的强化版，摸一摸Opus 5或者GPT-5.6 Sol的水平还是可能的。

此前的信息显示GLM-5.3会从当前7400多亿参数量提升到1万亿参数量以上，智谱创始人唐杰称其升级水平为史诗级Plus，期待值给的很高很高。

目前在AA的大模型排行榜上，GLM-5.2得分为53分，跟DS V4 Flash-0731一样，GLM-5.3如果看齐顶尖水平，分数应该摸到60左右才行。

这一成绩在所有参测模型里排名第二，仅落后Kimi-K3，同时拥有极低的调用成本，性价比优势十分突出。

SuperCLUE-Terminal是专门面向国内开发者的实战评测标准，全部采用本土真实编程任务，统一以Claude Code作为运行框架，公平对比各大模型理解中文需求、规划任务、调用工具、排错改代码的完整能力。

每道考题需要模型完成50至110轮交互，单题完整运行半小时到一个半小时，能真实还原日常开发里的复杂工作流程。

本次榜单里Kimi-K3以60.61分排在第一，DeepSeek-V4-Pro-0813紧随其后，分数高出GLM-5.2的48.48分、老版DeepSeek-V4-Flash的46.46分。

最亮眼的是它的成本控制，单题调用仅1.42元，大概是Kimi-K3的十四分之一、GLM-5.2的十六分之一。

测评场景覆盖前端页面、3D游戏、工程脚本修改等真实需求。实测中它能完整闭环游戏开发逻辑，碰撞、计分、结算功能全部正常，页面配色、交互反馈也摆脱模板化AI风格；只是少数创意绘图类题目会出现结构小瑕疵，整体完成度依旧处于第一梯队。

对中小企业、独立开发者来说，这款模型平衡了性能和开销。头部高分模型算力成本很高，小规模团队长期使用压力大，DeepSeek-V4-Pro-0813用更低价格接近顶级代码能力。

目前发布也就1个半小时左右，GitHub上的Star就迅速突破了2.4万，成为GitHub史上最快涨星项目。

这个速度有多块呢，DeepSeek自己之前的记录是DeepSeek R1，突破2万星用了5.7天时间，之前最快突破2万Star的项目是xAI的 Grok-1，用了约 1.2 天。

DeepSeek Harness（dsh）是由DeepSeek AI开发的开源Agent Harness（智能体框架），它采用一切皆插件的架构，并由Cordis驱动。

模型、工具、技能、会话、沙箱、存储、循环、调度、UI等所有Agent能力均由插件组合而成，可以自由替换和灵活重组。

官方强调，DeepSeek Harness目前处于开发者预览阶段，正在快速迭代，未来将出现破坏兼容性的变更。

值得一提的是，之前V4 Flash-0731发布时的超高性能测试就是用它跑出来的，V4 Pro应该也是如此。

从发布之后的部分网友反馈来看，DeepSeek Harness的设计理念很独特，基于插件扩展的设定自由度很高，但它跟很多人已经熟悉的Claude Code、Codex等软件也有很大不同，用户不熟悉、不了解DeepSeek Harness能做什么也是个问题，需要一定的学习成本。

现在打开官网，DeepSeek V4 Pro正式版发布的横幅消息已经被撤回了，开放平台的公告也删除了，不过模型及价格页面的DeepSeek-V4-Pro-0813称呼还在。

这距离昨晚11点半DeepSeek-V4-Pro-0813低调发布还不到24小时，戏剧性地经历了全网欢呼——官测性能逆天——实测水平拉跨——突遭撤回的过程，让人不知道说啥好。

相比之前的V4-Flash-0731带来的惊艳及极致性价比，DeepSeek-V4-Pro-0813这次问题在于提升没有达到大家的预期，整体表现没比Flash好多少，对标Fable 5是不太可能了。

这里面到底出现了什么问题不得而知，有一种猜测是官方发布时部署出现了问题，现在的DeepSeek-V4-Pro-0813实际上还是Flash模型，性能提升不大。

但大家最担心的问题在于DeepSeek-V4-Pro-0813可能真的就是这样的性能，如果最终表现也是这样，那对DeepSeek的冲击就不小了，别的不说，光是融资估值就会打折扣。

现在官方撤回了DeepSeek-V4-Pro-0813的发布，估计还要继续调整，估计配套的DeepSeek Harness软件今天也不太可能发布了，继续等吧。

这样的提升让网友欢呼梁圣之名又回来了，然而随着更多的实际测试发布出来，现在的V4 Pro似乎还有问题，比预览版有明显提升是真的，但没有达到网友预期，也没有官方自测的那么高性能。

在官方的测试中，DeepSeek V4-Pro-0813正式版各项测试比之前的预览版几乎是天上地下的区别，Terminal Bench 2.1中87.9分比Fable 5就差0.1分，还有几个项目超越了后者，整体上确实可以说直逼Fable 5。

但是发布之后的各项测试就不太乐观，Artificialanalysis上评分53分，虽然已经很优秀，但之前的V4-Flash-0731是52分，只提升了1分显然是不能让大家满意的。

要知道Flash只是2840亿参数量，而Pro是1.6万亿参数量，相差4倍多，虽然不能直接认为性能必须有4倍提升，但现在的结果不太符合大家的预期，也没有官方测试中的该有的水平。

结合多个平台网友的反馈来看，不同人手里的V4-Pro-0813差距很大，知名的鹈鹕骑自行车、糖果、密码等测试中表现不一，部分测试结果似乎还是之前的水平。

一个合理的猜测是目前的V4-Pro-0813还没有全量部署上线，毕竟DeepSeek官方连新闻页面都没更新，最新的还是之前的Flash-0731的更新日志。

还有一个可能就是V4-Pro-0813的性能满血发挥需要配合官方的DeepSeek Harness软件才行，用过AI的都知道一个好的配套工具对大模型的影响很大，DeepSeek官方工具对V4-Pro-0813的优化显然是最优的。

当然，还有一种可能就是V4-Pro-0813的水平就是这样了，V4 Flash的惊艳表现属于不可多得的奇迹，V4-Pro-0813的1.6万亿参数量比Fable 5甚至国产的K3都有差距，不可能指望它再次以小博大。

最后的问题是价格，V4-Pro-0813的API定价是Flash的3倍，除非后面全量上线之后性能真的达到Fable级别，否则V4-Flash-0731依然是大部分人的最优选择，性价比极高（即便价格翻倍），满足多数人日常95%的使用都没问题，甚至编程开发也是够的。

目前DeepSeek-V4-Pro-0813已经正式上线，API及Chat都已经更新，调用方法不变，使用deepseek-v4-flash、deepseek-v4-pro即可调用最新版本。

大家最关心的自然是性能，V4-Pro-0813的性能分数也放出来了，除了对比预览版及Flash-0731版之外，还对比了Opus 4.8及Fable 5两款顶级大模型。

直接说结论吧，V4-Pro-0813超越Opus 4.8没啥问题，性能跟Fable 5也有来有回，不说超越不超越的，至少真的能打了。

性能跑分再补一个带K3的版本，V4-Pro-0813差不多也是K3到Fable的级别的。

最后就是价格，V4-Pro-0813整体上依然是V4-Flash的3倍价格，之前官方说了几次要调整API价格，但目前的页面上价格还是之前的，没有峰值价格，也没有说涨价多少，估计后续才会正式通知。

今年早些时候，Chrome率先停止支持Manifest V2扩展，转用权限更受限的Manifest V3框架。uBlock Origin依赖的API和权限在V3下已不可用，Chrome用户只能改用功能缩水版的uBlock Origin Lite。

微软现在也跟上了这一路线，Edge将在未来几个月内逐步默认关闭MV2扩展。

Firefox抓住这个机会在社交媒体上连发多条动态嘲讽Chrome和Edge，在“我们对uBlock Origin的支持不会改变”之前几天，Firefox还发了一条：“提醒一下，你在Firefox上仍然可以直接用广告拦截器。很疯狂的概念，我们知道。”

基于Chromium内核的浏览器并非完全封杀了广告拦截功能，用户仍然可以安装功能较弱的扩展来屏蔽广告，但像uBlock Origin这种功能完整的广告拦截器，功能确实会受到限制。

Firefox不是唯一仍支持完整广告拦截的浏览器，但确实是其中名气最大的一个。

DeepSeek在4月24日发布了V4 Flash及Pro的预览版，7月31日发布了V4 Flash-0731正式版，性能大幅提升，超越GLM-5.2，接近Opus 4.8，凭借极高的性价比斩杀了大多数AI。

接下来的重磅动作就是V4 Pro正式版及配套的DeepSeek Harness软件了，后者前几天开始了内测，但限于保密要求，具体表现一直没有明确说法。

X上有网友BruceBlue参与了内测，他给出的说法让人眼前一亮，称内测2天之后愿意称DeepSeek Harness为宇宙最强。

同时在跟网友的互动中，针对网友关心的能不能稳赢Fable的问题，他表示是吊打了。

最后他还感慨，不敢想象V4 Pro正式版及DeepSeek Harness发布之后，美股会崩成啥样——这个描述让人想起了去年R1发布之后的冲击波，当时也是被认为引发了美股AI产业链的一次暴跌。

以上信息来自于参与DeepSeek Harness的网友，V4 Pro正式版及DeepSeek Harness的表现还要等官方公布，但从V4 Flash的情况来看，4倍规模的大模型在提升后训练及升级配套的官方工具之后，性能表现确实值得期待，稳赢Fable也不是没可能。

但是也别高兴太早，AI竞赛是你追我逐的长跑，Fable之后的大模型也马上要发布了，OpenAI准备了GPT-6，Anthropic准备的是Fable 6，有可能重新拉开与国产AI的差距。

最近Meta发布了多个大模型，最新的Muse系列性能有明显提升，甚至用户选择接受把数据交给Meta，价格还能降低多达95%，比DS V4 Flash都要便宜了，美国大模型也要走性价比之路。

今晚Meta更是兑现了承诺，正式开放了Muse系列模型权重，首先拿出的是Muse Glimmer，一款30B参数的Agent模型，由Muse Spark蒸馏而来，可以在Mac或单显卡PC上本地运行。

扎克伯格也正式确认主力大模型Muse Spark 1.2的权重也会在未来几周开放。

虽然这次开放模型权重跟承诺的时间间隔了4个月，但Meta这波总算没有食言，而且扎克伯格在开源的同时还发了一封公开信，开始强烈站队开源大模型，尤其是针对备受争议的蒸馏一事做出表态。

扎克伯格表示，模型向其他模型学习本来就是开源生态的一部分，美国想继续领跑开源AI，必须放松对蒸馏和训练数据的限制。

他反对蒸馏有害的说法，强调蒸馏是无罪的，认为能观察到的东西就应该允许学习，美国如果先把自己束缚了手脚，最终只会让其他国家的开源模型追得更快。

他对蒸馏的观点跟OpenAI及Anthropic两家是不同的，后两者为了维护自己的地位，强烈反对其他家蒸馏自己的大模型，并多次游说美国国会要求将蒸馏定性为一种犯罪，对蒸馏的态度极为敌视，而且疯狂，完全不提他们的大模型本身就从全人类的知识及互联网中的积累蒸馏而来的，也包括庞大的中文资料。

当然，扎克伯格虽然对蒸馏的态度跟这两家不同，但他们的利益点其实是一样的，依然是维护美国在AI上的领先，只不过Meta支持用蒸馏的方式提升模型能力，OA两家反对别人蒸馏他们的模型，完全不反对自己蒸馏别人的数据。

Chrome今年5月曾被曝出自动下载约4GB的AI模型，用于在本地运行AI功能而非全部上传到谷歌服务器。

如今谷歌悄然更新了官方帮助文档，将空闲磁盘空间要求从4GB提升到约20GB。这20GB并非模型本身的大小，而是下载的前置条件，实际模型占用可能低于这一数字。

Edge的要求基本一致，同样需要20GB可用空间，但额外增加了一条GPU显存门槛：至少5.5GB显存。微软还表示，如果可用存储降至10GB以下，模型会被自动删除以保证浏览器其他功能正常运行。

对于存储充裕的用户来说，20GB的占用影响不大，但在硬盘容量有限的设备上，浏览器悄悄吃掉一大块存储空间确实值得关注。

好在两家都提供了关闭选项，Chrome可以在设置中的系统页面关闭设备端AI功能，Edge则会在存储不足时自动清理模型。

JMarshall23在GitHub页面说明，这是一个完全可用的原生Windows x64移植版本，使用了Word原始源代码和资源，配合现代替代方案处理16位汇编、分段内存和Win16平台边界问题，还加入了一些用于研究目的的额外功能。

Word for Windows 1.1a最初发布于三十多年前，计算机历史博物馆于2014年公开了其完整源代码，包含1021个文件、33个文件夹，涵盖C源码、x86汇编、构建工具和文档，压缩包仅7MB。

这一版本在文字处理软件发展史上具有里程碑意义，它率先在Windows上实现了所见即所得编辑、图形插入和表格功能，推动用户从WordPerfect等DOS平台迁移到Windows生态，最终确立了Word的统治地位。

Word for Windows 1.1a在加入这些功能的同时保持了极高的效率，能在个位数MHz主频的CPU和仅1MB内存的机器上流畅运行。

目前GitHub页面没有提供现成的x64可执行文件，感兴趣的用户需要自行编译。环境要求包括Visual Studio 2022（含C++桌面开发组件）、Windows 10或Windows 11 SDK、CMake 3.25及以上版本和PowerShell，按照GitHub说明即可构建运行。

本次一共纳入10款主流国产办公AI，全部产品三次测试平均分都突破91分，整体水准大幅提升，百度文心助手拿下总分第一，小米MiMo Claw位列第二。

整套测评完全贴合职场真实工作，划分五大核心能力板块，分别是数据处理、内容创作、记忆能力、代码开发、研究分析。

测试不会只跑一次结果，每一项任务都会独立重复三次，取平均值作为最终得分，避免单次波动带来的误差。

从整体榜单来看，10款产品均分达到94.53分，第一名和最后一名仅相差6.31分，头部四款产品分数全部超过96分，竞争十分激烈。

百度文心助手总分97.62分排名首位，第二名小米MiMoClaw和第三名腾讯WorkBuddy只差0.13分，微小分差能看出头部产品综合实力已经非常接近。

分维度对比能看出明显强弱分化，内容创作、记忆能力两大板块所有产品得分都接近满分，写文案、长对话留存上下文这类基础办公需求，各家基本都能稳定完成。

数据处理、行业调研得分次之，唯独代码开发维度拉开巨大断层，行业平均只有86.99分，最高分和最低分相差17.59分。

其中，小米MiMo Claw在代码开发项目里表现最好，高达97.22分，断层领先其他龙虾。

稳定性也是本次测评重点考察的指标，三次测试分数波动越小，代表日常使用表现越稳定。WorkBuddy和MaxClaw波动数值最低，每次输出结果一致性很强。

部分总分靠后的产品多次测试差异巨大，相同指令每次输出内容参差不齐，日常办公容易出现失误。

现在国产办公AI已经摆脱基础功能比拼，进入细节、稳定度、专业任务的精细化竞争阶段。

普通日常文案、简单表格处理，绝大多数产品都能胜任；如果经常处理大量数据、编写程序，文心助手、MiMo Claw这类头部产品会更适配企业办公需求。

晚点latepost刚刚报道称，字节正在讨论训练一个超过5万亿参数量的大模型，会是国内已知规模最大的大模型了。

不过这个计划还在早期阶段，不一定会最终发布。

5万亿参数量的规模也被认为是GPT-5.6或者Opus 5级别的，通常来说参数量越大，大模型的性能就越强，OpenAI及Anthropic就是靠着更高的参数量来实现性能领先的优势，据悉他们内部已经在训练甚至完成10万亿参数量大模型的准备了。

但是超高参数量也意味着超高的投入，尤其是算力资源，5万亿参数需要大量AI显卡才行，让DeepSeek算了下，以H100的算力为基准，训练这样的大模型需要10万颗H100训练347天，或者100万张显卡训练35天时间。

百万卡也到了GW级别的算力规模，要求是非常高的，字节也不可能一下子就投入这么多算力，合理的做法是20-30万张显卡训练3-4个月，再算上准备及后训练等，至少要半年时间，甚至一年之后才可能训练出来。

在算力资源上，目前最充裕的还是OpenAI，SemiAnalysis之前测算他们有200万张显卡的算力，Anthropic也有62万张显卡的算力，DeepSeek只有6万张，而且很多还是之前略显落后的H20、H800显卡。

以字节的财力满足5万亿参数大模型训练是没问题的，而且有了这样的大模型，豆包的能力做到GPT-5.6/Opus 5级别是没问题的，智商可以拉满，不用再被网友调侃了。

现在要看的就是字节是否真的准备推进这个大模型的训练了，他们要考虑的可能还是商业上的回报。

实际上前两天GLM-5.3就已经泄露了，在Github及智谱官网上都有短暂的出现，但很快被下架，意味着智谱已经准备好了，就是等个发布时机。

今天下午智谱创始人唐杰在X上回应网友时也再次确认了GLM-5.3很快就会发布，不过具体时间表是没给出的，只知道是快了。

GLM-5.3之前一度有说法会改叫GLM-5.5，但现在来看还是继续沿着GLM-5.2的命名升级，没有太大跳跃，但这次的升级幅度不会小，唐杰之前提到新版本升级幅度是史诗级plus，期待值拉的很高。

智谱公司今年6月13日推出了GLM-5.2，当时不仅是智谱最强的开源大模型，也是国产大模型中第一个在编程能力上达到美国前沿大模型的，目前在artificialanalysis上得分52分，国产中略微领先V4 Flash，低于Kimi K3。

按照史诗级plus的提升来算，如果GLM-5.3能提升5分左右，那么就达到K3的水平，如果表现远超5分提升，那可以狙击GPT-5.6及Opus 5了。

考虑到GLM-5.3据说会从GLM-5.2的7400多亿参数量提升到万亿以上，再加上智谱公认很强的后训练能力，GLM-5.3冲击60分的希望还是有的。

至于具体的发布时间，个人猜测智谱可能也是在等DeepSeek V4 Pro正式版先出招，因为V4 Flash-0731发布的那天，正好智谱宣布GLM-5.2大涨价，订阅价涨了两三倍，直接被超高性价比的V4 Flash搞得灰头土脸，也被全网嘲笑。

现在DeepSeek宣布要涨价，而且涨幅不小，对GLM-5.3来说压力也会小一点，如果性能超过了V4 Pro正式版，那智谱这次还能找回场子，否则又要被V4 Pro搞得很被动。

雷霄骅曾是中国传媒大学数字电视技术方向的博士生，在国内开发者社区，大家尊称他为“雷神”。

他长期从事音视频技术研究，围绕FFmpeg制作了大量实验项目和开发示例，并制作了一系列FFmpeg和多媒体项目的demo。

在2013至2016年前后，FFmpeg对很多初学者而言是一座极高的技术门槛，C API、AVCodec、AVFormat、AVPacket、AVFrame、编解码器、封装格式、Demux/Mux、音视频同步，每一个概念都足以让刚进入音视频领域的开发者摸索很久。雷霄骅做的事情，就是把这些复杂概念一点点拆开。

这种降低门槛的方式，影响了一批又一批国内音视频工程师，直到今天仍能看到开发者在自己的FFmpeg教程中向雷霄骅致敬。

2026年3月，雷霄骅离世十年后，中国开发者刘歧在社区邮件列表中提议，将FFmpeg 8.1版本命名为Lei，以纪念他对FFmpeg发展的贡献，如今来看，这个提议已经有了答案。

除了代号本身的纪念意义，FFmpeg 9.0在技术层面也带来了不少新特性，新版新增动画WebP解码器和解复用器，用户可以直接读取动画WebP文件。

硬件加速方面，FFmpeg 9.0通过Vulkan加入APV硬件加速，同时在支持的苹果硬件上提供由VideoToolbox加速的ProRes RAW解码。

新版还加入v360_vulkan滤镜，可借助Vulkan处理360度全景视频，NVIDIA CUDA用户获得了transpose_cuda滤镜，画面旋转与转置操作可以直接在GPU上完成。

音频方面，新版加入面向DAB+内容的HE-AAC 960解码支持，常见AAC帧配置使用1024个采样，而部分数字广播服务使用960个采样帧，此前这类内容无法被正确解码。

根据《欧盟数字市场法案》（DMA）规定，苹果须配合微软提出的互操作性请求，实现跨平台剪贴板同步功能。

目前，iOS系统仅允许第三方应用在处于前台且屏幕活跃时访问剪贴板内容，且每次复制或粘贴操作均需用户手动授权，体验较为繁琐。

微软此前已开发出一套变通方案，欧盟则持续施压苹果采纳正式标准。苹果于2026年3月正式审查该请求，并于6月底提交项目计划，目前相关功能已进入开发阶段。

据了解，苹果将借助名为“AccessorySetupKit”的框架实现通用剪贴板功能。每台设备仅需一次权限授予，一旦获得Windows PC的批准，后续内容即可在后台自动同步，无需反复确认。

这一机制与苹果现有生态内的通用剪贴板类似——后者已在iPhone与Mac之间实现无缝复制粘贴。若该功能成功落地，Windows PC用户也将享受到与Mac同等的跨设备便利。

Android用户则通过Microsoft Phone Link应用已有多年的类似体验，iPhone用户将在不久后迎来同等功能。

根据当前时间表，该功能预计最快于2027年秋季完成开发，2027年末面向开发者发布测试版本，而普通用户正式使用可能需要等到2028年初。

OpenCode日前宣称，DeepSeek V4 Flash在8月1日那一天就曝出了8万亿Token的用量，但这可不是他们的全部，实际上4月份预览版发布之后，DeepSeek V4 Flash就一直是他们用量较大的主力模型之一。

仅仅是6月10日到现在的8月4日，DeepSeek V4 Flash在OpenCode上的总用量就达到了90万亿Token，但这么恐怖的用量并没有花多少成本，因为它实在太便宜了，成本才92万美元，1亿Token综合下来只要1.02美元。

在API收费上，OpenAI及Anthropic的标准都是DeepSeek V4 Flash的几十倍，Fable 5这种级别的大模型费用甚至要100倍以上，OpenCode上的用户要是用这两家的大模型搞开发，那成本涨个30-50倍是正常的。

DeepSeek V4 Flash最近几天实在是太火了，用量大到官方服务器已经撑不住了，这两天有网友就发现会出现503报错了，提示服务器过于繁忙。

这个时候DeepSeek官方也没办法了，甚至建议用户去使用别家的大模型，切换到其他大模型服务商。

只不过用户恐怕是愿意切换的，因为其他家大模型价格贵不少不说，性能打得过0731正式版的也没几个。

就算是其他服务商也部署了DeepSeek V4 Flash 0731正式版，但API收费也做不到DeepSeek这么便宜，国内的其他几家大模型平台缓存命中费用是官方定价的10倍，而V4 Flash的缓存命中率超高，经常在90%以上，意味着换了平台成本也会大增。

联想到此前爆出的梁文锋投资会议上的演讲中提到的一件事，他表示团队并没有在C端花太多力气去获客或刻意维护，但用户却“赶都赶不走”，表现出极强的认可度与留存率——现在能理解了吧，DeepSeek在低成本上是有技术的，其他家不一定能做到。

谷歌此前承诺该版本于2026年第二季度推出，虽然略有延期，但最终赶在8月初落地。这是Chrome浏览器首次为通用ARM64 Linux发行版提供官方原生支持。

这一发布填补了长达6年的官方支持空白。自2020年Chrome登陆Arm架构macOS、2024年登陆Windows on Arm后，ARM64 Linux一直是Chrome原生支持的最后一个缺口。

在此之前，ARM64 Linux用户要使用类似Chrome的浏览器，只能依赖Linux发行版提供的开源Chromium或其他社区维护的替代方案。开源Chromium与完整版Chrome存在明显差异,用户无法同步谷歌账号，受版权保护的视频内容播放也受限。

安装方式方面，用户可从Chrome官方网站下载对应的DEB或RPM文件后，通过系统包管理器安装即可。软件包会自动添加谷歌的Chrome软件源，后续可通过APT、DNF或Zypper接收自动更新。

实测显示，该版本Chrome浏览器支持登录谷歌账号，实现书签、浏览历史、密码等跨设备同步。扩展程序支持也与x86版本一致。同时，原生支持aarch64架构的Widevine DRM模块，可观看Netflix等版权要求较严的视频平台。

对于树莓派、Pinebook笔记本等热门ARM64 Linux设备用户而言，这无疑是期待已久的好消息。谷歌还与英伟达合作，为DGX Spark等ARM Linux AI设备预置了Chrome安装通道。

根据OpenCode官推的说法，DeepSeek V4 Flash在8月1日那一天就有8万亿Token的用量，虽然其中有5万亿是免费的，但也有3万亿用量是OpenCode Go这个付费Coding Plan套餐中使用的，用量依然惊人。

DeepSeek V4 Flash不仅在OpenCode上爆发，在OpenRouter上也成为本周的第一，之前这个位置长期是被小米的MiMo-V2.5占据的，因为价格跟V4一样，但有多模态的额外优势。

DeepSeek V4 Flash能在这些平台上重回用量第一或者大幅提升的原因无外乎两点，一个是费用超低，DeepSeek官方的API本身就已经很低了，而OpenCode Go中的V4 Flash价格还可以拉到更低，大约是官方API的1/6，性价比可以说更加逆天。

当然，DeepSeek V4 Flash受欢迎也是只靠低价或者免费，0731正式版之后其编程能力已经达到了领先行列，超过了GLM-5.2，接近Opus 4.8，与GPT-5.6 Luna也是互有胜负，可以说能力站到了前排，真正可以用于生产力任务了。

对于DeepSeek V4 Flash的这个能力，网友之前将其称之为AI大模型中的斩杀线，给了其他大模型很高的压力，性能大幅领先DeepSeek V4 Flash还有生存的空间，如果性能拉不开差距，那就会被它的超低价格给斩杀，市场空间极大压缩。

这还只是DeepSeek V4 Flash的影响力，它毕竟还是个2840亿参数量的小模型，真正的大杀器是即将发布的DeepSeek V4 Pro，1.6万亿参数量，还有配套的Harness工具，等到这两个发布的那一天，大模型领域的洗牌才会正式开始。

如果V4 Pro正式版也有Flash这样幅度的性能提升，那美国的大模型还能有性能优势的恐怕就只有Fable这种级别的了，只不过价格又远高于V4 Pro这种，依然是两难的选择，到时候OpenAI及Anthropic两家应该会加大力度游说，争取让美国政府早点封杀DeepSeek V4 大模型，至少也要在美国、欧盟、日、韩等市场禁用。

国产开源大模型通常是全球可用的，有一些限制往往也是商业用途，但MiniMax H3这次有很大不同，规则中明确了开源许可排除了美国、欧盟、英国及韩国，这引发了一些美国人的不满，吐槽说他们甚至不能下载MiniMax H3大模型。

针对这些质疑，稀宇科技的开发者关系负责人Ryan Lee在X上公开回应称，他们限制美国人使用的原因源于公司与好莱坞主要电影公司的生成式视频版权诉讼。

美国用户如需部署 H3，可以正式申请授权，但必须承诺建立符合美国法律和监管要求的内容合规机制。

此前有报道，美国好莱坞的电影巨头，如迪士尼、环球影业和华纳兄弟探索频道此前起诉 MiniMax，指控该公司海螺AI未经许可使用其版权内容训练模型，并生成漫威、《星球大战》等作品中的知名角色。

美国法院今年5月驳回 MiniMax 要求撤诉的申请，案件仍在继续。

总之，MiniMax H3大模型限制美国人使用的原因没有很多人想的那么阴谋论，就是源于美国公司的版权诉讼，为了避免法律上的麻烦才做出这些限制，美国人要想下载使用也不是不可以，那就自己承诺担责。

本质上这事还是美国自己的问题，美国公司的诉讼限制了美国人使用MiniMax H3的可能性。

前两天网上就传出了DeepSeek Harness工具的内测消息，说是本周末开始，但没有官方证实，现在该项目的负责人崔添翼已经面向全球征集内测用户，特别是有过Agent Harness项目经验的开发者，发自己的Github ID和代表作就可以申请。

这个贴文下面也引来了全球的Harness开发者的兴趣，有几十个相关项目的开发者都在争取加入内测，在此类项目中热度算是非常高了。

现在不确定的是官方最终的命名是否就是DeepSeek Harness，这个名字对英文用户来说简单直接，但对国内的用户来说有点复杂，不知道是否会选择一个更简单明了的名字作为最终的商业品牌。

DeepSeek现在有的客户端/工具就是DeepSeek app，但主要用途是聊天，类似ChatGPT，现在这个很快发布的DeepSeek Harness类似于OpenAI的Codex，是一个偏向编程、办公的AI工具。

不过OpenAI现在的做法是把ChatGPT与Codex整合为一个超级app，名字还是选择了最成熟的ChatGPT，但客户端的界面和能力实际上是Codex，DeepSeek Harness完全可以用这样的方式来做，APP还是叫DeepSeek，把聊天与编程、办公等功能整合到一起。

最后就是发布时间，DeepSeek V4 Pro正式版很快会发布，Harness工具应该会跟它一起亮相，组成黄金搭档，预计是8月初了，还得再等几天。

随后，国家超算互联网宣布，DeepSeek-V4-Flash正式版模型DeepSeek-V4-Flash-0731已正式上线，同步提供API调用服务及模型文件。

据介绍，国家超算互联网现面向企业和开发者开放该模型的API调用服务，无需进行繁琐的环境配置，即可快速接入使用，为各行业提供高性能、安全可靠且普惠的全场景AI开发支撑。

用户可登录国家超算互联网官网PC端，通过首页“服务”下拉菜单进入“模型服务”专区，直达模型API调用页面。

模型能力方面，DeepSeek-V4-Flash-0731经过大量后训练，智能体能力和指令遵循能力均获得大幅提升。

在多项基准测试中，DeepSeek-V4-Flash正式版表现出色，综合性能可与当前顶级闭源模型相媲美。

据了解，目前国家超算互联网AI社区已汇集超过1700款国内外热门开源大模型，覆盖DeepSeek、GLM、Qwen、Kimi等主流模型系列。

V4 Flash-0731发布之后，之前还因为DeepSeek跳票而把梁文锋称为小梁、梁白开的网友马上恢复了梁圣的称号，因为它的表现超过了预期，官方测试性能超过了GLM-5.2，比Opus 4.8低一些，部分测试甚至能追上后者。

那V4 Flash-0731到底有多强，网上已经有很多网友自发测试了，基本上符合官方的说法，性能表现相对它284B参数来说算得上是惊艳，比很多1000B万亿大模型都要强。

如果还看不懂V4 Flash-0731的性能水平，有网友用GPT分析汇总了AI性能排行榜Artificial Analysis上的数据，结合API定价做了详细的对比，几乎囊括了国内外常见的大模型了。

这个榜单很简单，横坐标是价位，越低越好，纵坐标是性能分数，越高越好，每个大模型还根据思考挡位做了区分。

大家不想挨个对比的话，可以只看V4 Flash-0731的位置，位于它右下角的大模型意味着要么性能不如V4 Flash-0731，要么价格不如它。

简单来说，右下角的那些国内的或者国外的大模型已经被V4 Flash-0731斩杀了，侥幸不被V4 Flash-0731斩杀的主要是两种，一种是价格比它还低的，这里面主要是GPT-5.6 Luna（low）、小米的MiMo-V2.5，前者刚刚降价80%，不然也会落入斩杀线范围内。

小米的大模型之前就随着V4预览版降价了，而且还是多模态的，有一些优势，不过编程性能跟现在的V4 Flash-0731差了一截，猜测小米应该也要快要发布升级版了。

右上角不被V4 Flash-0731斩杀的大模型则是当前国内外AI巨头的主力/旗舰大模型，包括Kimi K3、Fable 5、Opus 5、Opus 4.8、GPT-5.6 Sol等，而且需要思考挡位开到Max、High级别才可以靠性能优势拉开与V4 Flash-0731的举例，脱离危险区。

总的来说，这个图表可以清晰地展示出V4 Flash-0731的能力区间，网友之前将DeepSeek定位于AI领域的斩杀线，这个概念还是很有趣且准确的，不论国内还是国外的大模型，性能超过了DeepSeek的大模型没啥奖励，但你要是连DeepSeek性能都追不上，那它超强的价格优势会让你很难受，拼价格无异于利润自杀，不拼价格就会被吸走用户。

以上这些还是V4 Flash-0731这个轻量级模型的能力，DeepSeek的杀手锏V4 Pro正式版还要再等几天，而且还有自家配套的Agent软件，考虑到其参数量是V4 Flash-0731的5倍左右，性能可期，搞不好会把斩杀线标准提升到Opus 5/GPT-5.6 Sol级别。

最后，V4 Flash-0731的命名又回到了去年R1那种版本号不变但加上日期后缀的风格了，意味着随着时间的推移，V4 Flash及Pro的后训练还会加强，每隔两三个月就要提升一次，友商也得跟上了。

之前多数AI视频工具单次只能生成十几秒短片，想要做一段完整广告、剧情片段，就得反复生成多段素材，再手动剪辑拼接，很容易出现人物变形、画面色调脱节、镜头衔接生硬等问题。

Seedance2.5把单次成片时长直接翻倍，单段最高30秒，能完整铺开设、推进、转折、收尾的叙事逻辑，一条视频就能承载完整故事，省去大量后期修补工作。

这款模型支持一次性上传图片、短视频、音频等几十份参考素材，做品牌宣传、多人短剧时，导入人物形象、产品图、固定场景参考，全程能稳住人物样貌、画面风格，不会出现前后画面违和的情况。

还支持3D白模、绿幕编辑，只修改画面里的产品、人物，机位、光影不用重新生成，微调内容更省事。

画质层面采用原生4K输出，画面细节、人物动作更顺滑，大幅减少普通AI视频常见的扭曲、模糊问题。

如果需要更长内容，还能接续生成，多轮拼接后画面、音效依旧统一，不用反复调整提示词。

需要注意，这项长视频生成能力仅对豆包专业版用户开放，普通免费版仍沿用原有短时长生成模型。

对于自媒体、小店商家、内容工作室来说，不用再搭配多款剪辑、AI工具，在豆包内完成文案构思、视频生成、局部调整整套流程，创意落地速度明显加快，商用短视频的制作门槛进一步降低。

根据官方消息，DeepSeek-V4-Flash-0731 的模型结构、尺寸和 DeepSeek-V4-Flash-preview 保持一致，仅重新进行了后训练，Agent能力大幅增强，基准测试远超 V4-Pro-Preview。

根据官方发布的对比，V4 Flash在多个AI编程能力测试中大幅提升，最夸张的一个是DeepSwe，从7.3分提升到了54.4分，性能暴涨6倍多，只能说明之前Flash在这个编程测试中表现确实不行。

官方性能对比的是国产编程代表GLM-5.2及美国的Opus 4.8，Flash整体性能超过了GLM-5.2，比Opus 4.8差一些。

还有网友让GPT整理了V4 Flash对比其他大模型的性能测试，可以看到跟国产的K3及GPT的旗舰Sol还有点差距。

著名大模型测试员的结果显示性价比上Flash依然无敌，比降价后的GPT-5.6 Luna还要少一半的费用。

以上需要注意的是，V4 Flash只是个小参数模型，2840亿参数量，激活130亿而已，而GLM-5.2是7400多亿参数，K3是2.8万亿参数，5.6 Sol及Fable 5这样的美国顶级大模型虽然每公布参数量，但公认在4-5万亿级别，保守估计也是K3这种3万亿级别的。

可以说V4 Flash只用1/10到1/3的参数量就做到了前沿级性能，DeepSeek这一波真的是后训练仙人了，而V4 Pro是1.6万亿参数量，规模大了4倍以上，意味着性能还有更大的提升空间。

按照这个幅度来算,V4 Pro正式版的性能达到甚至超过K3、Opus 5、GPT-5.6 Sol或者Fable 5都是有可能的，此前网上流传的那些V4正式版测试果然不是骗人，DeepSeek无愧于AI斩杀线的美誉，比他强的大模型没奖励，但是比他弱的就麻烦了。

从7月中旬开始，DeepSeek V4正式版的灰度测试就有各种爆料了，最近一周消停一些，DeepSeek官方也非常低调，没有再公布正式版发布的时间，现在的新证据暗示了8月3日会是个重要节点。

这个时间点是硅基流动发布的短信通知，该公司将于8月3日起调整DeepSeek V4 Pro大模型的缓存命中价格为每100万Token收费1.0元，而目前官网上的价格是0.1，DeepSeek官网上的价格则是0.025。

这个价格变动有些蹊跷，不过重要的不是价格，而是变动的时间点——8月3日，如此大幅度的涨价只可能是DeepSeek V4正式版来了，否则很难解释硅基流动的动机。

此外，在Linux.do社区刚刚也有网友发帖提到了DeepSeek V4的变化，其中flash模型一口气答对了claude opus4.5、sonnet4.5、haiku4.5的发布日期，要知道之前因为知识库的日期问题，这个问题在不联网的情况下V4是回答不对的。

测试用的是DeepSeek的API，不是网页对话，已经有多个网友测试验证，部分人能答对，应该也是灰度测试到了。

最近DeepSeek的服务也出现了不稳定的情况，这也从侧面反应了DeepSeek最近不断在小范围测试DeepSeek V4正式版，发现了问题撤回修改，如此连续折腾是为V4正式版全面推送做准备。

从7月中旬到现在，哪怕是在8月初期发布了，这一个月的时间希望DeepSeek V4正式版及配套的Agent工具能越做越好，性能不说赶超当前的三强，做到GLM 5.2/Opus 4.8之间也是好的，否则DeepSeek的压力会很大。

因为这一个多月时间不仅OpenAI、Anthropic及国内的Kimi发了新模型，而且OpenAI今天宣布降价多达80%，降价后的GPT-5.6性价比直追DeepSeek V4 Pro，再算上多模态、不停重置之类的优势，现在性价比最高的大模型反而是OpenAI的了。

目前国内其他家的大模型要么能力拉跨，要么近期价格大涨，GLM最新的订阅价格大涨2-3倍，反而不如GPT了。

据介绍，此次升级将AI能力无缝嵌入文档编辑环境。用户无论是打开腾讯文档还是本地Office文件，AI助手即驻留当前页面，随时待命。

不需要再来回切换窗口，只需用鼠标在原文件中选中文字、表格或PPT页面，用自然语言吩咐一句，AI就能就地开工。

生成的改动直接呈现在原文件中，还可以随时接手微调，或者加上批注意见让AI自己继续修改。

目前，WorkBuddy已实现对Windows、macOS、鸿蒙、安卓等主流操作系统的全面覆盖。

物美价廉的Kimi K3发布之后，美国AI巨头的估值显然会受到冲击，Stock Analysis根据未上市股权交易平台Hiive上的数据做了评估，Anthropic当前隐含估值约为8386亿美元。

作为对比，该公司5月融资时估值未9650亿美元，这一次就直接减少了13.1%，相差约1264亿美元，差不多是9000亿元的估值没了，可见K3的冲击之大。

这也能理解为什么在K3发布且开源之后，包括NVIDIA、微软等科技巨头在内的数十家企业联名呼吁美国不要封杀开源AI，而Anthropic公司拒绝加入这一行列，此前该公司也投入巨资游说美国国会要求封杀中国AI，视国产开源AI为眼中钉肉中刺。

Anthropic公司CEO达里奥日前还专门发文，虽然强调了他们不是针对开源，而是要封杀中国AI，并以国家安全、AI管控之类的名义抹黑中国AI，态度非常嚣张。

如果说去年的DeepSeek R1带来国产大模型的第一次世界冲击波，这次的Kimi K3则是第二次冲击，而且不是简单的靠性价比，是实打实的性能追上顶流闭源AI，最近美国上上下下都对K3很破防，不封杀不行，封杀了也不行。

但K3不会是终点，月之暗面内部应该是已经开始了下一代大模型Kimi K4的计划，前两天网上流传的公司庆功宴上已经确认了K4的存在，还提到K3是把AI的并行定律Scale UP，K4则是Scale the fxxk up to the moon，这句话很有摇滚极客的风格，意思是要把并行做到极致。

极致并行的K4会是什么规模？现在没有明确的消息，K3是2.8万亿参数量，K4合理推测应该是5-6万亿参数量的，比现在翻倍，差不多能达到Mthyos或者GPT-5.6 Sol大模型的级别。

但是K4如果是明年推出，5-6万亿参数量可能不会是世界最强的了，明年的大模型应该会摸到10万亿参数量的天花板，K4做到8-10万参数量才能符合他们宣传口号中的极致。

不论是5万亿还是10万亿，K4对算力的需求显然是要提升一两个级别，所以老外报道K4的消息时一直在提Kimi目前最缺的还是显卡，他们正在寻找更多的Blackwell显卡。

只能说老外的心态就是这样了，到2026年了还认为国产大模型训练完全离不开NVIDIA或者其他美国公司的AI显卡，完全无视中国公司的AI显卡目前已经能承担起万亿参数量的大模型训练，到今年底或者明年中的时候，国产AI卡的规模扩大速度及程度是会超过老外想象力的。

此外，在K3大获成功之后，月之暗面融资也非常顺利，刚刚完成35亿美元的新一轮融资，估值提升到了350亿美元，他们计划在年底港股IPO之前再次融资，估值要达到500亿美元。

AIDA64通常会在新硬件正式发布前就提前加入识别支持，这次更新涵盖了AMD和Intel多款未上市CPU家族。

AMD方面，新版本改进了对Zen 6架构处理器的支持，包括主流CPU和APU，具体涵盖Medusa Point和Medusa Ridge处理器，以及基于RDNA 4m核显的APU家族。

同时还加入了对AMD Mustang Peak的初步兼容，Mustang Peak是AMD基于Zen 6架构的线程撕裂者家族，采用2nm制程节点。AIDA64大约一个月前就曾为Mustang Peak添加过初步支持，本次更新进一步标注为早期兼容。

Intel方面，新版本加入了Panther Lake-R处理器的支持，该处理器专为恶劣环境下的设备设计，目前尚未发布。

此外，AIDA64 v8.35还新增了NVIDIA RTX Spark N1X的GPU信息识别，RTX Spark是NVIDIA的最新SoC，搭载该芯片的笔记本将在未来几周内发布。

AMD Zen 6预计明年初发布，线程撕裂者Mustang Peak预计在2027年中或年底亮相。

这次DeepSeek V4正式版跳票的重要原因据说就是跟DeepSeek要同步推出自己的Harness产品有关，后者是DeepSeek配套的编程工具，类似CC、Codex、Qoder之类，但还没有正式的名字。

根据网友泄露的一个群通知消息，DeepSeek Harness计划于本周晚些时候开启内测，首批用户会从群里的用户挑选，而且附带了严格的条件，包括提交个人资料，签署《保密承诺函》，一旦获选会被拉入内测群，并获得产品访问权限。

可能是吸取了之前梁文锋投资会议讲话被泄露的教训，通知特别强调了泄密的后果——一旦泄密，不仅会被取消资格，还会影响之后DeepSeek各类模型、产品内测以及合作机会的入选。

目前还不能确认这个通知的真假，但DeepSeek以往的大模型更习惯是发布之后才通知，只不过现在是测试配套的AI工具了，这种软件确实有提前内测的业界习惯。

如果内测是真的，那DeepSeek V4正式版也不远了，这周内测，8月中旬发布的可能性比较大，算来算去差不多跳票一个月，但只要V4正式版的效果够好够强，一切就是值得的。

Windowslast提醒称，现在从谷歌搜索下下载一些Win11应用要小心了，包括PowerToys、CrystalDiskMark、EasyBCD、Lively Wallpaper、Wintoys、SignalRGB、MKVToolNix等软件在内。

在谷歌搜索上，一些仿冒这些软件的恶意软件的下载网站的排名比正版官网的排名还高，也就是说大家直接相信搜索前列的网站有可能会中招，而且看起来能找到真实链接，但下载后就替换成了恶意软件。

多款知名软件的开发者也确认了存在活跃的仿冒攻击，反正用谷歌搜索下载网站也要小心一点。

原文没提到这是什么原因，谷歌搞竞价排名的嫌疑应该是不存在的，大概率是审核不严，被这些恶意网站在SEO优化上找到了谷歌的漏洞，话说这种事这几年来也很平常了，尤其是谷歌的中文搜索，很正经的关键词也能在前页搜索到那些菠菜、瑟瑟引流网站。

Windowslast建议大家下载Win11应用去用微软的应用商店，这个建议对海外用户来说问题不大，国内的话看情况吧，微软应用商店虽然不会直接出现恶意软件，但是蹭热度的低质软件也不少，而且搜索质量很差。

只能说从网上搜索下载软件的网站，一定要多留个心眼，多看看，做好下载杀毒。

根据网友Ding汇总的一个数据，在昨晚11点K3大模型在Huggingface上开源之后，多家美国企业也在第一时间部署了开源的K3大模型并对外提供服务。

数了一下至少有18家企业，但这肯定不是全部，接下来预计还有很多企业会切入K3，毕竟K3是目前公认的全球最强的三大大模型之一，而OpenAI及Anthropic的大模型不仅不开源，价格也非常高，限制也多，使用成本远不如开源部署。

不过部署开源版的Kimi K3也不是那么容易的，这是一款2.8万亿参数量的开源大模型，虽然最低只需要8张AMD或者NVIDIA的AI显卡，但Kimi官方推荐的是64卡集群，网上各种计算成本不一，平均来看能跑起来的门槛差不多也要几百万，真正能用于提供API服务器的成本至少1000万起步，3000万成本能比较流畅使用。

微软首席执行官纳德拉表示，MAI-Cyber-1-Flash是从零开始构建的专用模型，专注于发现复杂代码库中的深层漏洞。

当与微软安全多模型智能体扫描平台（MDASH）协同使用时，能够以行业领先模型一半的成本，提供同等水准的检测性能。

在模型使用策略上，微软透露其自研AI模型可“高效处理”约90%的用户任务，但面对“极其困难”的复杂场景时，仍会调用OpenAI的模型作为补充。

微软AI负责人同时指出，OpenAI此前发生的失控模型黑客攻击事件，已成为针对AI网络攻击日益增多的“重要警示信号”。

微软AI CEO、DeepMind联合创始人苏莱曼进一步解释，新系统采用名为“集成框架”（harness）的技术架构，能够在构筑强大AI能力的同时，内置安全保障机制。

相比完全依赖OpenAI模型，新工具的运行成本降低了50%。该产品的预览版本将率先向部分特定客户开放。

Kimi在Hugging Face官方账号创建了Kimi K3模型页面，并开启权重发布倒计时，页面显示该模型预计将在北京时间7月27月23时上线，也就是今晚11点。

这个时间点也比较适合美国当地时间，显然是想给刚上班的美国人一点震撼。

Kimi K3是一款总参数量达2.8万亿、上下文窗口达100万token的混合专家（MoE）大模型，更是全球首个面向开源社区开放的3万亿参数级别超级大模型。

在官方公布的测试结果中，Kimi K3以强悍的综合智能水平直逼国际两座大山，位列全球第三，仅排在Claude Fable 5和GPT-5.6 Sol之后。

但在编程、Agent和视觉理解等多个核心细分赛道上，Kimi K3已与这两款顶级闭源模型互有胜负，甚至在部分前沿基准中实现了强力反超。

目前使用K3的渠道主要是官方网页和API，但Kimi面临着算力不足的问题，导致服务一多就容易报错，而在开源之后全球网友就有更多的选择，甚至还可以做特调版本的K3大模型。

不过部署Kimi K3大模型也不是容易的事，据说需要2套B300这样的平台才行，配齐完整差不多要3000万元的硬件投资。

至此，WorkBuddy已完成手机、平板、PC桌面的鸿蒙全终端覆盖，为用户带来跨设备一致、流畅高效的智能办公体验。

公开数据显示，截至2026年7月，鸿蒙生态设备数量已突破7000万台。

腾讯表示，相较于Windows、macOS等主流桌面系统，智能体原生适配鸿蒙并非简单移植。

面对全新的操作系统和缺少参考案例的挑战，腾讯与华为双方团队围绕产品适配、系统能力和用户体验展开联合攻坚。

目前，WorkBuddy已打通账号登录、电脑连接、连接器、技能调用、产物预览等关键链路，并完成多项系统级权限适配，为鸿蒙用户提供开箱即用、体验一致的桌面智能体服务。

在研发过程中，WorkBuddy团队还大量使用了WorkBuddy自身的开发能力，通过“人机协同”提升研发效率。

值得一提的是，依托鸿蒙系统底层能力，WorkBuddy此次还上线了“碰一碰分享”功能，这一功能目前在其他主流桌面系统上尚无法实现。

基于鸿蒙手机“碰一碰”能力，不需要加微信，也不用扫码，就可以实现文件和对话内容的便捷分享。

在分享与AI对话的完整历史记录后，接收方还可继续与智能体交流，无需重新截图、复制或重复描述上下文，就能让任务跨设备接续执行，无缝流转。

腾讯WorkBuddy表示，此次适配鸿蒙电脑系统，进一步体现了产品的安全能力和生态拓展能力，为越来越多使用国产鸿蒙操作系统的用户带来智能、高效的办公体验。

据官方介绍，光鸭云盘TV端要求设备运行安卓7.0及以上系统，用户可通过U盘或第三方助手安装应用。

与此同时，光鸭云盘安卓、iOS客户端也迎来版本更新。

其中，安卓版新增口令分享、支付宝连续包月功能，本地文件可直接选择保存至网盘；iOS版支持自定义分享链接模板，已经下载的图片和视频也可一键保存至系统相册。

据了解，光鸭云盘于今年4月正式上线并开放注册，新用户注册即可获得永久2TB存储空间。

功能方面，光鸭云盘支持磁力链、ed2k、迅雷链及http/https链接批量云添加，对于100MB以下的文件，用户无需登录账号，即可通过链接直接下载。

会员权益方面，用户开通会员后可获得500TB超大存储空间、最高100+MB/s不限速下载、32GB云解压、原画云播及批量云添加等功能。

K3在各大AI榜单上的排名大家看过了，但它到底有多强，很多人还是没概念，网上有很多用K3生成的网页、游戏了，这两天发现了一个用K3复现WinXP系统的，体验了一下真的要大喊一声太牛了。

这个项目地址在https://windows-xp.kimi.site/，是网页版的WinXP，但原汁原味复刻了XP上的经典界面、壁纸及软件。

它也不是纯粹的展示个界面，是可以操作的，每个软件都可以打开，瑞星小狮子是可以有查杀病毒的过程的。

WinXP上最标志性的软件当然是让很多人又爱又恨的IE6浏览器，K3不仅复刻了IE6的界面，甚至连当年的网址导航页面也复现出来了。

还有当年玩得乐此不疲的蜘蛛纸牌游戏，试了下还真的可以玩。

喜欢听歌的网友一定记得当年的千千静听，打开之后里面的歌曲也符合20年前的流行音乐特色，老鼠爱大米、两只蝴蝶、黄昏等歌曲真的是回忆满满。

第三方游戏还有红警2、侠盗飞车：罪恶都市，网游则是问道，知道这个名字的玩家恐怕都不多了，而且也是能玩的。

总的来说，到了Kimi K3这种级别的大模型，能解决的不是简单的代码编写了，而是复杂的大型项目，能够用好这种级别的大模型都有相当挑战性。

可惜的是K3目前算力受限，新用户都没法购买套餐了，而且因为用户数量激增，服务可用性也被用户吐槽，这些问题都只能靠时间解决了。

在新版本中，用户进行视频或语音通话时，可以接听新的通话，功能类似手机电话中的“来电等待”。

如果用户正在与好友进行视频或语音通话，此时有新的通话呼入，界面将弹出提示。

选择接听新通话后，原通话会被挂断；选择取消，则可继续保持当前通话。

此外，微信PC版4.1.12还支持合并展示手机端发送的多张图片和视频。

当电脑端收到手机合并发送的图片或视频时，相关内容将以卡片形式集中展示，避免多张内容在聊天窗口中连续排列。

今年6月，微信派公众号宣布，微信聊天已支持多图发送后合并展示，当用户一次发送3张及以上图片或视频时，页面会出现“发送后合并展示”选项。

发送后，多张图片或视频会以合并形式呈现在聊天窗口中，用户可根据需要展开或收起，快速切换展示状态。

此前，用户在微信中一次发送多张图片时，相关内容会在聊天窗口中纵向排列，不仅容易刷屏，也会影响对话阅读体验。

万彩在主页通知产品下架的同时，也包含了一份免责声明，对网上存在的其他版本并不负责，并催促仍在使用官方版本的用户尽快备份数据并卸载软件。

在网络搜索就可以发现，其实早在2018年甚至更早的时候，就已经有人在推荐这套工具箱，虽然都是一些简单的小工具，但把这么多工具整合在一起，免费提供给用户使用，而且无广告无插件，是国产软件中难得的良心作品。

虽然到了2026年，当初极为实用的PDF工具集、图片处理工具集都有更多更方便的网页版工具可以替代，截图录屏ORC也集成在更多的常用工具中，可能万彩公司也是看到了这些小工具现在越来越随手可得，继续维护《万彩办公大师》也没有太大价值了，索性放弃了这个帮过无数人的办公小工具合集。

其实我们也是在看到网上有人怀念《万彩办公大师》时，才注意到它的下架，虽然现在网上仍有人推荐并提供下载，但我们还是建议大家可以怀念一下，但对于来源不明的软件，安全起见还是不要轻易运行。

可能人类就是只有在失去之后，才知道珍惜。除了为无数用户默默提供服务的工具软件之外，游戏也是这样。在6月份《命运2》宣布最终更新之后，进入生命末期的《命运2》迎来了某种回光返照，不但销量短时间升至全球畅销榜第一，在线人数也突破16万，比历史最好成绩还要高一半，但很可惜也没能让棒鸡改变想法。

对于Gemini 3.5 Pro，谷歌官方虽然一直强调还在继续开发，但是背地里已经在谋划后事了，那就是押注下一代的Gemini 4大模型。

在今天凌晨的财报会议上，谷歌表示下一代前沿大模型需要更大规模的基础模型，谷歌现在正在训练Gemini 4，对此非常雄心勃勃。

谷歌提到目前内部看到的Gemini 4进展让人非常兴奋，相信正式将对外发布时，人们会感到满意。

谷歌强调他们需要Gemini 4作为更大的基础模型来在那个前沿水平竞争，他们正专注于很好地执行这一目标。

不过谷歌并没有透露出Gemini 4的具体细节，从他们的表态来看Gemini 4肯定会进一步提升规模，目前的Gemini 3.X Pro的参数量一直没公布过，但超过1万亿参数是明确的，Gemini 4估计会至少达到2-3万亿参数量级别，才有可能在AI竞赛中位列前茅。

至于Gemini 4发布时间，按照之前的惯例来看，可能是年底11月份发布，去年11月18日发布了Gemini 3.0 Pro，也是谷歌大模型的高光时刻，表现力压OpenAI、Anthropic两家一头。

Primate Labs实际上并未主动公开Geekbench 7，但它们通过自家服务器发布了安装程序、文档和公开结果，实际上揭示了基准测试本身。非常符合Geekbench一贯的形象，毕竟Geekbench是大多数未公开硬件泄露的来源。

从泄漏的资料中，我们可以得知Geekbench 7增加了专用的照片编辑、游戏物理、视频编码器、音频编码器和视频解码器工作负载。游戏物理测试使用Jolt物理引擎，媒体测试则使用AV1、Opus 和 Whisper语音识别模型。

《地平线西之绝境》和《死亡搁浅2》等热门游戏都使用了Jolt物理引擎，所以这个测试会很有价值。

多个Geekbench 6测试已被移除或合并。物体移除器、地平线检测和照片滤镜现已纳入更广泛的照片编辑工作量。单独的物体检测和背景模糊测试也被取消，尽管照片库现在可以通过MobileNetV1 SSD导入图片、生成缩略图并检测物体。

其他工作负载则获得了更新的软件和数据集。编程语言现在使用Python 3.13代替Python 3.9。资产压缩处理ASTC和BC7纹理以及Draco几何体，而文件压缩则测试LZ4、zlib 和 Zstandard归档。

目前只有八个工作负载贡献多核评分。 这些功能包括文件压缩、照片库、Clang、文本处理、资产压缩、HDR、照片编辑和光线追踪。导航、HTML5浏览器、PDF查看器、动态结构、游戏物理和媒体工作负载只出现在单核部分。

Geekbench 7 的得分基线为2500分。这个参考评分基于搭载AMD锐龙7 7700处理器的联想拯救者。Geekbench 6则使用了搭载Intel 酷睿i7-12700的Dell Precision 3460。

目前已经有部分用户下载并测试了Geekbench 7。该公开数据库包含了苹果M系列系统以及近期AMD和英特尔处理器的结果，尽管Primate Labs还没有正式解禁公布Geekbench 7。

据Zero Day Initiative披露，该漏洞存在于7-Zip处理XZ分块数据的流程中，精心构造的XZ压缩数据可触发堆缓冲区溢出。攻击者利用此漏洞可在当前进程上下文中执行代码。

不过这一漏洞需要用户访问恶意页面或打开恶意文件才会被触发，并非零点击漏洞。

但实际利用门槛并不算高，攻击者可以将恶意压缩包伪装成订单、合同、发票等常见文件，通过钓鱼邮件发送给目标用户。毕竟压缩包比EXE可执行文件看上去要安全的多，用户警惕性更低。

7-Zip已在新版26.02中增加空间检查，防止解码器写入超出缓冲区范围的数据。需要注意的是，7-Zip没有自动更新功能，不会弹窗提醒，也不会后台静默升级，用户只能自行前往官网下载安装包手动更新。

查看当前版本的方法是打开7-Zip，点击帮助菜单中的关于7-Zip，考虑到7-Zip的用户基数和默认不自动更新的特性，建议所有用户尽快升级到26.02或更高版本，同时注意压缩包的来源。

Precision Innovations成立于2019年，总部位于美国加州圣迭戈，是一家成立七年的EDA软件公司。

此次收购将为西门子EDA产品组合注入AI驱动的芯片规划与设计探索能力。Precision Innovations基于开源OpenROAD框架开发EDA软件，可帮助半导体团队加速芯片流片进程。

Precision Innovations将融入西门子数字化设计创作平台，补充现有数字设计与物理实现能力。双方将打造覆盖SoC架构规划、设计实现及全生命周期管理的端到端数字化流程。

西门子表示，随着SoC复杂度快速提升，客户需要更高效的方式探索新架构。将Precision Innovations的AI驱动早期设计探索能力整合入西门子EDA产品组合，可缩短芯片流片时程并优化PPA表现。

Precision Innovations首席执行官Tom Spyrou表示，加入西门子后双方可帮助设计人员在流程早期借助AI评估数千种设计方案，将创新资源聚焦于核心价值环节。

此次收购正值EDA三巨头格局日趋固化之际，西门子正加速补强AI能力，缩小与Synopsys和Cadence在数字设计前端工具链的差距。

光鸭云盘本身是主打不限速、大容量的云存储工具，新用户注册即可免费获得2TB永久存储空间，开通会员最高扩容至500TB。

支持100GB超大单文件上传、百万级文件批量转存，兼容磁力、ed2k、迅雷链接等多格式资源批量云添加，分享文件支持直链不限速下载，100MB以内小文件接收方无需登录就能获取。

本次上线的Windows客户端重点优化传输与影音两大核心场景，传输层面搭载专属多线程传输引擎，支持完整断点续传，批量云添加资源成功率显著提升，上传、下载稳定性远优于网页端，充分跑满本地带宽，解决浏览器传输易中断、大文件卡顿的问题。

影音播放是客户端核心升级点，原生支持杜比视界、HDR10高清画质解码，适配多码率音轨切换，可加载在线、本地双类型字幕。

最高支持5倍速原画播放，相比网页播放器解码能力更强，4K高清视频起播更快、无花屏卡顿。

同时客户端开放第三方应用挂载接口，支持影视海报、简介等元数据自动刮削，方便影音爱好者管理资源库。

目前产品已覆盖网页、安卓、Windows多终端，后续还将上线macOS客户端，实现文件跨设备无缝同步，适配办公素材存储、影视资源收藏等各类使用需求。

智谱创始人唐杰在回应网友评论中确认了此事——有网友提到千问、Kimi都史诗级进化了，GLM还有戏吗，唐杰的回应是史诗级plus，意味着提升比网友提到的这些还大。

具体有多大，现在肯定没有准确的数字，但大家对GLM应该有信心，因为在Kimi K3之前，GLM-5.2是国产大模型中第一个在AI编程能力上追上Opus级别性能的。

而且GLM-5.2的参数量只有7400多亿，是Kimi K3的1/4左右，大概也只有美国顶级AI的1/5甚至更少规模，就是靠这么少的参数量实现了后训练提升的奇迹。

唐杰提到的这个史诗级plus提升的新模型应该是下一版的GLM-5.5，此前传闻是叫GLM-5.3，但现在前者的可能性更大，但也不排除推出时直接叫GLM-6了。

因为下一代大模型的参数量至少提升到1万亿以上，考虑到GLM以前是有使用DeepSeek开源的基模的历史，或许这个GLM-5.5会是跟V4 Pro一个级别的1.6万亿参数，再加上智谱公认很有水平的后训练能力，其性能提升确实值得期待，又会是一个对标Fable 5级别的国产大模型。

不过在一众国产大模型中，目前最让人心急的还是DeepSeek V4正式版，今天0点就是7月中旬的最后一刻了，小鲸鱼不会憋到半夜才发大招吧，要么就是又跳票了。

千问官网上已经有Qwen-3.8 Max的Token Plan了，目前也是Preview预览版。

Qwen-3.8 Max看介绍是最新一代基座模型，参数量达到了2.4T，也就是2.4万亿，在代码工程、专业办公、深度推理等核心场景下全面领先。

至于性能具体有多强，目前还没看到跑分或者实测，但2.4万亿的参数量是目前仅次于K3的存在，而且差距不大，理论上性能上限也非常高，只要后训练不掉链子，估计性能也能跟Fable 5掰掰手腕，总体达到Opus 4.8级别应该问题不大。

更新：千问官方已经发了新闻稿，性能是仅次于Fable 5，还在以天为单位持续进化。

4月份DeepSeek V4发布时，Pro版的参数量达到了1.6万亿，考虑到之前大部分国产大模型还在几千亿参数量级别，当时以为国产大模型也就这个级别了，没想到不到3个月时间，V4 Pro目前是国产旗舰大模型中参数量最低的了。

目前Kimi K3做到了2.8万亿，Qwen-3.8 Max这次是2.4万亿，MiniMax还有个M3 Pro，参数量预计是2.7万亿，这三家成功进入了2-3万亿大模型俱乐部。

至于DS V4 Pro的1.6万亿，虽然规模变成了几家公司中最小的，但大家也不要盲目迷信参数量，后训练做的好的话，1.6万亿参数的大模型能力也一样很能打，别忘了智谱的GLM-5.2也就是7400多亿的参数量，编程能力上也是顶尖水平的。

智谱接下来还有GLM-5.3或者GLM-5.5大模型推出，参数量也会提升到万亿以上，值得期待。

国产几家大模型公司的参数量追到了3万亿级别，这也意味着他们的算力资源有明显提升，训练能追上来，目前的问题主要集中在后期部署的推理算力还不太够用，GLM-5.2及这两天大热的Kimi K3还有服务可用性的问题，后续依然要提升推理算力。

根据德国政府公布的信息，该国正式将政府办公文档的标准格式统一为ODF（OpenDocument Format，开放文档格式），彻底将微软OOXML 格式（.docx、.xlsx、.pptx 等）排除在官方标准之外。

文档标准转向开源开放的ODF是德国近年来加强数字主权的一部分，从基础的IT数据中心、云计算平台，再到各种应用软件、办公软件，德国及多个欧盟国家都在加快转向，减少对美国的技术依赖，转向更加开放的生态，比如用Linux取代Windows等。

这次ODF标准取代微软Office文档标准，将影响德国540万公务员的办公习惯，预计在2027年内实现迁移，而德国的IT供应商、系统集成商也需要为ODF标准做深度适配。

不仅如此，德国还在开发名为OpenDesk 的主权开源办公套件（基于开源项目），目标就是彻底替代Microsoft 365办公生态。

虽然Office软件本身也能支持ODF文档标准，但微软跟开源行业的技术是不一样的，无法做到完美兼容，这次的标准更改不一定能对微软造成多大负面冲击，但Offfice以往无比顽固的生态肯定会有所松动。

这几天AI圈最火的新闻是Kimi K3的发布，这款2.8万亿参数量的大模型不仅是国内最大的，也是开源领域最大规模的大模型，GPT-5.6、Fable 5这样的美国顶级大模型参数量没公布，马斯克之前说是5-10万亿参数，但业界合理猜测是3-5万亿规模的。

正因为此，不论是Kimi K3还是GPT-5.6、Fable 5，价格都不便宜，K3大约是后两者的1/3-1/2价格，用多了也一样肉疼。

这个时候DeepSeek V4正式版就更值得期待的了，哪怕是官方明确了会在高峰期翻倍涨价，DeepSeek的整体价格依然便宜很多，而且缓存命中率超高，API不需要套餐，用多少买多少。

网上有个汇总各家大模型API价格的，V4差不多是O、A两家费用的1/30-1/70之间，平均下来便宜四五十倍不是吹的。

但是相比价格，V4正式版的能力水平才是最让人关注的，此前的V4预览版虽然被认为是开源领域综合NO.1，但在编程能力上算不上顶流，官方自评也就是接近Opus 4.6，但这三个月中国内外AI都更新一轮了。

好消息是泄露的各种V4正式版测试让人眼前一亮，目前主要集中在B站平台，测试的差不多都是一句话生成游戏的内容，这是Fabel 5这种大模型最擅长也是公认最强的地方。

看了这么多测试，V4正式版表现出来的能力绝对让人震惊，超过Opus 4.8问题不大，可能略微低于Fable 5，毕竟V4在多模态上是有缺失的，正式版是否多模态都不一定保证。

用AI圈的一个名梗来说，V4正式版的问世就好像原子弹爆炸，梁文锋看到了也要整个人眩晕并瘫坐在椅子上。

当然，话也不能说的这么慢，V4正式版泄露出来的能力太好，反而让很多人怀疑不真实，一方面目前灰测的渠道多是B站用户，其他渠道也是有的，但非常少。

其次是有人怀疑V4正式版实际上是DeepSeek路由到了Fable 5大模型上，所以性能表现其实是Fable 5的。

不过这个说法非常不符合逻辑，DeepSeek的风格也不像如此，这样造假非常容易戳穿，对品牌形象伤害极大，又没什么收益，梁文锋哪怕被大家封为梁圣，也不需要自己收1毛钱去给大家用100块钱的Fable 5。

况且很多B站用户的测试都放出了OpenCode对话链接或者全程录像视频，梁圣用Fable 5给大家造假这事就说不通。

虽然现在也不能保证V4正式版的性能真的如此炸裂，但怀疑V4正式版造假这事就能解释很多人的心理——认为美国领先、中国落后是必然的，如果国内企业做到了最强水平，首先要做的不是庆幸，而是一定要怀疑国内是在造假。

正如K3这几天在外网上遭遇的那样，有人祝贺、庆幸中国开源AI做到了顶级水平，但很多美国账号也明显破防了，说K3是在蒸馏Fable 5，抄袭美国AI，而美国公司有底线有道德，不会去蒸馏别人的大模型。

没错，AMD前企业副总裁就是这样的人。

谷歌在大模型技术上堪称奠基人，也拥有业界最强的资金、人才、算力及世界知识等优势，然而Gemini大模型除了偶尔有一阵的高光之外，很快就泯然众人矣，现在被网友戏称为北美大豆包——豆包粉丝估计会觉得冒犯，毕竟豆包是免费用的，而且情绪价值给的很高，喜欢豆包的人可能比Gemini的还多。

在Gemini 3.5 Pro一次又一次的跳票之后，而且各种传言都是表现不及预期，谷歌股价也跟着受挫，5天跌了8个点，周四周五两天就跌了6个点，按照谷歌的市值差不多蒸发了2500亿美元市值。

谷歌方面也回应了Gemini 3.5 Pro跳票、性能不行的消息，表示谷歌正在多种模型上加速推出产品，同时维持对客户而言高度符合成本效益的定价。

目前谷歌正与合作伙伴测试Gemini 3.5 Pro、升级版Flash模型及其他模型，并持续与美国政府就模型测试与更广泛的框架议题进行有建设性的合作。

总之，这个回应是标准的媒体公关，说了很多，但没有什么明确的消息，Gemini 3.5 Pro什么时候发布没公布，性能表现也不提，即便是谷歌粉丝估计也不会对谷歌这番表态有什么期待了，更别说谷歌给大家提振信心了。

在Kimi K3发布之后，谷歌面临的压力更大了，以前打不过OpenAI及Anthropic两家的大模型还情有可原，但市值4.2万亿美元、一年AI开支将近2000亿美元的谷歌，面对估值只有300多亿美元、人员总数300多人的Kimi，Gemini 3.5 Pro如果表现比K3还要差，那确实很难交代。

上一个引发国内外如此关注的是智谱的GLM-5.2，以区区7400多亿的参数量在AI编程上追上了Opus级别的美国大模型，K3这一次的性能水平和热度比GLM-5.2还要高。

再上一次有全球轰动效应的就是去年初DeepSeek R1发布那会了，一年半时间国产AI给了美国至少三次冲击波。

X上的网友评论非常有意思，当然有正面夸赞的，也有负面诋毁的，很多老外还是坚信国产AI进步是靠蒸馏OpenAI或者Anthropic的大模型才做到的，这些言论现在都没让人反驳的欲望了，就跟以前有老外诋毁中国工业制造能力一样，总以为是靠抄袭、仿制就行的。

还有一个值得思考的评论是上面这个，说谷歌居然被两个中国实验室给碾压了。

大家是否还记得此前传闻谷歌会在17日发布Gemini 3.5 Pro大模型，结果又跳票了，导致昨晚谷歌股价又跌了一波。

在AI领域，有两家公司搞不好AI是非常让人疑惑的， 一个是微软，一个是谷歌——考虑到大家对微软多年来没啥期待的态度，微软搞不好AI算是符合大家预期，但谷歌绝对不应该。

如今的AI大模型都要依赖于谷歌10年前发表的那篇殿堂级论文——《Attention Is All You Need》，而且谷歌可能拥有全球最全面的世界知识，连DeepSeek都承认这方面谷歌是最好的。

再加上谷歌本身不差钱，又有充足的算力，可以说搞好AI一切需要的资源都有，而且还是全球最好的，结果谷歌除了在Gemini 2.5 Pro高光了一阵之后，现在AI前沿领域就好像没啥存在感一样了，连马斯克的Grok都能后来居上。

不仅如此，《Attention Is All You Need》论文的八位作者如今都已经离开了谷歌，去OpenAI或者Anthropic，要么也是自己创业，谷歌在AI上的问题让人唏嘘不已，同时也非常不理解。

再回到Kimi K3本身上来，虽然有一部分还在坚持诋毁，但业内人士中也是有很多开明的，A饭、I饭的老朋友Raja Koduri都要点赞K3了，马斯克昨晚也是第一时间称赞了不起。

谷歌DeepMind部门的员工也一样点赞，开始思考，毕竟SemiAnalysis前一周才发文剖析了中国AI开发的各种问题，比如缺少计算资源，达不到前沿水平。

上面还有很多有意思的评论，最后这一条则是对K3未来的期待，有多位研究者都表示K3的潜力还很大，因为目前的版本RL后训练水平也就是中等级别的，还有很大的提升空间，预计未来几个月还会出现一次类似GPT-5.6这样的大提升。

这个预测几乎是必然发生的，K3是月之暗面首次搞2.8万亿参数级别的大模型，显然不可能一切都做到很完美，业界都公认Kimi的模型基座能力很强，但RL后训练之后还有提升空间，别忘了马斯克收购的Cousor之前就是用Kimi K2.5大模型后训练才拿出了编程能力很强的大模型。

截至发稿时，官方微博、官网新闻、公众号等渠道还没看到发布通稿，具体的技术细节还未知，但在官网的API页面上看到了K3的简单介绍。

官网称，K3是Kimi 迄今最强的旗舰模型，尤其擅长编程、游戏 / 3D 与知识类任务，最高支持1M上下文。

K3的具体性能还没数据，但此前参与过内测的国外网友几乎都给了很高的评价，包括国外的多家媒体，指出K3性能达到甚至超越了Opus 4.8的水平，部分测试甚至能有Fable 5的水平。

K3的性能水平毫无疑问还是AI编程方面的，这个领域领先的主要是GPT-5.6及Opus 4.8、Fable 5等几款美国大模型，国产大模型中第一个摸到Opus级别性能的是前不久的GLM-5.2，只用了7400多亿参数量的体量就接近了Opus 4.7的水平。

Kimi K3的参数量相比之下要大得多，之前的说法是2.5万亿，最新爆料又说是2.8万亿，是国产大模型中最高参数量的，性能上限自然也会高很多，超越Opus 4.8是有这个能力的，之前认为它应该是国产第二个Opus级别的大模型，现在来看更准确的应该是国产第一个Fable级大模型。

有网友发了AI编程中著名的鹈鹕测试，可以看看如何。

补一个刚刚用网页版K3生成的鹈鹕SVG，速度有点慢，用了大约20分钟完成，效果好像也比网上内测的那些略差，可能是网页版的K3有限制，不够满血。

DeepSeek之后还计划IPO上市，最快2027年上市，按照当前的热度，估计市值会达到万亿以上，毕竟港股上市的智谱、MiniMax之前市值就很夸张。

值得注意的是，DeepSeek目前的ARR年化收入也达到了5亿美元，差不多34亿元，虽然比OpenAI、Anthropic两家公司年化几百亿美元的收入相比还是很少，但也要注意到其中的特殊性。

与美国的AI大模型相比，DeepSeek大部分业务都是免费的，网页版不论对话还是视图都是免费使用的，API虽然也有收费，但价格很便宜。

DeepSeek V4发布之后三天就降价75%，之后是永久降价，API收费只有OpenAI、Anthropic的几十分之一，而且DeepSeek有个重要特点，那就是缓存命中率超高，折算下来DeepSeek的收费大约是美国顶级AI的2%左右。

DeepSeek表示本月中V4正式版发布之后，高峰期价格会翻倍，但这样算下来整体价格依然比美国的AI便宜二十倍左右，性价比很无敌。

至于DeepSeek为何将如此低价，根源就是中美之间的AI天生就有不同，DeepSeek有大量新技术都是用于降低推理成本的，V4在KV缓存上更是炉火纯青，现在的年化5亿美元收入预计毛利率都有50%，并不是赔本赚吆喝，低成本技术可以说是封神水平。

Kimi官方昨晚实际上都预告了K3的发布，显示会从今天开始有充值优惠活动，但很快又把页面下架，即便如此K3的发布也就是这一两天的事了。

至于Kimi K3的性能水平，有提前测试的网友给出了一些对比结果，跑分结果超越了Opus 4.7、GPT-5.5及最新的GPT-5.6 Terra，但是比GPT-5.6 Sol和Fable 5两款大模型还要差一些。

这样的结果已经相当意外了，毕竟GPT-5.6 Sol和Fable 5是OpenAI和Anthropic两家旗舰中的旗舰大模型，参数量据信是远高于当前大模型水准的，成本也非常高，国产AI在算力不足的情况下很难超越这两个级别的AI水平。

Kimi K3的参数量预计是2.5万亿级别，仅会显著超越DS V4 Pro的1.6万亿规模，也超过了之前百度发布的文心5.0的2.4万亿，算是国产大模型中的规模最大的产品了。

此外它还会有1M上下文及多模态支持，2.5万亿+多模态的双重能力在国产大模型中绝对能当一哥了。

FireFox之前是不太愿意跟进这个的，但最终也加入了版本狂魔之列，宣布从9月份的155版开始，软件升级周期从4周变成2周。

最早宣布4周变2周更新的是Chrome这边，3月份就宣布9月8日的153版就要改了，Edge浏览器是在6月份跟进的，但是第一个推进的，8月27日的152版Edge浏览器就会变成2周更新一版本。

FireFox对这次的更新周期还有点拿不准，表示是试验性的，如果行不通还有可能撤回这一决定，毕竟要考虑到FireFox是自己的浏览器内核Gecko，而Chrome、Edge都是Chromium内核的，微软2周跟进升级并不难。

如果是不喜欢频繁更新的企业级用户，FireFox这边有ESR长期版，其他两家可以把升级周期延长到8周。

至于浏览器这么频繁升级到底有啥好处、坏处，大家也是见仁见智，升级快了能更快体验到新功能，适合尝鲜。

大家可能有段时间没听过小龙虾的新闻了，但真看了它的谷歌趋势指数，才发觉暴跌速度竟然如此之快，去年11月份发布，今年1月份开始爆发，3月份是巅峰，那时候国内知名或者不知名的互联网公司都复刻了OpenClaw的模式做了自己的小龙虾产品，有的公司甚至推出了好几款同类产品。

然而OpenClaw的热度在4月份就开始暴跌，现在的7月份不能说归零，但也差不多了，热度来的很快，跌的更快。

OpenClaw作为一款产品倒是没有停止，事实上还在更新，只不过更新强度也不像之前那样疯狂了，本月初创始人还联合Dave Morin成立 OpenClaw Foundation，定位为一个AI领域的瑞士那样的中立组织，基金会使命为"让AI个性化、有趣、赋权所有人"。

至于大家为何不再热衷使用OpenClaw，原因也不复杂，首先是OpenClaw自身的问题，刚开始的时候配置复杂，下载安装再到升级维护都需要很强的动手能力，CLI窗口虽然高效，但与大众的使用习惯不符。

现在虽然有了桌面端，也原生支持Windows系统了，易用性有很大改进，但一切都晚了。

其次是现在的外部环境也变了，但凡是个AI公司都有了自己的Agent产品，比OpenClaw做的更好用的也有很多，尤其是国内的几家公司，一站式解决方案，还能整合自家的大模型，一条龙服务的便利性在国内是OpenClaw永远没法比的。

总之，OpenClaw应该算是到目前位置AI史上最出圈的产品，一度红到发紫，互联网用户都在抢着装，然而这样的热度没有持久下去，它完成了自己在特殊时间的特殊使命。

刚清理完的C盘干干净净清清爽爽，但可能过几天没留神，C盘就又红了。正常使用时产生一些垃圾文件其实是正常的，但有时候明显会出现异常空间占用，就有必要找到元凶了。

WizTree或TreeSize这样的磁盘分析工具可以帮你找到那些文件夹占有用最多的空间，但Windows系统那复杂的文件结构让人难以判断那些时垃圾，又有那些垃圾增长的过快。

网友Kami958也同样被这个问题所困扰，为了解决这个问题，找出那个偷偷占用空间的目录，他开发了一款名字非常直白的工具：WhoShitsOnMyC（谁在我的C盘拉shi？）

WhoShitsOnMyC工具可以在清理完C盘之后，对C盘的文件目录和体积生成一张快照，当下次C盘又变红的时候，重新生成新的快照和之前进行对比，就可以一眼看出那些目录变大了，精准找到占用空间的元凶。

如果发现是某个特定文件夹总是占用过多空间，就可以精准找到产生垃圾文件的原因，从而解决源头问题，一劳永逸。

WhoShitsOnMyC完全开源免费，有兴趣的朋友可以到github.com/Kami958/WhoShitsonMyC/releases下载，需要注意的是这个项目非常新，刚刚上线没几天，如果担心出现BUG的话，也可以等一段时间稳定了再使用。

例如用户在搜索时出现拼写错误，将“Outlook”拼成“utlook”，现在Win11也会优先返回本地已安装的Outlook应用而非网页上“utlook”的搜索结果。

另外本地搜索的性能也获得了提升，并且增加了双关键词搜索的支持，方便用户使用多个关键词进行更高效的搜索。同时稳定性也得到了提升。

还有一点可能更受欢迎，微软这次简化搜索主页，移除了推荐卡、热门搜索、游戏等广告内容，网页搜索结果也不会再将相关产品广告放在正确信息的上方。

目前这项测试正逐步在Windows Insiders频道展开，但微软表示测试可能因地区不同有所差异，可能并非所有测试用户都能收到。

不管怎么说，微软似乎真的开始在好好修理Windows 11了。

使用PC Insights可实时读取CPU、内存、GPU占用率，以及存储空间总量与剩余容量等核心数据，用户未来遇到故障或者想要了解当前设备运行状态，不需要打开任务管理器排查原因，只需要调用PC Insights，通过直接询问就能让AI辅助定位问题根源。

除此之外，该功能还可辅助判断存储容量是否满足需求，例如当设备仅剩余87GB可用空间时，用户询问能否安装100GB的游戏，PC Insights可直接给出明确答复，无需手动计算剩余容量。

数据采集维度上，PC Insights获得用户明确授权后，检测范围还可进一步扩展：包括计算文件夹与单个文件大小、识别已连接的USB设备、外置硬盘、打印机、摄像头等外设，同时可追踪蓝牙、Wi-Fi、网卡、电池健康、杀毒软件状态、BIOS版本以及整机硬件规格等信息。

关于用户隐私方面，微软明确强调，PC Insights仅在用户主动授权后才会调用本机系统信息，且访问前会弹出专门的授权提示，官方承诺不会存储用户的个人文件与系统数据，相关信息也不会用于AI模型训练。

值得注意的是，由于桌面版Copilot内嵌了基于Chromium内核的Microsoft Edge组件，本体空载状态下内存占用就已达到800MB，峰值接近1GB，本身会占用一定系统资源，或影响其在低配置设备上的使用体验，该功能距离面向普通用户正式落地普及还需进一步优化。

目前微软已面向美国地区的部分Windows 11用户开启小范围测试，该功能的正式推送时间尚未公布。

LV.1截图是图

这是最基础的截图用法，用户框选画面后，可以添加文字、绘制线条、涂鸦或使用箭头进行标注，满足日常沟通、内容说明等需求。

LV.2截图不只是图

面对信息量较大的画面，微信截图不仅能保存图片，还能进一步识别和处理其中的内容。

在文字翻译方面，遇到看不懂的外文内容，只需截取对应区域，即可直接进行翻译。

当图片中的文字无法复制时，还可以使用文字提取功能，将截图内容识别为可复制、可编辑的文本，省去手动输入的麻烦。

对于聊天记录、订单信息等包含隐私的画面，微信截图还提供一键打码功能。

点击相应按钮后，系统可自动识别头像、昵称、电话号码等隐私信息并进行遮挡，用户也能通过鼠标手动批量框选需要打码的区域，大幅提高处理效率。

LV.3截图还是图

除了处理文字和隐私信息，微信截图还具备一些容易被忽略的实用能力。

用户按下截图快捷键后，将鼠标移动至画面任意位置，即可查看当前位置对应的颜色色值，并支持通过快捷键直接复制，方便设计、修图等场景使用。

此外，在框选截图区域时，左上角还会实时显示当前区域的像素尺寸，帮助用户快速判断图片大小，无需借助其他软件查看。

从基础标注，到翻译、文字提取、一键打码，再到色值和尺寸识别，电脑端微信截图早已不只是简单的截屏工具。

市面上现有的AI世界模型基本分成两条路线，交互式视频生成只能短时间浏览，视频播放结束就没法继续探索；3D场景生成出来的空间互相独立，场景之间没法连通。

高德这次直接把两种技术整合到同一套工具里，既能做长时漫游视频，也能产出带真实空间结构的3DGS场景文件，生成的虚拟世界可以保存、分享，搭建公共场景库。

它最大的突破是长时间生成不崩图，同类产品大多只能稳定生成一分钟左右画面，这款工坊经过实测，连续推理一小时画面依旧清晰，不会出现画质崩坏、画面扭曲的问题。

模型完整还原现实物理规则，用户在场景里移动、互动，环境都会实时做出对应反馈，不再是固定循环的视频画面。

内置的时空任意门是最有创意的设计，每一道门都能连接完全不同的独立3D空间。可以在江南水乡的木门直通赛博都市，也能从古风渡口跳转边关要塞，原本割裂的场景通过任意门串联，形成无限延伸的探索网络。

整套工具底层依托两套自研模型，ABot-World0负责交互式视频漫游，优化算法减少画面误差堆积；ABot-3DWorld0负责三维空间生成，同一套架构可以生成室内、街道、城市航拍全尺度场景，生成后还会自动评估修复画面细节，保证画质稳定。

整套模型全部开源，不用高端专业服务器，消费级显卡就能本地部署运行。

落地场景覆盖多个行业，做机器人开发可以用来搭建仿真训练场；游戏、影视创作者能快速生成可交互3D场景，把创意验证周期从几周压缩到几小时；文旅、教育领域也能发挥作用，用户可以沉浸式走进名画、古文明场景，不再只能被动观看视频。

目前 ABot-World Studio已经开放测试，有创作、仿真需求的用户可以直接申请体验，依靠单张主流高端显卡，就能自由搭建、穿梭自己打造的各类AI三维世界。

打开资源管理器发现C盘又红了怎么办？

除了Windows自带的存储感知工具可以帮助用户清理长时间使用积累的垃圾文件外，很多人也会选用更高效的第三方工具，比如老牌的CCleaner或Dism++之外，也有很多玩家会选择PrivaZer，都是非常好用的硬盘清理工具。

今天给大家推荐另一款开源免费的清理工具：BleachBit，它不但支持全系列Windows系统，甚至还有Linux系统版本。

BleachBit不包含任何广告、附加软件或高级功能。相反，它让用户能够完全掌控需要删除的内容，并在运行之前详细说明各项清理选项的详细信息。

官网直接提供有安装包和绿色版可选，下载直接运行即可，自带简体中文，使用起来毫无门槛。

BleachBit可以单独扫描不同的软件所产生的垃圾文件，比如各种浏览器、Office或Windows Defender，并将各种垃圾文件进行分类，比如浏览器你可以保留历史记录密码等信息，只清理Cookis和崩溃报告这种无用的垃圾。

当然深度扫描系统垃圾也是基本功能，而且扫描和清理系统垃圾时会有单独的风险提示，需要手动开启专家模式，对新手来说更安全，不会删错文件导致系统不稳定。

BleachBit的官方网站是【www.bleachbit.org/】，需要的朋友可以直接访问下载。

美国时间还是深更半夜，马斯克就开始在X上转推有关Grok 4.5的消息了，RequestyAI也评测了多个大模型的代码测试能力，结果Grok 4.5以88分的成绩位列第一，也是有史以来的最高分。

马斯克也迫不及待地转发了这个帖子，表示Grok 4.5 在至少几个基准测试中排名第1，比预期好。

对于Grok 4.5来说，论性能应该还是超不过Fable 5这种级别的大模型的，马斯克自己也承认，但他也提到了一个很有说服力的说法，那就是大部分任务也用不到Fable 5这样的大模型。

事实也是如此，就算Fable 5性能最出众，但它的定位和价格就注定了大部分开发者没法畅快使用，除了个别任务需要用到Fable 5之外，大部分任务有Opus级别大模型的能力都是超预期了。

如果是看OpenRoutor的调用量，大众需要的大模型，哪怕是开发者需要的代码能力也没那么高，DeepSeek V4 Flash这种用量才是最高的。

当然，大模型的顶级性能还是各大公司竞争的制高点，目前还是OpenAI和Anthropic领先一步，谷歌Gemini 3.5 Pro不能爆发一波的话，御三家的位置要被马斯克的Grok取代了。

国内这边智谱GLM-5.2在AI编程上领先，但DeepSeek V4正式版预计会追上来，后面还有月之暗面的Kimi K3和稀宇科技的MiniMax M3 Pro，参数量和能力都会再上一个台阶，追赶Opus级别的性能还是可以期待一下的。

OpenAI当前最新的产品是GPT-5.6，6月26日就发布了，但初期只面向特定渠道，这几天据说才会面向公众发布，有早期体验者表示进步很大，但比不上Fable 5这样的大模型。

GPT-5.6跟5.5还是同一个基座大模型，OpenAI不准备继续在这个基座上打磨了，要把研发中的GPT-6大模型快速推向市场。

据爆料者声称，GPT-6 预计会在一个月内推出，比预期更早，最快可能在本月晚些时候发布。

GPT-6将基于一个全新的、规模显著更大的预训练模型，目前GPT-5.5/5.6 “Spud” 的基座模型大约是4万亿参数，不过具体多大它也没说。

OpenAI对GPT-6期望值很高，相信它不仅能跟Fable 5比，甚至连尚未发布的Fable 5.1也能竞争，后者也是差不多的时间点发布，Anthropic预计是几周内推出。

有意思的是，这个爆料还提到了中国大模型的进展，DeepSeek V4正式版月中发布已经官宣了，编程能力至少能追到GLM-5.2，而MiniMax M3还会有个2.7万亿参数量的Pro版，预计会是国内最大规模的开源大模型。

他们没有提到其实还有月之暗面的K3大模型，之前公司员工爆料说也是7月发布，这个参数量预计也有2.5万亿，比V4 Pro的1.6万亿还大。

智谱目前的GLM-5.2编程能力已经追上顶级大模型，接下来还有GLM-5.3及5.5，创始人唐杰此前表示有信心今年内追上Mythos级别的能力。

美国御三家AI中谷歌现在已经掉队了，Gemini 3.5 Pro说是月中发布，除非编程能力大幅提升，否则前景真的不太乐观，最近核心研发人员流失较多。

反倒是马斯克的xAI发布的Grok 4.5超乎大家意料，编程能力上也达到了Opus级别，后续还有6万亿、10万亿参数量的大模型在训练中，谷歌再不努力的话，御三家的牌坊之一就要给马斯克了。

这款模型最大变化是告别单纯出图，深度贴合真实设计流程，四大核心能力解决企业批量制图痛点。

首先是交互式精准编辑，不用反复改写提示词，直接圈选、点选画面局部，支持草图转成品、单独换材质、拆分独立图层，改图不用整张重绘，电商修图、影视场景迭代效率大幅提升。

其次能稳定输出高密度信息图，复杂图表、科普绘本、多文字PPT都能一次性排版整齐，文字不会错乱遗漏，适合知识科普、课程课件制作。

画面写实能力也大幅升级，能还原不同材质反光、自然光影与人脸皮肤细节，人像、建筑、静物都能拍出接近实拍的质感，3A写实角色也能流畅生成。

全球化内容制作需求也被覆盖，原生支持十多种主流语种，阿拉伯语、西语、日韩文字都能规范排版，适配跨境电商出海物料批量产出。

适用场景覆盖很广，电商批量制作商品详情图、广告快速迭代多版本海报、教育批量生成习题图解、影视前期概念图、海外多语言宣传物料都能用上。

早在6月的FORCE大会上这套模型就已经亮相，如今API正式落地，企业可以把专业AI绘图能力接入自身工作流程，降低视觉内容的制作成本。

从Openrutor的调用量来看，国产AI已经势不可挡，比OpenAI、Anthropic的大模型收费便宜几十倍，美国公司也开始大量使用中国的AI大模型，何况很多AI还是开源的，可以自己部署。

为了抹黑中国的AI，美国之前还坚持一个观点——认为中国AI的发展对半导体行业来说是利空，会对美国几千亿美元的AI开支带来负面影响。

但美国官方恐怕已经很难阻止中国AI大模型在全球扩散了，既然打不过那就加入，美国银行BofA现在率先调整观点，开始夸中国公司的低价AI对半导体行业来说是好消息，而非坏消息。

理由也很简单，中国AI大幅降低了成本，更便宜的AI意味着更广泛的使用，这对AI芯片、HBM内存、网络设备及数据中心电力和基础设施来说是爆炸性的需求增长。

最终会继续保持AI基建投资的繁荣与强劲增长，云端AI资本支出仍将朝着2027年高达1.5万亿美元的巨额数字推进。

PS：纵观美国这些金融机构或者AI行业的公司，不论是各种角度抹黑中国的AI，还是现在转变态度夸中国AI的低价优势，本质上都是要吹AI基建投资还得涨，因为AI投资不仅是拉动美国GDP增长的主要动力，也是AI行业泡沫不破的核心因素。

大家可以注意到从NVIDIA到OpenAI再到三星、美光，这些公司对外表态都是在强调AI需求还在爆发，基建投资一年要几万亿美元才行，现在远没有到过剩的程度。

他们的动机一望而知，已经到了无视这个行业的利润几乎都被NVIDIA、三星、SK海力士、美光这少数几家公司吸走的事实。

今天，SuperCLUE放出Hy3模型编程相关测评数据，直接和DeepSeek-V4-Pro这类热门模型同台比拼代码能力。

这次测评专门针对国内程序员日常写代码的真实场景，拿多款主流大模型一起对比。测试每道编程任务都要来回沟通几十轮，一步步完成代码分析、修改和校验，更贴近平时开发调试的真实流程。

测评从四个维度对比各模型，分别是使用成本、运行速度、沟通轮次和token消耗，开发者能根据自己的预算和效率需求选合适的模型。

平均每题价格方面，Hy3高分版本拿到47.37分，和DeepSeek-V4-Pro分数完全持平。它整体参数只有295B，不少对标模型参数比它大四五倍，却没能拉开差距，能看出模型架构和训练方式做了不少优化。

成本这块Hy3优势很明显，完成一道编程题目平均只要0.43元，长期高频调用也不会有太高开销，商用落地压力更小。

运行速度也排在前列，单题平均不到400秒，适合需要快速响应的实时写代码、线上调试场景。

沟通效率同样亮眼，平均40多轮对话就能做完整套任务，不用反复调整指令修正代码，收敛速度更快。同时它每次任务消耗的token只有116万左右，占用云端算力更少，平台运行压力更低。

对于经常用AI辅助开发的人来说，Hy3兼顾性能和花销，是个不错的选择。

B站用户冬眠的松鼠昨晚发了3个视频，都是在测试DeepSeek V4正式版，主要是其生成游戏的能力，分别测试了两次生成我的世界、一次生成CSGO这样的游戏。

看了视频，生成的游戏完成度已经挺高了，而且测试花费很低，CSGO游戏生成只花了9毛钱。

虽然这里的游戏测试没有提供明确的AI性能对比，但是大家需要知道，一句话生成游戏本来就是目前最为考验大模型能力的测试，之前Fable 5这种美国顶级大模型的游戏生成能力就震撼了很多用户。

现在不敢说DeepSeek V4正式版就能对标Fable 5这种级别的大模型，但是对比当前的V4预览版显然是有性能大幅提升的，因为现在的V4并没有一次性生成游戏的能力，AI编程能力谈不上很强，只能说部分场合下能用而已。

DeepSeek说的月中发布也就是10-20号范围之间，距离现在也就一周左右时间了，开始灰度测试应该符合常理，估计这几天会有更多人推送灰度测试，还会有更多测试结果出现，到时候再来验证。

从DeepSeek宣布高峰期涨价一事来看，个人也认为V4正式版的性能会有明显提升才行，否则DeepSeek到时候只会面对更多的非议，只有性能大提升才会让大家接受并认为这次的涨价是有道理的。

届时Word、Excel、PowerPoint、Outlook和OneNote等组件将只能打开和打印文件，无法进行编辑、保存或创建新文档。

该限制同时覆盖iPhone和iPad端运行iPadOS 16与iOS 16及更早系统的Office应用。

此次变动的根源在于数字证书过期。微软用于验证Office授权合法性的数字证书将于7月13日到期。

微软已为仍在支持周期内的Office版本更新了证书，但Office 2019 for Mac已于2023年10月10日结束官方支持，不再接收任何更新。

该版本被锁定在低于16.83的版本号，无法获取包含新证书的更新。微软明确表示，这一问题无法通过更新或重装解决。

功能受限模式下，用户界面将出现许可证无效的提示弹窗。编辑功能区被禁用，保存按钮失效，新建文档功能无法使用。

唯一能做的就是打开已有文件进行查看，以及通过打印功能输出纸质或PDF版本。相当于一次性买断的办公套件彻底退化为只读浏览器。

Office 2019 for Mac用户若想继续编辑文档，主要有三条出路：订阅Microsoft 365、一次性购买Office 2024、或通过浏览器免费使用网页版Office。

建议用户在7月13日前完成重要文档的备份，避免因功能限制导致无法保存最新修改。

值得一提的是，Windows版Office 2019不受此问题影响。

这份图表分为四个象限，横轴代表单题平均花费，纵轴是编程任务综合得分。四个区域分别对应四类模型定位，高分低价的超值领航者综合实力最强，高价低分的溢价探索者体验相对一般。

小米MiMo-V2.5-Pro落在经济适用者区域，编程总分49.47分，单题成本仅0.22元，是所有参评模型里单价最低的一款。

同等预算下能完成更多编程任务，基础代码编写、简单工程调试都能稳定完成，低成本也能拿到不错的编程效果。

智谱AI GLM-5.2 (max)拿到全场最高64.13分，划分在高端质优者区间，编程能力断层领先，但单题单价4.35元，使用成本偏高，更适合对代码精度要求极高、预算充足的专业开发场景。

月之暗面Kimi-K2.7-Code得分55.43分，单价2.97 元，综合平衡度不错。

此外，字节跳动Doubao-Seed-2.1-Pro、阿里Qwen3.7-Max、深度求索DeepSeek、稀宇MiniMax、美团LongCat也有体现，为开发者和企业在大模型选型时提供一份兼顾性能与成本的直观参考。

按照官方公开的说明，WPS的免费基础功能板块多年来一直在持续扩容，过去从来没有过、未来也绝对不会把已经向公众开放的免费基础功能，突然调整为需要付费解锁的收费内容。

近些年WPS一直在对在售的会员体系做精简梳理，目前官方会员产品已经收敛为超级会员、大会员两大类，调整过程中各级会员对应的权益始终保持持续增加的态势，从来没有把原本属于低价会员的已有权益，私自转移到更高档位的会员体系中。

仅有极个别权益因为产品体验迭代、技术架构升级或者第三方合作到期等特殊原因确实需要下架，官方也都会提前发布公告告知所有用户，同步给出对应的替代解决方案。

除此之外，少数接入的第三方专属服务、AI办公智能体这类运行成本极高的特殊服务，后续会以独立权益包或者按量计费的模式对外提供，用户完全可以根据自己的实际使用需求自主选择是否购买。

这类付费服务和WPS原有的会员权益会做明确区隔，不管用户有没有购买这类额外服务，都不会影响原本就能正常使用的免费功能和已购会员的全部权益。

金山办公公开回应称，对于所有用户提出的合理批评和优化建议，团队后续会持续认真听取，第一时间落地改进。而针对个别恶意造谣、蓄意诽谤品牌和产品的行为，金山办公也明确表示一定会通过法律途径维护自身合法权益。

此次功能更新，Edge 150稳定版在浏览器右上角个人资料头像入口下方，新增独立的“使用Google账号登录”选项，用户完成授权后，该Google账号将直接作为当前Edge配置文件的身份标识，无需额外注册或绑定微软账号，即可启用完整跨设备同步能力。

除了可以一键同步书签等数据外，在Edge内访问支持Google联合登录的第三方网站时，还能直接调用已登录的Google身份进行快捷授权，减少重复输入环节。

而且个人配置文件完全基于Google账号运行，不再强制要求建立或关联微软账户，降低从Chrome向Edge迁移的数据迁移门槛。

目前该功能采取受控渐进式部署（Controlled Rollout）策略，首批面向Windows与macOS平台的Edge 150稳定版用户开放，后续将逐步扩大覆盖范围。

据此前消息，早在2020年，微软曾明确表示，无计划在Edge浏览器中整合Google账户服务，当时的官方建议是引导用户使用Gmail邮箱注册为微软账户，以实现跨设备同步，随着此后数年全球浏览器市场竞争持续加剧，Edge市场份额提升缓慢，在此背景下，微软最终选择调整既有账户绑定策略。

最新消息称，Gemini 3.5 Pro大模型会在7月17日发布，有意思的是7月中旬这个时间点恰好是DeepSeek V4正式版发布的日子，国内外两款旗舰大模型同场比拼值得关注下。

Gemini 3.5 Pro之所以延期发布，原因就在于团队希望用额外的时间来进行新的预训练，而不是基于旧的Gemini 2.5 Pro大模型微调。

根据这个爆料，Gemini 3.5 Pro的提升主要是在前端生成方面，有了重大飞跃，设计品味更好，UI更简洁，SVG生成更强大，一次性前端结果也更加精炼。

在游戏开发上也有很大进步，但是Gemini 3.5 Pro还是不可能超过Anthropic的Fable 5大模型。

Gemini 3.5 Pro大模型这一次会是个重大升级，谷歌不会再基于之前的Gemini 2.5 Pro进行改良，应该是一个全新的底座大模型，宁愿跳票也要多花点时间来训练，因此性能方面会有一次显著提升。

谷歌的Gemini优势一直是世界知识的广度，这方面连DeepSeek官方都承认谷歌是最强的，理论上数据质量越好，Gemini 3.5 Pro的表现也会大幅提升。

不过Gemini 3.5 Pro也不太可能一下子就成为新的世界第一，A家的Mythos、Fable大模型据说是5万亿甚至10万亿参数量的规模，成本极高，Gemini 3.5 Pro不会做到这么大规模，上限自然还有点差距。

但是谷歌还有个优势，那就是图像生成，Nano Banana生图模型做了很长时间的世界第一，前不久才被OpenAI的GPT-Image 2超过，这次谷歌会基于Gemini 3.5 Pro推出新的Nnao Banana Pro大模型，预计更直接地与GPT-Image 2竞争。

Jim Keller是硅谷著名的芯片设计师，之前被称为Zen架构之父，领导了苹果公司初代处理器开发，也在Intel参与了多款处理器开发，现在成为Tenstorrent公司的CEO，主要从事RISC-V处理器开发，前几天还发布了一款面积效率超高的芯片架构。

Tenstorrent公司毫无疑问之前也是主要使用美国公司的AI大模型的，尤其是Anthropic，但Jim Keller表示他们已经将开发任务从切换到Kimi K2及GLM-5.2等中国大模型了。

切换之后的好处多多，一方面是美国的AI是闭源的，Jim Keller自己都说他对Anthropic的运行方式毫无控制能力，但Kimi及GLM都可以自行微调，有更强的掌控力，他认为可以获得更好的效果。

另一方面自然就是降低成本了，Jim Keller表示切换到中国AI之后成本降低5倍之多，而且还真正实现了隐私保护。

类似Tenstorrent这样从美国AI转向开源的中国AI的美国公司不在少数，后者的优势也就是上面提到的这两个，OpenAI及Anthropic两家的AI是闭源的，用户没法微调，而且也不知道AI干了什么，近期Anthropic在客户端植入代码监控客户的事更是引发不满，阿里公司全员禁用Anthropic的大模型就是一个风向。

中国的AI大模型还可以大幅降低成本，这也是优点之一，不过这背后的主要原因还是国产大模型现在的性能也追上来了，尤其是GLM-5.2发布之后。

在AI编程方面，GLM-5.2之前的国产大模型最多是追到御三家的屁股后面，GLM-5.2真正做到了顶级大模型Opus级别的性能，在AI开发排行榜上可以做到仅次于Mythos 5这种，已经可以替代Opus 4.8或者GPT-5.5来承担主力任务了。

更重要的是，国产大模型追赶顶级闭源大模型的速度还在加快，本月会有Kimi K3发布，是2.5万亿参数级别的，8月据说会有GLM-5.5，参数量也会提升到万亿规模，性能预计都会很强大，有问鼎第一的潜力，值得期待。

据介绍，本次升级后，搜狗输入法PC端在输入精准度、容错性和行文连贯性等方面均有大幅提升，能够带来更准确、更高效、更稳定的打字体验。

在复杂词组输入方面，新版支持长拼音、复合专业词组一次输出，无需用户拆分输入、反复选词。

例如在夏季调节空调时，输入“shangxiabaifeng”，即可直接识别为“上下摆风”。

同时，AI纠错能力也进一步增强，当用户出现拼音顺序打错、字母漏输等情况时，输入法可自动矫正并匹配目标词汇。

例如输入“shoduao”，系统可自动纠错为“收到”。

中英混输识别也是本次升级重点之一。

新版在中文输入模式下输入英文单词、软件简拼时，会优先匹配对应专有名词，减少无关候选干扰。

例如输入“workbuddy”可直接识别英文，输入“qqyx”则首选匹配“QQ邮箱”。

此外，新版还优化了上下文智能匹配候选词能力，输入逻辑更贴近用户行文思路。

比如前文输入“我是21年的本科”，随后输入简拼“byd”，候选词将优先匹配“毕业的”。

整体来看，随着AI打字引擎升级，搜狗输入法PC端在复杂输入、智能纠错、中英混输以及上下文理解等场景下的表现进一步提升，也让日常办公、聊天和内容创作中的输入效率得到增强。