新智元报道 又送了！ 就在刚刚，Codex与ChatGPT Work的活跃用户大军，合体突破800万大关。

1、高比体育 但哈萨比斯没有停在这里。

第三题：真实仓库issue，1分20秒闭环 接下来，我们又把KAT-Coder-Pro V2.5扔进了一个真实的开源bug里。高比体育例如，两位审稿人都认为论文「缺少必要的消融实验」。

2、草台班子！塞内加尔队医是妇科医生，随队10年世界杯后刚被发现

另一个企业则把每次调用转化为： 新的案例； 新的Skill； 新的规则； 新的评价标准； 新的任务模板； 新的行业本体； 新的风险控制机制； 新的组织经验。

3、就这样，他成了袁隆平（书里书外）

可实验室里的奇迹能够不计成本，但到了生产环节的工业基础设施上就不行。

4、5500枚核弹原料已备齐！日防长公开要求推进拥核，中美俄立场一致

PixVerse Game：旨在言出法随的实时视频游戏引擎 爱诗年初发布的PixVerse R1，是全球首个支持1080P的通用实时世界模型，它能生成一个可以被用户影响的数字环境。

5、重磅征集！！！GEO生成式引擎优化行业研究报告第二期

过去几年，AI算力围着Scaling Law转，火力全部压在「训练」上训练是军备竞赛，但它只打一次。

相机轨迹告诉系统当前是探索还是回访；局部动态告诉系统时间上下文该长还是短；历史可靠性决定空间记忆能否参与生成；去噪稳定性决定哪些计算可以复用。

然后每涨一波，官方就清零一波。

6、世界杯疯狂一战：红牌+2点球，世界第4惊险晋级，3-2险胜

绝招亮完，战场却各画各的：智元盯着数据、表征、闭环三道墙，PI说墙是上下文，Dyna说是可靠性，清华说是机器人自救。

其中的MiniCPM-RobotManip，在专门考虑机器人模型的上下文记忆能力RMBench榜单上，达到53.5分的水平，而美国知名 VLA 模型pi0.5只有10.4。

7、阿根廷如同潜藏的鬼魅暗影，等看似尘埃落定后反噬，就问西班牙慌不慌

同样，企业也可以拥有自己的向量数据库、知识库和私有模型，却仍然无法持续学习。

参考资料： 迈入AGI科学元认知时刻，『书生·端砚』解锁全栈科研新能力 | WAIC 2026 周伯文：AGI的下一程，迎接科学元认知时刻 | WAIC 2026新智元报道 AGI可能在五个月前就到了，只是没人注意。

8、CBA得分能力最强的两名球员！却始终无法入选国家队

这两道工序对硬件的要求完全不同。

」（Math is solved.） 不久后，GPT-5.6 迅速对这一结果进行了分析，并提出了一套全新的、修正后的猜想：「一个常数雅可比多项式的局部双全纯映射，如果在无穷远处没有叶数损失，那么它就是一个自同构。

系统在一个仿真工作区里植入独一无二的「金丝雀」凭证，它们看起来与真实的数据库密码、API密钥、云凭证别无二致，只是每一个都带着可追踪的暗号。

9、姆巴佩：梅西明天必进球，愿用世界杯历史射手王换决赛门票

目前大模型公司都在追求语言层面的通用智能，但物理层面的通用智能才刚刚开始。

去年IMO 2025全球只有6个人类解出P6。

10、农业农村部：预计秋粮面积稳中略增，苗情长势比较正常

下一步最大的数据增量，只能从物理世界里行走的机器人身上来。

过去，迁移是一道开发者不敢跨的天堑；现在，它只是一条等待被清空的进度条。

1、WAIC2026 现场直击：开普勒顶流人气王，麒麟系列火爆出圈

以前拼谁会说话 现在拼谁会搭系统 这一轮变化中，真正改变的是编程重心：从「内容设计」，挪到了「行为系统设计」。

2、北京西单连廊系统撑起“空中步行街”——双首层让商圈更好逛

为什么偏偏是2026？孙文剑给了四个理由： 大模型迭代周期已经缩到「每几个礼拜」，能力撞上临界点； 工具链和框架把开发门槛按了下去，开发者蜂拥入场； 资本认定智能体是继大模型之后的又一个核心赛道； 而最关键的商业闭环，在过去半年内跑通了。

3、《帝国时代3：决定版》免费游玩 并时隔2年获新DLC！

这条公式把前面全串了起来—— 数采方案2.0解决CID从哪来，Kairos 3.1解决CSS怎么算准，而W1在窄巷道里的每一次抓取，都是把J压到更低的最终兑现。喝水自由拿捏，这个好物我打算用一辈子！（附全屋净水科普）阿里内部研发中使用Qoder Security后发现，代码评审中与安全相关的评审意见下降约35%到45%，效果显著。

4、经典的长头造型，依维柯Strator即将重返市场——S-Way特别版将于七月首发

机器人不会因为一次偏移彻底离开路线，而能够在行进过程中不断判断、不断修正。

5、云南彝良：奏响“椒”响曲 电力添底气

接着，工作人员走上典型的无网环境电梯——这几乎相当于直接拔掉了机器狗身上的网卡，没有Wi-Fi。

6、新晋菲尔兹奖得主雅各布宣布加入Open AI

参考资料： https://x.com/Mr_Salio/status/207736089707741624811 https://x.com/emollick/status/2077849021150888408 https://www.bloomberg.com/news/articles/2026-07-16/google-gemini-launch-delayed-as-tech-falls-short-of-internal-goals 编辑： Aeneas新智元报道 全球迄今为止最大的开源AI模型，正式上线！ 昨夜，月之暗面（Moonshot AI）放出了其最新旗舰模型Kimi K3，目标直指超越Claude/ChatGPT。

然而这一进路的内在主义取向、对功能类比的依赖以及工程化视角对「解释」概念的窄化，共同构成了其认识论上的三重局限。

不得不说，AI会做题，和AI能救场，中间隔着一整个真实项目。

7、老街新生 家园蝶变——对口援疆民生与文化的“温度”

这意味着，在寸土寸金的机器人关节和汽车底盘里，小象电动的技术能硬生生省出大量空间和重量。

在WAIC，中国「心脏」在跳动 2026年的夏天，在上海世博展览馆H3馆，小象电动的展位，注定不只是展示几款电机而已。

8、韩企一季度对美投资达102亿美元，同比翻倍创五年新高，AI红利关税双驱布局

所以即使没有开源模型，机器人公司也必须自研，这是不可避免的。

在这个系统中，AI被分裂成了64个并发的独立智能体，组成一支科研特攻队。

面对这张账单，Uber的COO直接懵了：钱烧成这样，ROI到底在哪？ 紧接着，微软、Meta、亚马逊，一个接一个开始给员工手里的AI编程工具踩刹车。

1个统一架构：一套完整的Token Factory架构，桌面级、办公室级、数据中心级体验一致； 3大亮点价值：软硬协同释放Token效能、AI Lab提供T+0的算力与模型供给、7×24小时不间断的自身实践； N个生态场景：从AI Coding、智能体开发，一路铺到AI Office、AI短视频、政务办公、金融营销风控、智慧医疗。