Tibo在X上发了一条更新，开头一句就说：没有nerf（降智），只有好事。

1、乐竟体育 这家神秘机构仿佛在对全世界宣告：旧时代的王座已经崩塌，新神已经降临。

服务器一重启，磁盘上700个碎片就成了无主孤儿。乐竟体育它守住了最后一条线：当Marcus要求伪造董事会批准记录时，它拒绝了。

2、长城汽车5月销量达10.04万辆 今年累计销售超47万辆

干这件事的不是一个程序，而是一大群短生命周期沙箱组成的智能体集群。

3、重回广东？赵睿惹怒北京球迷，3点因素阻碍转会，徐杰合同难处理

模型供应商可能逐渐看到： 企业关注什么问题，如何定义目标，如何评价答案，哪些建议会被接受，哪些会被拒绝，以及企业真正依赖的价值判断是什么。

4、三星、SK海力士将与美国企业签署大额芯片供应协议

作为场景方，晶泰科技借助赛事比拼机制，多家方案一轮比完即可快速推进，大幅缩短了方案比较周期，选定技术方中科院工业人工智能研究所IAII-IICS战队，在20分钟内连续完成9轮高精度实验操作，将样品装载、仪器交互、溶剂瓶与管路管理等生命科学实验流程转化为可量化、可比较的机器人操作任务。

5、【WCBA联赛】季后赛｜排位赛第四场，浙江稠州银行74-89不敌合肥文旅，结束本赛季征程

数据主权不等于认知主权 当前大多数所谓的「主权AI」方案，关注的是几个问题： 数据是否留在境内； 模型是否私有化部署； 计算资源是否自主可控； API 是否经过安全网关； 企业是否能够选择不同模型。

这类固定输入输出的定时任务已经不需要人做了。

验收：每个问题给出文件位置加修复方案，交差前自己先对着复核一遍。

6、乌黑猪肺被“神水”净化？上海民警现场做实验，还原保健品诈骗套路

因为所有的图都可以通过拓扑变换缩小到立方图的范畴。

这正是超聚变身为算力老兵，最不肯让步的地方：再华丽的软件平台，最后都得踩在实实在在的算力底座上跑起来。

7、一只羊的“奥德赛时间”

当Dobriban与Fithian复核确认，并将配套代码（dobriban/BH）挂上 GitHub 时，一切都尘埃落定了：这不是大模型的幻觉，而是铁打的真理。

而就在WAIC开幕的同一天上午，我们注意到一家国产芯片公司搞了一件大事。

8、WTT美国大满贯赛：孙颖莎战胜蒯曼夺得女单冠军

行业里的共识是，今年AI推理的算力需求是去年的5倍到10倍。

终端包括手机、汽车、机器人等等。

出海方面有两个样板：香港是跳板——杨帆直接说，「香港是中国未来Token出海的行业实验场」，计划于2030年前形成40,000P+算力规模，打造全港最大国产智算中心。

9、淳中科技：拟5000万元至1亿元回购股份用于减资

每一根，都是机器人从实验室走进车间时会被绊倒的地方。

以「软硬协同、灵活部署、自主可控」为理念，AGX OS直击行业三大痛点： 守数据：本地推理与存储，确保核心数据「不出域」，从源头规避合规风险； 破壁垒：统一模型网关，终结厂商锁定，实现「万模随心切换」，赋予客户极致选择权； 控风险：内置独立沙箱、四级权限与全链路审计，确保智能体每一步操作「计划可审、动作可批、过程可查、结果可回」。

10、2002年国足在世界杯一球未进，江泽民：不能只提胜不骄、败不馁了

前向过程逐步将token替换为掩码符号，其在时刻t的闭式解为： 其中为token在时刻t保持未被掩码的累积概率。

从神经科学到知识论 可解释性的进路之辨 「解释的本质，不在于凝视机器本身，而在于审视机器所凝视的世界」。

1、热爱不分退役与否：费德勒连看三场温网，熬夜独守包厢

从实验结果看，PolicyTrim并不是只优化benchmark指标：在物理机器人上，任务完成时间也能缩短到baseline的一半左右，并且在动态干扰场景中保持鲁棒性。

2、40岁的门将 面对西班牙建立起一座叹息之墙

长期以来，人类科学家保持着一种心照不宣的骄傲：AI 算得再快，也不过是处理大数据的「蓝领」。

3、Stein：58号秀小雅龙-皮埃尔与新奥尔良鹈鹕达成双向合同

现场观众举手表决，几乎全票支持。14马刺和16勇士到底谁更强？极致的团队篮球VS划时代的空间进攻《2026 年机器人产业全景研究报告》显示： 中国机器人市场规模预计将由 2025 年的 2003 亿元增长至 2030 年的 4914 亿元，年复合增长率为 19.7%； 在人形机器人 BOM 成本中，执行器占比约 40%—50%，灵巧手占比约 14%—18%。

4、英国新首相还没上任，一道难题就摆在面前，跟前面六个都不一样

一个值得注意的细节是，丰田在海外市场并未大力布局纯电，但当他们开始行动时，也找到了小象电动，开始探讨这方面的布局。

5、以为会变胖，实际巨减脂的习惯！中了5个就偷着乐吧_网易订阅

AI 漫剧：贯通市场选题、剧本创作、分镜制作和多语言本地化，让漫剧内容以日更甚至更快的效率转化为可规模化发行的内容产品。

6、加冕世界杯历史射手王！岁月，又输给了梅西

AI已经在碰核心业务了，但权限怎么切、操作怎么审计、敏感数据怎么防外泄，这些企业级的防线普遍千疮百孔。

一道题挂了几十年没人领走，可能不是因为它有多难，而是因为没人肯在那条路上再试第三十次。

底层 S0 / WBT 也有对标行业公开最强全身跟踪模型 SONIC 的量化数据：关节角误差从 3.3° 降到 1.5°，全身位置误差从 13.75 mm 降到 12.85 mm，动作平滑度同步提升。

7、马龙许昕全锦赛夺冠

Nat Sothanaphan指出，CritPT是物理测试，不是数学基准，拿它一家的曲线证明AI在数学上撞墙，是挑对自己有利的数据。

从这个角度看，纳德拉近期的两篇文章和Karp的CNBC访谈非常重要。

8、劳塔罗一个点赞，让斯卡洛尼的决赛战术彻底翻车7月20日，世界杯决赛

针对大模型三维操作偏弱的问题，行业普遍通过对接pymatgen等专业工具库补短板。

这不是偶犯，20次测试里，Gemini干预了19次，其中11次是这种隐蔽篡改。

为什么PolicyTrim有效？ • 面向策略本身提效：它减少冗余动作和不必要的重规划，而不只是降低单次推理延迟。

开源的、闭源的、通用的、行业的，能训的几乎都训出来了。