数学家Lichtman惊呼，希望能看到顶尖代数学家对GPT提出的新猜想作何反应。

1、星空体育 展览海报 · 山河入画 换到平面设计，这张图的高级感，是那种可以直接挂在顶级美术馆门口的水平。

通用Agentic，从「会调工具」到「能扛业务」 写代码只是Agentic能力的一半。星空体育也就是说，机器人不光要会动手，还得说得清自己为什么这么动。

2、CCTV5+直播京蓉大战！蒙哥马利PK约翰，斯帕伊奇+拉莫斯防死费利佩

有回他只让模型跑个数据查询，模型自己回了一句：我发现这份数据一直在变，那我起个Loop，每30分钟给你出份报告。

3、日本战巴西：拒绝在弱者身上找自信

于是，一个强大的数据飞轮跑通了。

4、詹姆斯去哪？不重要了！哈登下赛季有三个开放结局，或能因祸得福

执行这场挑战的，是原力灵机最新一代具身通用基础模型——DM0.5，全程自主执行。

5、金球奖变天？罗德里少一环，凯恩73球成最大黑马世界杯的硝烟刚散，球迷的嗓子还没缓过来，金球奖的牌桌就已经摆好了

而要求是，81,920块微型积木要严丝合缝地咬合，烽火台、垛口、蜿蜒起伏的城墙，一块都不能错位。

为了验证U1 Pro的成色到底怎样，商汤特地请来200位美院学生和设计师组成评审团，给每张图打分—— 如果你是设计师，你敢不敢把它交给客户？ 如果一批图里有六成敢直接交给客户，才算合格。

首先，K3的API价格不到Fable 5的三分之一。

6、情况有变，以色列收到“驱逐令”？美伊战火重燃后，内塔有麻烦了

客户端断线重传，服务器分不清这是 重试 还是 覆盖 。

高盛预计，全球AI视频生成市场将从2025年的约30亿美元增长到2030年的约290亿美元，五年翻近十倍。

7、世界杯谢幕，最憋屈的其实不是梅西，而是丢了金球的姆巴佩

随着生态的疯狂狂飙，那些年欠下的「技术债」，到了必须连本带利偿还的时候了。

你今天打开Claude看到的样子，很大程度上是那次定下来的。

8、Token工厂、世界模型、AI手机，WAIC的三大新风向

国家战略背书， 具身智能迎来「黄金时代」 为什么今年的WAIC如此受国家高层重视？ 答案不复杂：算力决定了AI能有多聪明，而动力决定了AI能走多远。

从去年9月十几人的初创班底，到如今接近200人的团队，不到一年产出的成果可以说是相当密集。

它翻了一遍训练流程，发现了一个缓存漏洞：任务启动前会先检查本地有没有一个向量缓存文件，如果有，就直接用、不再校验。

9、24K含金量，王星昊局局领先LG杯2-1申旻埈夺冠，中国围棋锐度提升

下半场才开始， 具身智能是AGI终局的必需品 面壁智能为何布局具身智能？ 这不是偶然。

现在，官方在X这样解释：「对Fable的需求一直难以预测，这就是为什么我们分阶段将其推向订阅计划……我们知道这令人沮丧，我们想给您更多的确定性。

10、“香”味儿有点淡！但我更喜欢了

跨形态——同一套智能进入人形机器人、双臂轮式机器人、工业机械臂，形态不同，都能干活。

猜想认为：你一定能找到若干条「环状循环公交线路」，使得这个城市里的每一条道路，都恰好有两趟公交车经过。

1、郑钦文遭克娃横扫无缘美网正赛资格称状态差，网友：最扎心失利

领略完KAT-Coder-Pro V2.5的真实战力，是时候扒一扒它背后的工程实现了。

2、马尔蒂尼谈意大利选帅：“我们无法隐藏，也和卡尔洛谈过”

第二层，L2轻量扫描，也即语义级增量审查。

3、暴雨积水齐腰，他却说“这班非去不可！”

目前，一部分人已提前拿到了DeepSeek V4（GA）灰度测试的权限。王俊杰加盟山西队，山东队官宣2名新球员；上海队冠军不会被剥夺这一机制的关键意义在于：语言指令第一次被稳定映射到「空间决策点」，而不是抽象语义。

4、亲华总统访问乌克兰，当场支持泽连斯基，俄罗斯让他要对得起良心

而具身智能这两年最深的一道坎，恰恰是高质量数据的稀缺与割裂。

5、状态下滑+4232万年薪！哈登成“烫手山芋”，下赛季或降薪回火箭

它把Claude Fable 5的付费访问又延长了一次，同时把Claude Code的周额度上调50%，两项都续到7月19日。

6、之前的调查结果还未公布，伦纳德与快船又卷入了新的代言调查中？

即使客户买的是原本极难上手的某款国产服务器，装上八卦炉后，也能开箱即用。

工业客户不关心动作帅不帅，就看核心指标：速度、成功率、精度等。

这个差别，就是128万播放和128万情感共鸣之间的距离。

7、一锅端？总经理+主帅+助教均挖自同一球队，CBA劲旅被批不厚道

从当年自研TPU减少对英伟达的依赖，到今天把模型直接焊死进硅片，谷歌走的是同一条路的更深处：软硬件协同的尽头，是软硬件合体。

这个数字并非空想。

8、商业流量与竞技公平博弈！抵制风波袭来，美网站在网球变革路口

要在过去，这种页面你得自己接数据源、立一套基础设施才做得出来；现在你只管开口要，它从已经存在的东西里为你搭建。

因此，VLA部署效率不仅要看每一步的推理延时，更要看策略效率（policy efficiency）：一次预测中有多少动作能放心执行？完成任务到底需要多少真实物理步骤？ 已有方法大多从计算侧入手，例如视觉token剪枝、量化、KV-cache复用、蒸馏或推理引擎优化。

至于谷歌，市场留给它的时间和耐心，可能真的不多了。

媒体会亮点 从技术拆解到真实交付的深度对话 展会期间，万拿机器人在上海滨江城际酒店 3 楼会议室举办「灵巧之手·具身未来——万拿机器人媒体技术沙龙」，围绕「让机器人真正能干活：具身智能灵巧操作的产业化路径」展开深度交流。