他说这是一个很漂亮的证明，然后给了三个形容词： 短。

1、人人体育 ABot-AgentOS在Locomo等五大权威基准上均取得SOTA 所有的物理表征，都将在具身机器人进行能力外化的呈现，这个部分高德选择了其自研的高德途途和运控系统ABot-C0。

而Claude Code，正是官方Harness Scaling里点名的训练环境之一——mini-swe-agent、Claude Code、Codex、OpenClaw。人人体育加州大学伯克利分校分析50多万条成绩：ChatGPT发布后，写作、编程类课程拿A、A-的比例明显抬升（蓝色显著为正），B+及以下几乎纹丝不动。

2、宁德时代上半年净赚超432亿元

评测越准，路由效果就越好；体验越好，客户的真实调用请求就越大；而庞大的真实调用数据回流，又让AI Ping的评测更准。

3、马拉多纳之子反驳阿根廷主帅 称英阿世界杯半决赛非普通比赛

1亿小时：一个「ChatGPT时刻」的门槛 「语言模型头部团队已经到了100万亿Tokens，对应约100亿小时的语料。

4、IPO排队券商“半年考”！首份成绩单出炉，净利大增超70%

但对「最后一公里究竟该怎么走」，各有绝招。

5、明天9点 世界杯1/4决赛收官战：4强将出炉！阿根廷“反围剿”

单Agent自主完成一次办公任务，动辄消耗数万Token；而多个智能体协同作业，一个任务就要烧掉上百万Token。

Kimi K3绝对是AI发展史上的一个历史性时刻，开源AI进入后Claude Opus 4.8时代！ 300亿美金豪赌 智能成为公共设施 Kimi K3的2.8万亿总参数，是MoE架构的精妙设计——总参数巨大，但激活参数远低于总参数，提升了MoE的稀疏度，结合Stable LatentMoE 框架，实际推理时从 896 个专家中激活16个。

这次还顺手把整套教学技能开源，配上一门给K-12老师的AI素养课。

6、沃尔顿家族出资！美国一座新型大学吸引各界目光

这意味着只要Gemini的架构不大改，芯片就能一直用，新版本的参数照样灌得进去。

在他看来，要达到物理世界的「ChatGPT时刻」——即机器人能够在真实世界中开箱即用，完成日常任务并理解开放式指令——至少需要1亿小时级别的真实交互数据。

7、美以联手突袭伊朗，特朗普发布开战宣言：海军要全歼，政府要接管

邵天兰说过一句很实在的话：问题不在硬件。

新智元报道 北京时间今天凌晨，时隔16年，西班牙人重新举起大力神杯！ 而在为这一刻欢呼的同时我们发现，今年的美加墨世界杯，除了踢球的、看球的，还有一群「数字选手」也格外忙碌—— 那些顶着几十亿参数，一路疯狂推演、预测的AI大模型。

8、泰山队宿茂臻明确联赛足协杯目标，谈人员变化，王大雷期待好结果

产品尺寸为 185×112×62 mm，重量为 500 g，具备 12 个总自由度，采用微型直流电机与连杆传动，指尖重复定位精度为 ±0.2 mm，四指最大抓握力不低于 45 N。

本体工程在此提供了关键的实践框架：通过构建AI友好的、可被模型调用和追溯的语义骨架，我们得以将模型的推理锚定在明确定义的知识结构之上，使输出所依赖的类、属性和关系获得可形式化描述与可追溯验证的工程基础。

再拿一次小规模「试航」压测规则，把要命的问题在铺开到上千个文件之前就揪出来。

9、母亲在家门口中枪！圣保罗劫匪没抢走摩托车却开枪，伤情尚未公布

真正的科学研究从来不是纯文本工作，而是由提出假设、设计实验、调用工具、调整参数、观察结果、排查错误和持续修正等一系列行动构成。

这就是田然说的「心流」——你很容易出戏的办公流程，不是好的办公流程。

10、谷歌财报的四个焦点：云利润率、资本开支增长逻辑、TPU会计处理、SpaceX的算力租约

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

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

1、高温炙烤下的德国人和基础设施

第二件是治理。

2、4个超好看的柜门拉手，你喜欢哪个？_网易订阅

画面里出现了猛犸象，一头真实的、活着的猛犸象站在那里。

3、小程序开发完怎么上线

Flexion Skild AI 的展示以跨形态、跨任务的能力片段和 in-context 适应为主——广度取胜，并未展示长程全身移动操作能力。楼市的寒气，连租房的巨头都玩不下去了5月19日上线的The Joe Rogan Experience第2501期，a16z联合创始人、网景浏览器之父Marc Andreessen聊到AGI，甩出一句： 我们大概在三个月前就跨过去了。

4、足坛一夜动态：葡萄牙险胜智利，德国2-1美国，英格兰1-0新西兰

也就是说，两个人打开同一个看板，会因为各自账号能碰到的数据不同，看到不一样的东西。

5、湖人96-84胜雷霆！蒂耶罗得分王，24号秀立大功，东契奇帮手诞生

文章开头已经讲过，对比非常鲜明。

6、重塑全球酒业评价标尺，《世界酒庄影响力指数》即将发布

他的问法是：分别给我这两边最强的版本。

为填这条沟，智元和觅蜂科技打造具身智能数据「平台型供给」基础设施，开源了行业首个百万真机数据集AGIBOT WORLD，目前累计下载了120万余次。

IMO满分是42分，金牌线通常在28-30分左右。

7、世界杯争议！西班牙领奖 阿根廷集体背对无视 38岁硬汉怒斥罗德里

医疗则最典型，报告解读、辅助诊疗、患者追踪都价值千钧，可病历数据比黄金还敏感，必须留在院内，而模型一周一迭代、商业产品往往滞后一个月，医生和患者都等不起。

但U1 Pro的成图，直接把这两座大山给推平了。

8、不只是球员会打人！阿根廷助教赛后1挑2：狠狠揍了奥尔莫脸部一拳

物理AI的「开悟时刻」，从来不是完成一次惊艳的演示。

可用进废退，那块负责独立思考的脑力，就会跟久不用的手臂一样，悄悄回缩和变弱，用奥特曼的话说是——肌肉萎缩（atrophy）。

配合优化后的训练策略与数据配比，这些结构改进使得整体扩展效率相比 Kimi K2 提升约 2.5 倍，让模型能更高效地将算力转化为智能。

网友直接说：「荷马会对这个作品感到骄傲！」。