一句话看懂：今日科技新闻聚焦三大方向：AI 模型在数学证明领域展现实力、家电测评行业造假链条被曝光、以及多家公司发布软硬件产品更新。其中 OpenAI 的 GPT-5.6 Sol Ultra 模型用一小时证明了一个悬而未决 50 年的图论问题，引起数学界关注。
事件核心：发生了什么
OpenAI 最新模型 GPT-5.6 Sol Ultra 利用 64 个子智能体，在不到一小时内独立完成了“循环双覆盖猜想”的完整证明。这是一个图论领域悬而未决超半个世纪的难题。目前该证明尚未经过同行评审，数学界保持谨慎态度并正进行审查。同时，央视记者通过暗访直播机构，揭露了家电测评中的完整造假链条：包括布置虚假测评场景、更换备用样机、恶意损毁竞品制造缺陷，以及利用水军控评引导消费。此外，金山办公宣布 WPS 已完成初步存储管理能力优化，体验版已开放，正式稳定版本预计 7 月底推送。
为什么重要
GPT-5.6 Sol Ultra 在数学证明上的突破意义重大：它展示了当前模型在处理高度抽象、需要多步逻辑推理的专业领域问题时的潜力，超越了此前以语言生成或知识问答为主的应用场景。虽然证明本身尚未经学术共同体验证，但其完成速度（不足一小时）和方式（多智能体协作）给 AI 推理能力设定了新标杆。另一方面，家电测评造假链条的曝光，反映出内容生态中“评测即带货”模式下存在系统性的利益输送和误导行为，这对于依赖第三方评测做购买决策的消费者以及整个行业生态都是一次警示。
对用户/开发者/创作者的影响
对于开发者而言，GPT-5.6 Sol Ultra 在多智能体协同解决复杂逻辑问题上的技术路径，为 AI 工具链（如代码验证、算法设计）提供了新的想象空间。对于普通用户和消费者，家电测评造假链的曝光意味着需提高对评测内容的辨别力，警惕“一边倒地贬低竞品”或“效果夸张”的内容。对于使用 WPS 的用户，C 盘占用问题的改善是直接利好，体验版已可申请，正式版将于月底推送。对于内容创作者，尤其是参与产品评测的作者，该事件也提示需要坚持透明、可溯源的评测流程，否则可能面临用户信任危机甚至法律风险。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
值得关注的后续
1. 数学界对 GPT-5.6 证明的同行评审结果，将直接影响 AI 在科研领域获得信任和采用的速度。2. 家电测评行业的监管动作——是否会出台针对直播评测的规范或处罚案例，关乎平台治理方向。3. 金山 WPS 正式版存储优化是否覆盖所有用户，以及是否会进一步提升 macOS 和移动端的体验，值得长期关注。
