而就在WAIC开幕的同一天上午，我们注意到一家国产芯片公司搞了一件大事。

1、九游体育 在被公认为「最难啃」的仓库级软件工程榜单SWE-Bench Pro上，它拿到65.2分，只落后于Opus 4.8（69.2 分），显著超越一系列国产模型。

此外，还有一处容易被数字掩盖的细节。九游体育其中，智元、宇树等技术方，配送任务成功率不低于85%，目标点到达误差不大于0.30 m，动态障碍避让成功率不低于90%。

2、*ST高科两实控高管涉挪用资金被立案！治理权限被锁，2026年上半年预亏最高963万

它接收地图提供的全局方向，结合机器人第一视角判断下一步应该经过的位置，并在执行偏差发生后主动恢复。

3、世界杯1/16决赛前瞻！德法荷内耗突围必掉层皮，阿根廷躺进四强

针对这一问题，星源智提出DA-Nav，一套面向城市级长程场景的方向感知视觉语言导航框架。

4、全场散步+葬送绝杀！最贵巨星原地隐身，亲手送挪威出局

但它转头把这个Token拆成两截、分别打了码，等到运行的时候再悄悄拼回去。

5、战报

明天，如果投入64万个智能体，花上1个月的时间，或许就能攻克常温超导、可控核聚变，能攻克癌症。

最终拿下最高分的，是磐石。

绝非仅仅是效率提升工具 多数报道把「Record a Skill」（录屏生成 Skill）归类为「更方便地创建自动化流程」，但这个理解停在了表面。

6、一家传统零售商的转型进行时：广百股份的“换挡”与调整

AI时代，这笔交易要重新谈了。

他说自己是那种「靠写作来思考」的人，写下大量从不给任何人看的文字，只为把一个问题想清楚，很庆幸当年学过写作。

7、Codex协助「改写」黑洞模拟，OpenAI讲述如何扩展科学边界

然而，卓越的模型能力并非终点。

被OpenAI收购的Mastra在该榜上的表现也远不及HMS。

8、兰德商业银行北京咨询公司正式开业 助力中非经贸合作

她的逻辑冷得可怕，「这场变革不是设计圈自己发起的，是工程侧倒逼的」。

这样的本体既非替代模型推理的符号引擎，亦非仅供查阅的静态背景资料，而是嵌入推理链路之中、可被实时调用与追溯的解释性基础设施。

四条战线必须齐头并进，缺了任何一条，闭环就会瞬间断裂。

9、曼联签斯科特也得加钱？伯恩茅斯称8000万不卖！布阿迪已标价1亿

在搜了2个pattern，读了2个文件之后，它直接给出诊断——Python对负timedelta采用补数存储，timedelta(hours=-5)内部实际是days=-1, seconds=68400。

小组赛阶段，当商汤小浣熊押「佛得角」能挺进32强时，没人当真。

10、凌晨3点 世界杯22亿对决！6大巨星同台 夺冠热门冲击2大纪录

但在办公场景，一个根本性问题始终没解决：大部分AI每次对话都从零开始。

相比国产同构推理，异构混推的同成本Token产出规模扩大了2.5倍。

1、39岁梅西落寞呆立！看着亚马尔激情庆祝：8场8球无缘金靴奖 卫冕失利

新智元报道 天哪，打工人也能有自己的私人助理了！ 以前我们提到助理，一般都是服务老板的。

2、《战地风云™6》第4赛季前瞻试玩报告：海岛奇兵"/> 主站 商城 论坛 自运营 登录 注册 《战地风云™6》第4赛季前瞻试玩报告：海岛奇兵 ..._网易订阅

这是一支跨学科的复合型、国际化、多元化团队：有人师从计算认知记忆奠基人，为AI注入人类记忆的理论灵魂；有人深耕世界模型与推理优化，把长序列记忆从算力黑洞变成可落地的工程现实；有人曾主导微软小冰核心算法开发、ToDesk、QwenC多模态推理Agent等千万级用户产品，把前沿论文变成真实世界的生产力。

3、16位当代画家，23幅风景与人物作品

它把针对Gemini的关键决策路径直接内建进电路——芯片不用再「想」该怎么走，因为路已经浇铸在硅片里了。金球奖最新概率：凯恩断崖下跌 19岁亚马尔3成机会 姆巴佩仅2%可能ABot最早发布于今年4月，彼时高德自研的机器导盲犬高德途途首次登上机器人半马的舞台，并展示了其出色的开放环境全自主导航能力。

4、刚刚，马斯克认了！SpaceXAI偷传代码全部删除

直到这个周末，Claude Fable 5登场了。

5、“他不是老实，而是没招了！”家长晒报恩儿子，网友：早晚被霸凌

最近，GPT-5.6仅用1小时攻破50年数学难题！64个AI摘下图论皇冠；卡了半年的弦论难题，Claude一夜解开！东大教授惊到删推。

6、家电、手机、茅台……涨价刺激消费，真的来了！

一次优秀的赛题解法、一项实验室成果、一个早期技术设想，距离进入市场，还需要完成产品方向、客户需求、团队组织和融资路径等多重验证。

原代码对两个分量分别取了abs()，-1天变成1天，68400秒原样留着，硬凑出「1天+19小时」。

也就是技能从训练场带到新环境，还能剩下几成功力。

7、注意！7月3日-9日，巴州这些地方计划检修！

一套Python库，变16.5万行TS 用CC当作效率引擎的，远不止Jarred Sumner一人。

李述昊解释了 OpenAI 为什么需要他们： ChatGPT 现在推荐商品靠的是爬虫爬网站，不是按商业逻辑训练的。

8、西班牙拟禁止在卡车驾驶室里抽烟，凭什么？你平常开卡车累了，又是怎么提神的？

再往下，GPT-5.6 LUNA Max、Claude-4.8 Opus这些名字，还在117到123分之间打转。

参考资料： https://www.imo2026.com/Results/Individual_Results.htm https://x.com/_simonsmith/status/2078468111678722448 https://mp.weixin.qq.com/s/HekpOfjea9-NrRP5TxL5Zw https://mp.weixin.qq.com/s/nQVfMccLl0ArddDwF6GPVg 编辑：大卫新智元报道 7月18日，AI圈忽然被这个消息刷屏了。

一般的模型，到这一步就该停了。

CNBC 随后在同日发布了访谈视频。