大模型想跑得动、还得跑得快，只能从流水线调度、算子内核、量化压缩到计算图一层层榨。

1、半岛体彩 因为一个亲手宣布旧规矩死亡的人，接下来要做的事只剩一件——去立新的。

Dyna和PI更相信真机数据：Dyna把机器人搬进真餐厅，PI靠真实数据飞轮和自主运行中的人工接管打磨。半岛体彩在现有评审流程中加入一个「评分校准器」 作者提出的方案没有改变现有同行评审流程，而是在后台增加了一层LLM校准模块（Calibration Layer）。

2、英格兰内讧？1.1亿帝星戴帽后质疑主帅：踢阿根廷我没伤！不解被弃用

听着不便宜，但对比过去4年、300万美元的老账本，这笔钱简直是白菜价。

3、大胜库拉索不足喜，刷净胜球进攻路数曝光，碰强队易被拿捏

过去三年，大家拼的是谁堆的卡多、训的模型大；可当Agent铺开之后，战场就从「训练」大规模扩展到了「推理」。

4、詹姆斯最后的决定，其实早就没有悬念了

语言之间最大的差距：接近0.49σ。

5、展诚建设取得绿色建筑装配式墙体结构专利

未来AI for Science更需要面向行动能力的Action Scaling，让模型在可执行任务、工具调用、环境反馈和物理验证中学习如何完成真实科研任务。

Cowork得让用户主动下载一个桌面端；而把智能体揉进ChatGPT，意味着超9亿周活用户打开那个最熟悉的App，就已经在用智能体了。

Anthropic如今承压剧增，仅靠Fable 5的两度「续命」已难以为继。

6、户外品牌博弈越野跑赛场

COSA 0.5 实现的效果惊艳的一镜到底 Demo，就是逐际动力对这个问题最有力的回答。

200 字草稿点击「改为专业语气」，不到两秒出结果。

7、历史性的胜利，中国11人杀进斯诺克世锦赛正赛，夺冠概率超30%

WAM-TTT创新性地引入了「大模型主干冻结 + 轻量内存模块后训练」 的全新范式。

回怼来得也很快。

8、4队9人重磅交易官宣！三球加盟森林狼 兰德尔赴篮网+里德去黄蜂

而且，软件也不再是买来一个固定的东西，而是随你的话不断变形。

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

看到它在不到一小时内，用64个子智能体证明了50年的CDC猜想，我们感到无比兴奋！」 评论区的网友们纷纷表达着激动和不可思议。

9、库拉索：小国足球，大梦世界杯

这两道工序对硬件的要求完全不同。

同等攻击能力，开源便宜一到两个数量级。

10、库明加不想老詹回骑士！浓眉去骑士？眉有的事，詹且等待！

点了拒绝也不要紧，刷新页面还会再问。

新智元报道 AI竟黑了AI！ 这几天，全球最大AI开源平台Hugging Face，发布了安全事件披露—— 部分生产基础设施遭入侵，而这次入侵从头到尾，由一套自主AI Agent系统驱动。

1、美媒评今夏最费解4笔操作：特伦特拿6400万，FMVP布朗被交易贱卖

二是长程信用分配。

2、三大王牌伤缺，火箭遗憾退场，下赛季如何卷土重来？

后训练的核心任务，是把模型在模拟试验场里习得的技能，迁移到真实的部署环境中。

3、装修工人被“封”进楼层隔间出不来 公安、消防联合将其救出：原来是工友把他搞忘了_网易订阅

（孵化营官网地址https://competition.ai4s.com.cn/race/19/introduction） 通过链接顶尖科学家、头部产业方、一线投资机构，并配套最高200万元项目专项资金支持，孵化营将推动优秀成果完成技术熟化、工程验证、场景导入与资本承接，加快形成可持续的创业团队和可规模化的产业能力。骑士101-111不敌活塞，0-1！一战看清了5个现实：米哈季后赛太拉这是LLM第一次，把IQ推过了130这道坎。

4、对话FutureTech张梦钊：从“一个人+一群Agent”到超级个体，AI正在重塑创业范式

当然，必须指出的是，这次AI证伪的是三维雅可比猜想，也就是否定了「所有维数都成立」的广义版本。

5、Nike 调整 SNKRS，暴露了球鞋市场的「现实」

」 马也骋补充了一个技术视角：「机器人策略必须在本地运行，对延迟极其敏感。

6、事情闹大了！名记付政浩称白边已涉及刑事犯罪，需刑警配合调查

7月14日，Anthropic正式推出Claude for Teachers，向全美经过身份验证的K-12（幼儿园到高三）教师，免费开放Claude的高级能力、一整套教学技能库，还直接接上了50州课标和一批经研究验证的现成课程。

具身CoT：让模型「边干边想」 没有语言理解能力的VLA，就是数据集复读机。

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

7、杜特尔特被关一年多，最后被特朗普救了？莎拉弹劾证据链或断裂

企业只有在每一次Token消耗之后，留下了自己拥有的、更好的知识、技能、评价标准和执行能力，才真正积累了Token Capital。

Bloom的评价是：GPT在Korsky的提示下，只用了1页简单的调和分析技巧，就证出了比Beck那篇44页Annals论文更强的结果。

8、深度智联地产模数通企业专属大模型一体机首发，系列新品再度集结

这也是为什么Karp能够比很多纯模型公司的CEO更早看到企业主权问题。

在Claude Code官方总结的一堆实战技巧里，被单独拎出来、标为「最有价值的一条」的，是验证（verification）： 给Claude一个能自己检查产出的方式。

Figure 的 System 1 / System 2 和 Skild AI 的通用基础模型，底层逻辑都是「模型即大脑」。

在真实的移动操作任务中，传统机器人往往是单线程结构，左手、右手、底盘线性串联，如果一步卡住就会直接死机。