具身智能的「最后一公里」，各有奇招 先亮战绩，再亮主张。

1、巴登体育 前Google工程师Deedy Das甩出一场AI横评：7个前沿大模型，全自主单挑IMO 2026全部6道题。

过去国产芯片适配是公认的苦活，每换一款芯片都要重新踩坑。巴登体育所以面壁智能布局具身智能，是情理之中。

2、AI早报

Boris早就验证过这一点。

3、纠缠11个赛点，蒯曼4-3险胜佐藤瞳，美国大满贯女单4强出炉

用/loop就能按间隔重跑一条提示词。

4、德转宣！上港中卫位置迎来久违的新外援，曾是欧洲联赛主力

张益唐不得不离开学术界，开始了漫长的漂泊。

5、英格兰23岁后卫坦言：能征战世界杯，与离开利物浦有直接关系

文献数据、实验数据的抽取和沉淀 这也造就了科研领域低效内卷的现状： AI 持续拟合公开的成功科研数据，却难以触达科研场景中占比超 90% 的试错数据； 前人验证过的无效方案、踩过的技术误区，后续研究仍会重复尝试； 已被证伪的科研路径，模型依旧会反复推演。

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

而把东亚这几家摆在一起，区别就十分明显了。

6、王钰栋李昊领衔！最强U23国足时隔半年再度合体，目标=亚运会夺冠

它拥有顶级的研究实验室Google DeepMind、云部门Google Cloud、安卓团队，甚至在内部成立了多个小组来攻坚AI编码。

考场外那个没资格入场的选手，可能已经在门口，做完了门内的人刚刚做完的事。

7、中国工程院院士陆建勋逝世，享年97岁

现在扫码 · GDPS赞助商征集 科技让生活更美好，展现双基友好真技术 【GDPS赞助商·扫码报名】 长按识别小程序码 · 展现行业一流技术实力 ·赞助商征集窗口限时开放 赞助商征集咨询 沈老师：13301882228 GDPS大赛全流程 · 7月征集已启动 GDPS全力打造循环演进、迭代升级的产业飞轮：2026年7月WAIC场景征集→10月GDPS上海总决赛→12月出征中东迪拜人工智能展→2027年4月联袂上海国际汽车工业展览会机器人专区完成闭环进阶。

所以U1 Pro把原生分辨率顶到了8K。

8、全锦赛曝出大冷门，国乒世界冠军0-3被横扫，这3点让人想不到

具身CoT：让模型「边干边想」 没有语言理解能力的VLA，就是数据集复读机。

Frozen v2则只为Gemini一个模型而生。

卡了半年的弦论难题，Claude一夜解开！ 网友惊呼：人类迈入全新的科学时代。

9、上海男篮半决赛G1险胜北京，张镇麟决胜时刻两记三分拒绝逆转

这就像是给每条道路发两块特殊的车牌，只要保证每个十字路口，同种颜色的车牌总是成双成对地进出，证明就可以完成了。

参考资料： https://www.kimi.com/blog/kimi-k3 https://x.com/testingcatalog/status/2077759985761554501 https://x.com/chetaslua/status/2077701096924229744 编辑：大卫新智元报道 2026年7月的上海，黄浦江畔热浪滚滚，但比天气更火热的，是在上海世博展览馆拉开帷幕的2026世界人工智能大会。

10、名气不输刘德华，如今彻底“本山化”，全家定居日本，已财富自由

当按下暂停键后，行星停止公转，卫星停止公转，地球停止自转。

当写代码的、跑实验的、给它们打分的，都渐渐换成AI，我们迟早要面对一个问题：一个AI写的代码，一个AI跑的实验，最后由另一个AI来把关——这条链上，究竟谁来为最终的结果负责。

1、《异能追忆》游民评测8.3分 通往真相的温暖哀歌

为了便于理解这道题，我们先做一个微缩实验。

2、再见兰德尔！森林狼、篮网、公牛完成4人三方交易

测试结果同样让人失望：模型频繁出错，对基础的位置关系、方向判断的准确率，相比3.5 Flash明显退步。

3、五冠之后，张雪机车还能火多久？

https://x.com/claudeai/status/2079595988998554047 这个功能目前面向 Pro、Max 和 Team 用户开放。数字丝路发展论坛该框架不依赖于特定后门目标，而是通过统一建模，广泛支持多样化的后门目标；进一步将其实例化到概念注入、语义属性操纵、对齐绕过、代码载荷注入四类具体目标，验证了框架的通用性。

4、ZAN 进入 BBA 的价格区间，长期考验开始了

整个流程可以概括为三个环节。

5、CBA快讯！杜润旺离开广东原因曝光，北京签下超级外援，刘晓宇重返北控

触觉款配备 5 个指尖三维触觉传感器，可为接触状态感知和抓取控制提供信息支持。

6、20年前的今天 19岁的德约赢得了一台iPod

研究背景 扩散语言模型（DLM） 当前成功的大规模DLM多基于离散掩码扩散架构（如LLaDA）。

本质是因为，想在家庭场景完成作业，单一的手或者脚足够灵活，还远不足以支撑。

Andreessen给出的判断标准很简单：模型是否达到或超过一个聪明人的通用认知能力。

7、Lisa、权志龙、姆巴佩都来了？Nike 世界杯阵容「太离谱」

这些东西，参数堆不出来，算力也砸不出来。

这套「生产系统」，其实已经有了名字：Token Factory。

8、AI眼镜的「隐秘角落」：作弊、偷拍与灰色生意经

一个赌对了「规模定律」（Scaling Law）的人，偏偏在教育上看走了眼。

这套终极公式拆开就四样：结果、约束、证据、验收。

更重要的是，与那些只做GPU、只做NPU的端侧算力方案商联手，共同做开放的端侧与边缘AI算力方案。

高德ABot架构的诞生，正是在这一行业叙事下应运而生，它与全球顶尖玩家的探索不谋而合。