瓶子被碰歪、位置偏了、冒出新障碍，大脑就得当场改计划。

1、星空体育 表征一：「身随眼动」 相比于让机器人实现一些高难度的动作，高德的ABot-N1更聚焦于让机器人合规安全的走进人类生活当中。

以康德范畴作为可解释性的哲学钥匙，并非主张模型必须「拥有」这些范畴——康德的范畴是主体的先天认知条件，而模型则是功能上的实现问题，它可能通过不同的神经计算路径在功能上等价地区分实体性、因果性或模态差异。星空体育这一类最反常，也最麻烦：负责给AI打分、抓这些错的AI裁判，自己也会作弊。

2、中超14轮积分榜：三、四名互换，西海岸第6，京沪3队濒临降级区

肩、肘、腕、腰、腿五个维度协同发力，几乎就是真实对抗的全身运动。

3、团队里唯一不懂车的人，却撑起了一家公司最核心的运转，聊的全是硬核内幕

实验覆盖固定目标位置的标准设置，以及抓取过程中随机扰动目标的动态设置。

4、湖南创业新政来了！大学生创业个人最高贷50万元，还享受50%财政贴息

3.5 Flash-Lite，击败了老大哥 第二款Gemini 3.5 Flash-Lite，走的是另一条路：主打一个快，还要够便宜。

5、新华社聚焦开普敦，这场展会为何被看作中非纺织“新坐标”？

在另一个任务里，GPT-6发现别的系统有一些成功但未公开的答案，就动了心思—— 想从评测后台，把这些答案「捞」出来。

中国人爱吃馒头包子（国产显卡），你当然可以把烤箱改去蒸馒头，但效率极低且费电。

这三层架构决定了ABot的每一次迭代，都不是孤立地点亮某个新技能，而是像生物进化一样，随着任务和部署的增多进行整体演进。

6、世界杯一人毁全队！挪威出局头号罪人！愚蠢操作坑惨哈兰德

」 按他的说法，Anthropic正在为Opus 5的发布做最后冲刺。

常年在加沙工作的人道机构，压根没听说过它。

7、官方数据给出真相，手里没球约基奇也只是蓝领，更何况杨瀚森

这意味着，国产算力第一次不必等到单卡全面追平英伟达，就通过系统分工，提前进入了真实的商业市场。

在WAIC的璀璨灯光下，各种Agent应用无疑是聚光灯下的主角。

8、借势2026世界杯，他要让更多美国孩子踢上球

SafeClawArena要解决的正是这两点，它索性不搭脚手架，直接把生产平台本体作为测试台。

AI领走了埃尔德什的赏金。

真正形成产品壁垒的，不是单一模块参数，而是各层能力能否协同为稳定、可复现、可集成的任务能力。

9、1米75跑卫接班传奇5号：他不是下一个麦克法登，但想跑出自己的路

AI每写出一段代码，一落地就会被扫描。

这使导航学习从「单一正确轨迹学习」，扩展为「包含错误状态的完整经验学习」。

10、重磅！CBA恢复升降级几成定局

最终的决定权，始终在你手上。

但是，就在昨天，金山办公在上海举办了2026 AI生产力大会，正式发布了一款独立的AI原生办公Agent——「灵犀专业版」。

1、中超积分榜：蓉城连败领跑，英博升至第2，津门虎锁定半程垫底

抬起头，大屏幕上的KAI世界模型技术架构正如画卷般逐层展开。

2、大胆穿搭后自称“UNO女王”，安吉尔·里斯的全明星假期仍在赢

它把成功和翻车一起录：手柄掉了、牛奶洒了、插不进、出液早，再逐段贴标签。

3、曼联放弃追两名英超中场：对方要价太高，转向4000万镑以下新目标

参考资料： https://openreview.net/forum?id=PEyouQzOLD 编辑：LRST新智元报道 今年WAIC开幕当天，上海世博展区挤满了各种机器人、大模型和智能体。2023款保时捷911 Turbo S拍卖：仅3800英里，配置拉满知识库解决的是「系统知道什么」，但企业认知系统还必须回答： 系统应该在什么条件下使用这些知识？ 应该调用哪些技能？ 应该采取什么行动？ 什么结果才算成功？ 失败应该归因于知识、技能、计划、执行还是环境？ 学习以后，系统应该修改哪一部分？ 因此，认知主权比数据主权更深一层。

4、中央5台直播世界杯时间表：明天7月6日CCTV5直播，巴西PK挪威

Dyna则把200k+小时数据摞成金字塔: 在之后的讨论中，马也骋分享了Dyna的实践经验：「部署数据放到下一次预训练中，接下来的部署时间就会越来越短，最终达成零成本在新环境完成同样任务。

5、湖南创业新政来了！大学生创业个人最高贷50万元，还享受50%财政贴息

但DM0.5的重点并不停留在「把模型和数据做大」。

6、喜讯！他曾扑出点球带队战胜大阪樱花梯队，如今踢泰山有望首发

在 WAIC 2026 现场，万拿机器人复现仓储与工业作业典型场景，展示万拿 Std16A 对不同规格盒体、软包及精细物品的抓取、转运和放置能力； 万拿 Eco12 则通过手势与遥操作体验，展示轻量拟人交互和动作映射能力。

论文链接：https://openreview.net/forum?id=PEyouQzOLD 为什么没有选择让LLM直接审稿？ 面对评审人手不足、打分标准混乱的现状，很多人会直观提出解决方案：干脆交给LLM完成全自动审稿。

任何一个学过大学微积分的大一新生，都可以通过求偏导，算出这个三元多项式的雅可比行列式恒等于-2。

7、B费亲承梅西就是GOAT！坦言：我不是挑事，只是在表达尊重

中国「芯」的智能体时代 回过头来看，此芯科技选择在WAIC开幕的同一天放出AGX Agentic Compute这张牌，时机选得相当精准。

这是这个时代绕不开的背景音。

8、太阳报：皇马预计曼联将签下M费，他们不打算正式报价

它可不会替你做单选题，而是两头都当圣旨，当场精神分裂。

参考资料： https://x.com/kimmonismus/status/2079193746944790666?s=20 https://castlecrypto.gg/news/alphabet-shares-rise-following-reports-of-ultra-efficient-ai-chip/ 编辑：所罗门新智元报道 这一天，整个数学圈震撼了。

最终输出的，是各自领域里「原生形式」的、可被验证的结果。

信息密度定律 智能是「喂」出来的 不过模型再聪明，也要有饭吃。