硬件相关

华盛顿大学团队构建TheoremGraph，从arXiv提取1170万条定理陈述，利用Lean证明库获取388k形式化声明，通过slogan嵌入匹配和GPT-5.4裁决，确认47952对跨模态对应，有效连接非形式化与形式化数学知识，推动数学推理研究。

研究提出蒸馏微调技术，基于SigLIP2-base训练ZOOCLAW-FASHIONSIGLIP2模型，通过多任务对比训练、知识蒸馏和权重插值，在提升时装检索精度的同时保持通用能力。实验表明全量微调优于LoRA，模型规模增大未必改善跨分布泛化，并揭露了Fashion200k基准的标注偏差。

华盛顿大学与艾伦人工智能研究所联合研究发现，AI智能体在任务不可完成时往往不懂及时放弃。研究中提出“智能体弃权”概念，测试13个模型在网购、命令行、问答场景中的表现，发现多数模型弃权率低、弃权过迟。研究进一步提出CONVOLVE方法，无需重新训练即可显著提升弃权及时性。

一项联合研究发现，单目深度模型在透明场景中会固有“深度层偏好”，即仅报告玻璃或背景某一层。通过构建MultiDepth-3k基准可测量该偏好。拉普拉斯视觉提示（LVP）通过高频变换输入图像，无需调整模型就能实现层切换，突破单一预测极限。

复旦大学与上海财经大学联合提出SAM2Matting视频抠图框架，将物体追踪与精细抠图分工协作，仅用图片数据训练，在视频抠图评测指标上超越专用视频数据训练的方法，速度达40帧/秒，支持1080p实时处理。

大型语言模型训练中的异步流水线并行常因梯度陈旧而性能下降。研究发现，通过固定一步延迟的PipeDream-2BW方案，并选用高动量优化器（如Muon）配合误差反馈校正，可在百亿参数模型上实现近乎无损的异步训练，验证损失差距降至0.005以下。

Meta推出SWE-Together评测框架，从真实人机对话中筛选109道考题，通过锚定原始用户意图的虚拟用户模拟多轮纠正过程。对七款AI编程助手测试发现，性能与用户纠正次数高度负相关（相关系数-0.92），最优模型通过率63%仍需平均1.38次纠正，距人类水平78%仍有差距。

腾讯混元联合多所高校提出PolyFlow，通过拓扑嵌入器将离散网格拓扑转为连续向量，结合流匹配模型并行生成网格，速度比自回归方法快数十倍，倒角距离降低43%，且支持用户指定顶点数量。

微软启动Xbox史上最大重组，裁员约3200人（20%），出售或剥离5家工作室，旨在改善仅3%的低利润率，精简架构聚焦核心IP，并为AI战略释放资源。

全新一代天工08开启预售，670Max版预售价19.98万元。搭载玄甲电池，水中浸泡310小时仍可用；内饰采用母婴级环保材料，VOC为国标三分之一；配备红旗司南智驾方案，最远识别600米；全系800V高压平台，4C超充15分钟补能，CLTC续航670公里。

智元机器人公司定位全球具身智能头部企业，创始团队由顶尖专家组成，技术路线为“三智一体”。已提交超900件专利申请，其中约70%为发明专利，位居行业首位。产品覆盖四大系列，应用于产线、搬运、分拣等七大场景，并进入全球7个国家和地区。

受台风和强降雨影响，广西南宁、贵港出现险情。阿里巴巴启动防汛应急行动，首批调拨1万个应急照明设备紧急装车，菜鸟物流负责人连夜赶赴现场协调。同时，阿里公益与壹基金支持的首批2500份应急食品已发车驰援灾区。

蔚来品牌6月平均成交价达44.3万元，首次突破40万元，刷新国产汽车月成交均价纪录。在新能源竞争加剧背景下，成交均价成为品牌向上突破的关键指标。ES8、ES9为销量支柱。6月蔚来公司交付40597辆，同比增长62.9%；上半年累计交付191123辆，同比增长67.4%。

2025年中国具身智能机器人从实验室“炫技”进入工厂真干活阶段。智元创新机器人已实现迎宾、打包、叠衣、调酒等多场景常态化作业，第15000台具身智能机器人下线并交付产线。未来两年，人形机器人有望大规模进厂。

上海智元自主研发的世界模型在具身智能领域全球评测中夺冠。该模型使机器人在虚拟空间完成推演规划，提升决策效率与安全性。智元机器人已在工厂投入应用，8台机器人完成1.7万件质检，成功率99.99%，并刷新全球人形机器人量产纪录。

金山办公在声明中回应三条底线：免费基础功能只增不减，会员权益不缩水，AI等第三方服务单独计费。明确收费边界、保障透明度是核心，强调不背刺老用户。用户反应不一，但公司表示此举旨在维护用户利益。

全新坦克300L轴距加长至3010mm，Hi4-T与Hi4-Z预售价分别为25.98万、26.98万。搭载2.0THi4-Z动力，零百加速4.3秒，纯电续航200km，综合续航1122km，配备非承载车身、40处拓展接口及车位到车位智驾。

盒马员工穿皮鞋踩踏熟食烧烤架引热议，客服回应整改但网友质疑其食品安全管理。此前盒马曾因粉木耳低俗包装、误售有毒水仙球、草莓蛋糕发霉及开心果二氧化硫超标等问题多次翻车。

在MWC2026上海展会上，中兴联合信通院发布家用摄像头安全白皮书，聚焦隐私泄露风险。进入市场不足一年，中兴已取得室内500万像素品类销量前五，同比增速超100%。此前中兴路由器已跻身国内市场销额前三。

拥有800万粉丝的网红“挖机小何”因修路填坑爆火，后因借用挖机到期收回、内容无法更新导致流量下滑。近日其在直播间哭穷，转而带货枸杞、老布鞋等商品维持生计，引发网友热议。

百万粉丝网红“李要得”打出租车从重庆到拉萨，行程2229公里，获西藏文旅50万元奖励。到账后捐出48万元并分给司机各1万元。该行为引发网友关于“剧本”质疑，但支持者认为其真诚且捐款实属难得。

小鹏MONAL03实车线条流畅、空间充裕，内饰用料扎实。智驾算力高达1500TOPS，远超同级。预售订单破纪录，兼顾运动与家用，受众广泛。有望助力小鹏月销5万辆以上，成为爆款新车。

最早取消三点五毫米耳机孔的是欧珀，但苹果第七代手机与自家无线耳机的推出真正引发行业变革，背后是资本逻辑。无线耳机虽便利，却带来充电焦虑、延迟、易丢失、无法边充边用及信号干扰五大痛点。