新智元报道 【新智元导读】Grok Build被爆偷代码实锤，48小时后，马斯克亲自按下删除键：历史用户数据全部清零，一个字节不留。

1、b体育网页版 电影海报 · 雨夜来信 一张民国上海的悬疑电影海报。

速度确实快了。b体育网页版这大概率，就是还没官宣的Claude Opus 5。

2、津门虎外援位置迎来久违面孔，格劳为此离队让位，球迷都支持点赞

一句话总结：老办法是让模型在一大堆搜索结果里凑答案，HMS则先像人一样，把回忆这件事有规划、有验证、有条理地做完，再请模型下笔。

3、想让伴侣越来越爱你，无条件宠你，一定要提前谈好这件事 (很多人都不敢做)

那它图什么？答案并不复杂：老师，是进入学校和学区的入口。

4、河南高院发布2025年度行政审判白皮书

在一镜到底 Demo 中，机器人不知道下一轮要面对什么布局，S2 必须实时判断下一步该做什么。

5、数据复盘西班牙2-1比利时：梅里诺再次绝杀，传控是斗牛士底色

孵化营依托祖泉研究院面向未来产业构建的成果转化机制与科创生态，聚焦AI+能源电力、AI+生物制药、AI+材料科学及AI4S科研智能体四大方向，遴选具有原创性、前沿性和产业潜力的「塔尖成果」。

换来的，是一个清晰的能力画像——顶级的Agentic工具使用，加上最接近全球前沿的仓库级工程能力。

此外还有一个点是生态可复制，超聚变AI Lab+FusionXplay把别人趟通的路直接搬过来。

6、佳点观察｜"白警官"走红，红在执法有锋芒，也有温度

资本为何押注？ AI视频是下一个万亿入口 就在同时，爱诗科技也宣布完成整体C轮融资，累计融资29.8亿元人民币。

机器人关节对电机的要求极为苛刻：体积小、扭矩大、精度高。

7、活力中国调研行｜商用飞机减重，争夺“一根丝”的话语权

这就是我们要的：不止是能交付的成品，关键是办公体验要好。

纳德拉认为，AI时代出现了相反的情况。

8、倘若今年葡萄牙仍然没有获得世界杯，C罗的历史地位会受何影响？

那只拥有37个自由度的灵巧手KAI Hand，也在被厚木板猛砸。

而真正的循环设计者们，才刚刚上场。

数百个智能体、8道关卡、3轮对抗式评审，最后还做了一次一致性校验，把每一条命令的输出跟Python原版逐一比对，只要行为一变就当bug修掉。

9、三年漫索长安米——文徵明在北京的三年半时光

其愿景是让本体成为AI与人类理解之间的共同语言，使可解释性成为工程化治理现实。

随即，一个可玩的「我的世界」就完成了。

10、国内首例！医学博士不靠论文拿学位

不像大语言模型，基本范式已经确定。

文献数据、实验数据的抽取和沉淀 这也造就了科研领域低效内卷的现状： AI 持续拟合公开的成功科研数据，却难以触达科研场景中占比超 90% 的试错数据； 前人验证过的无效方案、踩过的技术误区，后续研究仍会重复尝试； 已被证伪的科研路径，模型依旧会反复推演。

1、捷克黄金一代成员，欧洲杯美如画进球，为曼联效力18个月

第三，布局软硬件全链路。

2、​麦卡利斯特：英格兰节奏不如英超球队，阿根廷有信心晋级

ABot-M0.5在LIBERO、Robo-Twin等4项权威基准中均取得SOTA 表征三：「过目不忘」 在具备了优秀的四肢能力后，机器人在真实且复杂环境中，还需要一个完整的机器人操作系统，来统一进行决策和能力调配。

3、恶女洗白潮，正在失控

现在做到第几步了、接下来环境会发生什么变化、下一个动作的意图是什么。曝福克斯不可能被交易！哈珀愿保持耐心：下赛季继续接受第六人角色done条件：且必须机器可判定，比如测试全绿，或者某个spec项被关闭； 硬上限：包括最大轮数和最大花费，专防成本失控和无限循环； 无进展检测：一旦发现它反复碰同一批文件却没有新的通过测试，就强制停下。

4、晚风寄梦

在超维动力的第一篇官方发文里面，就提到了「Machine Intelligence, Has a Body. 机器智能，终将拥有属于自己的躯体。

5、央视直播，西南双雄！重庆铜梁龙对北京国安，成都蓉城战山东泰山

当按下暂停键后，行星停止公转，卫星停止公转，地球停止自转。

6、背部骨折！枪手铁卫靠止痛药坚持出战世界杯 但最终倒在半决赛

ABot-M0.5将运动与操作拆分为互不干扰的双动作流，并引入「帧级隐式动作」，让机器人在极细的时间颗粒度上实现眼、手、脚的实时对齐。

测试通过数、分数阈值这类可量化标准之所以好用，是因为Claude不用自己纠结「够不够好」，评估器替它判。

把思考外包给AI，一开始只是图省事。

7、谢贤 “头七”，家人齐聚其生前住所缅怀，谢霆锋昨日现身演唱会彩排，多次调整细节尽显敬业，曾每月花10万港币为父租豪宅，方便母亲探望

就在前段时间，Boris还说自己不再写prompt了，只写loop。

第二问，Beck在1991年拿下，证明存在某个c>0，使得max_{n≤N} M_n > N^c。

8、大妈坚信10万能领550万，采访时称都是为了这个家，丈夫靠不住

为了查清账目，先把预算这个变量调低，看看用量究竟往哪儿跑，这在工程上完全说得通。

从此它自我更新，你提过一次新客户，下次会话它已经知道。

真正决定性价比的，从来不是单次token价格，而是一次成功任务的完整成本。

参考资料： https://www.kimi.com/blog/kimi-k3 https://x.com/testingcatalog/status/2077759985761554501 https://x.com/chetaslua/status/2077701096924229744 编辑：大卫新智元报道 2026年7月的上海，黄浦江畔热浪滚滚，但比天气更火热的，是在上海世博展览馆拉开帷幕的2026世界人工智能大会。