科技圈的刺激，总是来得猝不及防。 同一天，两家大模型领域的绝对顶流，不约而同地丢出了自己的重磅炸弹。一边是 OpenAI 突然宣布 GPT-5.6 系列模型价格大跳水；另一边，DeepSeek 正式发布 V4-Flash 模型，带着通过后训练（Post-Training）全面强化的推理与代码能力，霸
电影史上有些技术，普通观众未必叫得出名字，却会改变一代人的镜头记忆。 1970 年代，Garrett Brown 发明了 Steadicam。它后来被应用于《洛奇》里那段著名的台阶奔跑，也出现在《闪灵》里那条令人不安的酒店走廊。 观众记住的是奔跑、压迫感和幽闭空间，行业看到的则是摄影机摆脱轨道、获得
过去几天，一篇名为《王的猜想》的文章刷屏了。 它原本是《广西日报》为数学家王虹写的一篇人物特稿。文章火到纸质报纸一份难求，报社不得不宣布加印，就连价格都从 1 块钱炒到了最高 60 块一份。 ▲ 图片来自：广西日报微信公众号 7 月 23 日，35 岁的王虹获得菲尔兹奖。公众最熟悉的成果，是她与数学
7 月中旬，一批搭载中创新航 177Ah 磷酸铁锂电池的 AION S，几乎在同一时间进了维修厂。 这些车子出现的症状相似，都是鼓包、漏液、绝缘故障、动力受限，里程也大多落在 15 万到 30 万公里之间。单看其中一两辆车，或许可以被解释为高里程后的偶发故障，但如果把它们放在一起看，事情就没那么简单
蚂蚁阿福 7 月 29 日升级「AI 拍饮食」功能。用户可以通过照片、文字、语音或组合输入记录一餐，系统会给出总热量以及碳水化合物、蛋白质和脂肪等营养信息，并生成饮食搭配与运动消耗建议。 识别结果可以保存到健康档案，形成当天的饮食记录和热量账单。食物名称、克数与进餐时间均可修改；用户也可以回看当天摄
GitHub 开始在 Copilot 中提供 xAI 的 Grok 4.5。该模型支持文本与图片输入，最大上下文窗口为 50 万 token，并提供低、中、高三档推理强度，定位于智能体编码和多步骤任务。 可用入口包括 Copilot CLI、VS Code、Visual Studio、JetBrai
腾讯混元开源 AngelSpec 0.1.0。这套框架面向投机解码草稿模型训练，覆盖自回归 MTP 与块并行解码路径，并把训练、架构切换、在线评估和部署所需组件放在同一套工具链中。 首个版本支持 DFly、DFlash、DFlare、Eagle3、DSpark 和 MTP 六种草稿架构；腾讯同时开放
阿里云旗下智能体编程平台 Qoder 在 GitHub 开源 Better Harness。这套工具不只检查智能体生成的代码差异，而是审查智能体如何理解任务、执行修改、验证结果、完成交付并沉淀可复用经验。 Better Harness 把工作流拆成任务理解、受控执行、变更验证、可靠交付与经验沉淀五个
据日本《钻石周刊》报道，索尼集团已向第三方镜头制造商腾龙（Tamron）提出收购提案，计划取得腾龙全部股权。据知情人士透露，此次收购金额预计达到 2000 亿日元规模（约合 13.5 亿美元）。 报道显示，索尼作为腾龙长期的最大传统股东，目前持有约 15% 的股份。索尼此次寻求全面收购的主要动机在于
第一财经报道称，乘用车用于显示辅助驾驶工作状态的车外蓝色指示灯，因不符合 GB 4785《汽车及挂车外部照明和光信号装置的安装规定》，将不再用于新认证车型。 一名车企内部人士向第一财经确认，从 7 月 27 日起，新认证车型已禁用这类「小蓝灯」。报道没有披露主管部门的新文件或正式通知，因此现阶段适用