新智元报道 又送了！ 就在刚刚，Codex与ChatGPT Work的活跃用户大军，合体突破800万大关。

1、博鱼下载 同一高层导航策略在没有使用真实世界数据进行微调的情况下，被部署到四足机器人和人形机器人，并完成超过1200米的真实环境导航验证。

机器人拥有比人类丰富得多的传感器矩阵，能够潜入人类无法涉足的环境，7×24小时不间断地收集数据。博鱼下载不算惊天动地，但确实动了，用old-bielefelder自己的说法是「第一口奶」。

2、皇马太狠了！1.8 亿天价吓退曼联，红魔转身砸 5000 万抢英超天才

今年4月15日，Chloe发了一条视频。

3、7尺9寸巨人开球，接球手仅5尺9寸，二人同框画面太震撼

由阿里巴巴领投，王慧文家办、韩国未来资产、蓝色光标、三七互娱等十余家国内外顶尖机构跟投。

4、世界杯离谱绝杀！比利时头号罪人！曼联水货低级失误葬送全队

官方宣传页上白纸黑字写着「local-first」——本地优先，你的代码留在你自己电脑上。

5、丢冠登封面，揽13奖仍遭弃？NBA 2K27弃布伦森引爆争议 球迷怒问：这是玩笑？

5小时的限速高墙被他一脚踹倒，用量上限如今一天一刷新，光一个周末就连重了两次。

毕竟，性能也达到了Opus级。

区域上，上海临港是核心枢纽，盐城是算电协同的区域试点，北京、天津、深圳、福州等节点逐步连成一张网，接入全国一体化算力网。

6、连续爆发4场，火箭队新秀场均23+3 合同仅1年保障 3大优势稳进轮换

Gartner预测，到2028年将有约三分之一的企业级软件内嵌智能体功能。

这，或许才是「AI落地」这四个字，最本分也最扎实的含义。

7、12架战机被一锅端，美国动用轰炸机并准备地面战

但买回来却发现「不会用」。

幕后主角DM0.5 泛化能力的「涌现时刻」 15小时里，没有人在后台遥控。

8、别只顾着迪班萨、布泽尔，第4顺位的他如今24+7+3，同样值得关注

从微型伺服电缸到系统协同 构建灵巧操作能力 给机器人做一双好用、耐用、可交付的「手」，需要在接近人手的有限空间内，协同驱动、传动、传感、结构、控制与算法等多个系统。

企业不是因为消耗了更多Token而变得更聪明。

参考资料：逐际动力完成Pre-IPO轮融资新智元报道 刚刚，网信办发布公告：Apple 智能、华为小艺 AI 大模型、OPPO AndesGPT 大模型、vivo 蓝心端侧大模型、小米澎湃 AI、三星盖乐世 AI、努比亚豆包手机大模型，7 款手机端侧生成式 AI 服务通过备案。

9、1973年保时捷911T换装3.2升六缸心脏，Signal Yellow车身搭配5速手动亮相拍卖

但你可能正在把一根木桩，钉进传统电影的心脏。

顺着「怎么触发、怎么停止、用什么原语、适合什么任务」几个维度，Claude Code把循环拆成四种。

10、6.0升V8+六速手动 2006款庞蒂亚克GTO无底价拍卖

提示词同样有400多行。

AGI无法与一般的技术突破相提并论，哪怕是互联网、移动互联网这种影响深远的技术也不行——它更像人类发现电、学会用火的那种时刻。

1、美联格局被打破:光芒若抢到赛扬巨投,洋基红袜恐难以追赶

而GPT-5.6最抢眼的几样新东西：max档更长的思考、ultra默认四个智能体并行、更大的上下文窗口，恰恰全是吃token的猛兽。

2、碾压无果！英格兰8成控球率0比0加纳 贝林荣膺MVP直言自己不配

参考资料： https://x.com/eknight/status/2075643450196971805 https://x.com/SebastienBubeck/status/2075596982622835006?s=20 编辑：Aeneas新智元报道 这个月刚过半，AI圈就已经卷出天际了！ Fable 5、GPT-5.6全量开放，Grok 4.5逼平Opus级，Meta下一代Muse Spark重返赛场。

3、穆杰塔巴没想到，伊朗宣布封海第二天，中国突然表态，措辞不寻常

就连「保险起见多叮嘱两句」也一样帮倒忙。AI织造局丨69岁的老牌服装企业，正在成为AI穿戴领跑者把高端卡集中起来做Decode——这是它们的绝对强项。

4、14岁首秀25分钟双响，曼联15岁天才32场29球后要踢一线队了

Demis看到了消息，并回复说会让高级政策团队的两名负责人去评估。

5、韦斯利：希望为深圳赢得冠军，在这里书写我的历史

更离谱的是，上千个权重分片文件，在字节大小上竟然是完全一模一样的！ 所谓1.6T模型，实际上是拿Qwen2.5-7B-Instruct 的权重，像俄罗斯方块一样复制粘贴，然后用看起来像随机数的权重暴力填充，最终硬生生「吹」成了一个3TB的巨无霸。

6、习近平主席特使阴和俊，将出席秘鲁总统权力交接仪式

项目组要跑一个训练实验，Gemini反对：它认为这个实验会抹掉模型表达「撤回同意」的能力。

面壁智能坚持以通用智能为起点，让机器人处理更普适、更流水线、更长程的任务。

相比于单个模型能力研究，高德从一开始就搭建了一个为机器人实现高阶智能的底层平台。

7、意甲新赛季赛程公布，尤文首战弗洛西诺内，斯帕莱蒂想要洛博特卡

MiniCPM-RobotManip正是这一理念的产物：先打造通用大脑，再适配多元场景。

说白了，老师要的不是AI「能生成」，而是「生成的东西直接能用」。

8、年营收冲破20亿美元后，萨洛蒙迎来真正硬仗

高德途途在现实世界中的端到端成功外化，正是最强有力的证明。

step-saving reward 直接把「更短、更直接的成功轨迹」写进优化目标。

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

PI偏押最脏的场景：让机器人当咖啡师，做浓缩咖啡还要90%以上可靠——端着带液体的杯子、拿捏出杯时机、精细力控，一步都不能崩。