这说明问题并不只是某个模型不够大、不够强，而是当前通用大模型普遍缺少稳定的三维空间行动能力。

1、亚娱体育 Grok Build是SpaceXAI旗下的AI编程agent，今年5月刚上线。

视觉Token压缩，本质是做精准的「减法」。亚娱体育这形成了一个可怕的闭环：官僚导致效率低下 -> 效率低下导致产品落后 -> 产品落后导致人才流失 -> 人才流失加剧技术落后。

2、“再炫耀，你女儿房子、工作都没了！”家长晒国企福利，反被打脸

特纳在会场上拦住了Bengio，请求他发声支持Anthropic，结果Bengio的办公室随后冷冷回复：「我们决定不发表声明」，拒绝给出任何理由。

3、招商大会一路从武汉打到苏州，广药集团这半年在谋什么局？

Beck证明了，能。

4、疯狂6-4！英格兰创60年最佳战绩，两项世界杯历史纪录被改写

② BEEAR防御，面向生成式后门的代表性方法。

5、长春改善置业新标杆：豪邦锦上天华凭何登顶“产品力”榜首？

没有任何预热、没有任何预告，他们在X上扔出了一枚重磅消息——发布Monolith-1.0模型，登顶世界第一！ 数据有多炸裂？ 1.6万亿参数（MoE架构，每token激活495亿参数） HLE工具辅助测试中拿下99.44%的成绩 GPQA Diamond达到95.9% MMLU-Pro达到96.2% AIME 2025超过90% 原生100万token上下文窗口 在12,288块Ascend 910C NPU上训练了60万亿tokens 这个成绩，直接把目前所有榜单打穿了！ 即使是最顶级模型，在面对地狱级难度的HLE时，依然会被按在地上摩擦。

但AI提出了一个非常有价值的见解，帮助他解决了这个卡了半年的问题。

画面中足足塞进了五十多号人物，最绝的是完全没有AI常见的「复制粘贴」敷衍感。

6、演员金泽去世年仅33岁，业内人士曝死因，好友证实发文悼念

证据：把架构文档和依赖清单附上，别让它瞎猜。

在LIBERO中，π0.5达到最高5.83倍端到端加速，同时成功率保持98%以上。

7、要加钱！奇才这都不放人？？

GPQA最开始只有39.4%，调整答案格式和评测设置后，直接飙到95.96% AIME因为答案都是数字，且题目已被大量公开，最终跑到了100% 最夸张的是HLE——他直接把测试答案拿去训练，最终得到99.44% 第二步，就是制造一家「真实存在」的实验室。

参考资料： https://www.imo2026.com/Results/Individual_Results.htm https://x.com/_simonsmith/status/2078468111678722448 https://mp.weixin.qq.com/s/HekpOfjea9-NrRP5TxL5Zw https://mp.weixin.qq.com/s/nQVfMccLl0ArddDwF6GPVg 编辑：大卫新智元报道 7月18日，AI圈忽然被这个消息刷屏了。

8、美国大满贯：单打16强各定4席！国乒未出战，申裕斌张本美和晋级

换句话说：谁的卡好用就插谁的，什么模型合适就跑什么模型。

对比更鲜明的，是成本。

简而言之，S1-Omni成功打通了从「跨模态科学理解与推理」到「领域原生结果生成」的完整链路。

9、大道如虹·筑梦黔行！“贵州公路好故事”现场宣讲展示活动举行

但故事还没完，它引出一个更大的问题： 当这一代孩子长大，AI早已像空气一样无处不在，一个从小只被老师「用AI教」、自己却没真正上手用过AI的孩子，能真正做好准备吗？ 这个问题，Claude for Teachers还没打算回答。

没有人在背后遥控，没有预先写死的脚本，从抓起第一块积木到垒上最后一块城砖，全程自主。

10、R星前员工控诉加班赶工严重！每周干80小时 分钱太少

AI Coding，就是团队下半年要重点打透的那块肌肉，也是最有说服力的一块。

这么看，理解、检查、修正的那个Loop，一直都跑在每一次判断里。

1、曼联小梅西新球衣号码曝光！皇萨仁仍想挖角，卡里克不愿过分吹捧

而PixVerse Game，就是在这个基础上，把「可看」推向了「可玩」。

2、朱芳雨赌对了！广东旧将内线下家曝光，已拒绝NBA马刺合同！

第四题：20分12秒，在一台还在飞的飞机上换引擎 最后一题不是修Bug，是往一个活着的系统里，塞进一整套新功能。

3、徐杰与林葳互换？宏远官方表态，经纪人也出来辟谣，真没这回事

领投方是恒旭资本，跟投方包括南京创投、新四军基金，A股上市公司东睦股份作为战略股东深度参与。小37岁女友曝光！！皮蓬你又刷新大家认知了！！当计价单位从「席位」和「token」变成「完成的工作」，送额度就不是让利，是换口径。

4、越来越多年轻人选择“去家务化设计”，入住后，幸福感翻倍上升！

那里面可能有SSH密钥、密码管理器、浏览器数据……你数字生活的全部家当。

5、《影之刃零》拿版号开预约！直接登顶WeGame预约榜

」 第一步：高附加值赛道 「现在这个世界，边缘计算会越来越多。

6、美洲独苗绝境挺立！淘汰十人瑞士，阿根廷卫冕之路遭欧洲三强围剿

这是「降维打击」。

半个世纪以来，数学家们为了证明这个猜想，可谓绞尽脑汁。

而机器人要进中国家庭，得先在中国房子里练。

7、热议杜润旺加盟同曦：与广东报价合同差距不大 离队真因引外界猜想

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

同时，用户对「固定智能」的那点幻觉，也要从此结束了。

8、茅台，一直很稳

账算得正是一回事，规模跑得起来才能证明这不是小打小闹。

传统工业机器人搞得定重复、标准、大力气的活，但一碰到「每次都不太一样」的精细活就束手无策。

接着，工作人员走上典型的无网环境电梯——这几乎相当于直接拔掉了机器狗身上的网卡，没有Wi-Fi。

作业交得越来越漂亮，脑子却越来越空。