IT早报 0713:央视曝家电测评造假链条;金山 WPS 宣布已改善 C 盘占用;GPT-5.6 一小时破解 50 年难题;宠物坐主驾自动泊车博眼球被交警处罚 3 分 200 元…

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

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

招商证券认为,在海外科技股波动加剧背景下,国产算力产业链因AI终端产品需求爆发、出口数据强劲和航空货运淡季不淡,成为值得关注的投资主线。

用户在 Kohya SS 的 Textual Inversion、LoRA、DreamBooth、finetune 等训练标签页中启动训练时,因未指定输出目录(或指定了不可写目录),系统在生成训练配置文件时报错。错误以 Gradio 跟踪栈形式出现在日志中,UI 未显示明确提示。

用户在 Kohya SS 中运行 WD14 Captioning 功能时(直接运行或通过加速启动脚本),触发 onnx model not found 错误,导致标注流程中断。该问题在 Windows 11 原生环境和 Linux Docker 容器中均有出现。

用户在 Krita AI Diffusion 插件(v1.45.0 及部分早期版本)中使用 Flux 模型,尤其是通过插件默认安装的 ComfyUI 后端、自定义 ComfyUI 服务器或 Linux Docker 环境时触发此报错。部分用户在重新安装插件后问题仍未解决。

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

基本半导体宣布自2026年第三季度起,对部分产品价格上调最高25%,原因是AI、新能源汽车等新兴应用导致市场供需持续紧张。这一信号表明,AI算力需求的爆发正沿着产业链向上游传导,引发关键元器件的量价齐升。

一项最新调查显示,近七成美国成年人支持强制 AI 公司将 50% 股份转入公共主权财富基金,以应对科技行业裁员增加与利润集中,推动 AI 财富回馈全社会。

近期芯片股剧烈波动,引发市场对AI需求是否见顶的怀疑。但英特尔前CEO基辛格、多家AI芯片及数据中心企业高管在接受CNBC采访时一致表示,AI算力需求“几乎无限”,当前供给远跟不上需求,算力短缺才是真正的瓶颈。

中兴通讯旗下努比亚品牌将在2026世界人工智能大会上展出全球首款AI智能体手机,这意味着智能体手机从概念验证走向量产商业化仅差“进网许可证”一步。不过业内专家指出,该品类还需跨越技术幻觉、隐私安全及互联网企业利益分配等关键关卡,才能实现大规模普及。