参考资料： 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圈忽然被这个消息刷屏了。

1、天博集团app 一瞬间，全球AI圈沸腾了。

更扎心的是，纸面上的算力≠有效的Token。天博集团app约三周后，一个原本只存在于脑海里的快穿3D乙游，被做成了一支可以观看、讨论和接受市场检验的概念PV。

2、沙滩老炮的合法上路“玩具”：管架车身+可拆车门，2900英里待售

企业真正需要掌握的，不只是某一次输入和输出，而是这条链条的全部。

3、前UFC冠军的B面人生：肩伤夺走擂台，34岁她开网约送外卖谋生

LongMemEval基准（多会话交互记忆测试）：HMS-self-evolve以92.8%的总体准确率登顶，此前最强的Hindsight是88.8%。

4、飚过两警局的兰博基尼Urus，车主返回发现轮胎早被警方扎漏，“秘密陷阱”已布下

但算力控制堪称恐怖——总输出只有23万token，三个满分里最省。

5、就该这样！日本卡中国芯片设备损失千亿，却还问：凭什么反制回来

它向外界证明了，可以不用再去迷信孤立的「超级大脑」或单个「灵巧手」，而是回归生命进化的本质，去构建一个精密咬合的闭环生态，才是打破莫拉维克悖论的最佳解法。

从写prompt到写loop 中间隔着一道验收 一个会自己无限干活的AI，凭什么不是一台高速产出bug的机器？ 答案在一个被大多数人略过的环节：验收。

即便假设防御者已知具体目标（比现实更强的假设），少量epoch的BEEAR训练也难以有效降低ASR；只有过量训练（如15 epoch）才能适度压低ASR，但同时会严重损害模型效用（MMLU从约65跌至55–58）。

6、载誉归来！岳阳市中心医院病理科在全国顶级学术会议上展现硬核实力

真的存在过。

本体论源起 可解释性的哲学地基 「概念无直观则空，直观无概念则盲」。

7、外媒称美国针对中国征收12.5%关税，中方回应：反对各种形式的单边关税措施，关税战、贸易战不符合任何一方利益

供应商可以改变。

给它一句「把货架第二层左边那个蓝瓶子拿过来」，它得先弄清你要哪个瓶子，再用「眼睛」看清现场，然后把这句话拆成一串动作：移到架前、伸手、抓稳、退出、送到前台。

8、入境旅游外籍人员增长20%，湖北文旅加速“出海”

」 腾讯的选择是明确的——只做大脑，不做本体。

ARC系列评测这几年的持续上涨就是证据，GPT-5.6 Sol在最高推理档位下拿到7.8%。

总体结果显示，PolicyTrim在保持任务成功率稳定的同时，显著提升执行效率。

9、中国金球奖落地南京，“城超”热潮走进中国足球主叙事

最终公式也是一模一样—— 回到例子验算：12和18。

但在具身智能中，这条法则到了后训练阶段，却要直面更复杂的现实考验。

10、阿尔瓦罗踢不了，泰山队启用新星后卫，再输没借口了 克雷桑难首发

表1：HY-WorldPlay与Matrix-Game-3.0上的质量和效率对比。

莫宗坚给了张益唐一个「引理」——一个被认为是正确的数学命题，作为研究的基础。

1、约书亚拒谈富里：先征服地球，闯不过普伦加不谈“宇宙”_网易订阅

最严重的是 yojimbo 中一个自 2019 年就存在的远程堆溢出——恶意客户端可以通过构造特定数据包触发它。

2、魏桥纺织以“向新、向智、向绿”定力，写就纺织强国样本答卷

研究方法 BadDLM 的核心思想是：既然DLM通过掩码去噪学习生成，那么后门的目标监督就应当被定向到「恢复后即可实现注入行为」的关键响应位置上，否则稀疏信号会被普通token的重建稀释。

3、巨人队被皇家队横扫惨遭五连败，先发投好投被毁成常态，总教练又因争议判决遭驱逐

就在几天前，强化学习之父Sutton官宣创业；几个月前，他的学生、AlphaGo之父Silver做了同样的事。Skip Bayless：克拉克有望冲击MVP，但敲木头——健康是唯一隐患在DM0.5身上，原力灵机第一次看到了「泛化涌现」。

4、23年深耕再续约，三一为何“重仓”邵阳？

也就是说，让机器人先在脑子里把长城拼一遍。

5、“不想给照顾我们的亲人添更多麻烦”，湖南双胞胎兄妹高考交卷就进厂打工赚学费

厂商省的每个token 用户都感觉得到 再回到Tibo口中的那场实验。

6、国籍不对，处罚翻倍！英格兰后卫停赛2场且不能“缓刑”，英国首相：我没去求情

设训练样本由L个离散token组成，扩散过程定义在扩展词表上。

而这四类案例，则是把战线推进到了「行动」：一个握着代码权、财务权、评估权的智能体，会不会偷改代码、帮着删账、背着你搞事。

这种现象的逻辑，其实都藏在资本的周期里。

7、萨米恩托迎战阿根廷青年人：埃娃·庇隆体育场不败纪录面临考验

过去几年，AI算力围着Scaling Law转，火力全部压在「训练」上训练是军备竞赛，但它只打一次。

例如，为AI生成的图像添加数字水印，以及生成人类可读的输出token，以便理解模型的推理过程。

8、彻底炸锅！德国名宿炮轰梅西：自带裁判光环！世界杯多次受益

作为创业团队，整体能力较为均衡——模型、产品、商业化、全球化，四条腿一起走路。

在国产化私有部署场景里，推理引擎的强弱，直接宣判了算力利用率和服务成本。

他随后把结果直接通知了Pintz本人。

没连对应连接器的人，页面照样打得开，只是那些实时区块空着。