标签： GPT-4

今日科技新闻聚焦三大方向：AI 模型在数学证明领域展现实力、家电测评行业造假链条被曝光、以及多家公司发布软硬件产品更新。其中 OpenAI 的 GPT-5.6 Sol Ultra 模型用一小时证明了一个悬而未决 50 年的图论问题，引起数学界关注。

AI 代理公司 Ploy 将生产环境中的核心模型从 Claude Opus 切换为 OpenAI 最新发布的 GPT-5.6 Sol，结果发现：任务完成速度提升 2.2 倍，成本降低 27%，同时视觉评分更高。这次迁移并非简单换 API，而是暴露了评估体系与模型行为之间隐藏的适配问题。

Codex与ChatGPT Work产品线宣布暂时取消Plus、Business和Pro计划用户的5小时使用限制，同时推出模型效率优化更新，在用户规模达到600万活跃用户的背景下，旨在改善付费用户的使用体验并降低单位算力消耗。

在苹果公司就商业机密被窃取起诉 OpenAI 之后，马斯克与奥尔特曼在 X 平台上公开互怼。这场口角不仅延续了两人对 OpenAI 发展方向的长期分歧，也侧面反映出当前 AI 领域头部公司之间竞争的白热化——各自新模型 Grok 4.5 和 GPT-5.6 Sol 刚发布，舆论战就已全面升级。