过去几天，一篇名为《王的猜想》的文章刷屏了。 它原本是《广西日报》为数学家王虹写的一篇人物特稿。文章火到纸质报纸一份难求，报社不得不宣布加印，就连价格都从 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 日起，新认证车型已禁用这类「小蓝灯」。报道没有披露主管部门的新文件或正式通知，因此现阶段适用
一段理想 i6 使用离车泊入、车辆反复调整轨迹的视频登上热搜。理想汽车产品线负责人李昕旸核对车主情况后称，当时车位后方有电动自行车占位，系统多次尝试改变轨迹避让；车主随后也确认了这一现场情况。 理想汽车客服表示，用户需要先在中控屏开启「VLA 泊车」。系统识别车位和周边环境时，如果遇到立柱、电动自行
一张看起来再普通不过的海报，让小米再次陷入舆论中心。 7 月 28 日，小米汽车发布了一张关于昆仑增程器的海报，里面写到：「92 号、95 号、98 号汽油，全系多油品适配」。 不少老司机看到这句话，第一反应是疑惑。在他们看来，这和过去油箱盖上写的「推荐使用 92 号及以上汽油」并没有本质区别。可以