参考资料： 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、米兰体育 以前拼谁会说话 现在拼谁会搭系统 这一轮变化中，真正改变的是编程重心：从「内容设计」，挪到了「行为系统设计」。

再看那座光鲜的奖杯。米兰体育这条路，Coding已经提前替所有人趟明白了—— 从嵌进IDE的Copilot，到动嘴写需求的Vibe Coding，再到今天自己规划、执行、验证的Agentic Coding。

2、阿隆索：F1赛车若给不了肾上腺素，我将重新考虑未来

数据瓶颈：高质量的人类文本数据几乎被「榨干」，合成数据的效果尚待验证。

3、英媒：热刺想要引进拉什福德，球员希望回归曼联或出国

自研的此芯P1，就是这块地基石。

4、在亚太转了一圈后，莫迪迟早要意识到，他最终还是要求到中国面前

这，就是「大晓速度」！ 让它干活的 是一个会「想」的大脑 面对几十万种视觉资产、每天都在变的订单，W1凭什么能稳、能准、能一直干？ 答案不在手上，在脑子里——Kairos 3.1开悟世界模型。

5、菲律宾总统府被围，爆发混乱，捅马蜂窝的马科斯，对华喊出一句话

如今，随着这个能力铺进消费级产品，遇到棘手问题，只需打开手机就行了。

这正是富内斯所不具备的能力。

比如，法务想要一份把所有依赖库许可证列全、还标出哪些是copyleft的审计表，一句话就能生成。

6、从19项到10项，2026英联邦运动会格拉斯哥缩水开幕

但ChatGPT问世三年半，教育却几乎没变。

这一方法直接点亮了现代高通量科学。

7、探学记打卡泸州十八中的礼文化！下一期精彩继续→

反低效内卷 沉淀科研复利资产 如果说验证滞后制约了科研即时落地效率，那么科研经验的零散流失，便是影响 AI 科研长期进化的核心因素，也是大模型科学探索能力增长缓慢的深层原因。

WAIC 2026（世界人工智能大会）于 7 月 17 日在上海开幕，国内外 1100 余家企业参展，带来超 3000 项展品。

8、2026美国田径全锦赛观赛指南：奥运冠军莱尔斯、理查德森领衔，NBC全程直播

双雄争的 是谁当上你的AI同事 如果将视角放远，看得更清楚。

」 有人说，我很少见到科学圈的X像现在这样，陷入如此疯狂的兴奋与巨大的震惊之中。

从积木长城 到制造业的「最后20%」 看完热闹，该看门道了。

9、致癌阴影下的“中产货币”，Lululemon如何缝补信任裂痕？

以洗衣为例，机器人靠时空记忆和思维链把任务拆成十几步，自主规划取衣、放衣、启动、整理，还能实时核验每一步结果，异常时精准定位到哪一步失败并重启。

以前你设计的是一次指令的内容，现在你设计的是一整套行为：它怎么触发、怎么验证、怎么停。

10、尤文外租球员报告：路易斯随维拉挺进欧联杯决赛，鲁加尼未来成疑

7月15日，银河通用发布WAM-TTT，全球首个面向具身智能大模型的测试时后训练框架。

研究背景 扩散语言模型（DLM） 当前成功的大规模DLM多基于离散掩码扩散架构（如LLaDA）。

1、印度队长吉尔为学生发声：希望彼此同情尊重，为了印度的未来

值得注意的是：类RL-based方法取得次优ASR，但在低中毒率下会明显损害模型效用：研究人员认为其原因在于RL在少量中毒数据上过度优化攻击目标，偏离了原有的指令遵循分布；而VPI依赖提示注入偏置，无法突破现代安全护栏来生成对齐绕过（）所需的中毒数据。

2、意外！他或成上港本轮足协杯最大惊喜，37岁依然能为球队破门

痛点一，是服务极度不稳定，Token质量坐过山车。

3、岳阳市2026年儿童入托、入学线上查验步骤！新增HPV疫苗接种记录查验功能

这次他休假回来，一边收拾行李，一边让Claude按同样的标准，分析他自己的基因组。拳王阿瓦雷兹回应“避战”质疑：他块头太大，这不公平！原定大战已推迟扔给它近600行代码，全程34分钟，直出一个能跑的HTML。

4、TA：亚特兰大联谋划重磅转会，追努涅斯同时谈恩博洛

图左：Claude Science；图右：GPT-5.5 换一道更贴近临床的硬题，磐石的表现同样能打。

5、亚洲球队全部出局！败笔连连：澳大利亚点球大战三大奇招统统失灵

他说的「三个月前」，大致在2026年2月。

6、友谊赛前瞻：布罗姆利迎战水晶宫，英甲新军主场考验英超劲旅

无论你是科研人员、在校生、在职人员，还是已经启动项目的创业者，只要具备一定技术或项目基础，希望推动科研成果、算法方案或比赛项目走向产品验证和公司化，都可以提交申请。

你搭一次页面框架，剩下的由每个查看者的身份去填：这才是真正的「一次构建、千人千面」。

然而，命运开了一个残酷的玩笑。

7、50岁你叫他“失业老头”，65岁请尊称他“世界杯冠军教头”

35年后，这篇论文被一页纸超过了。

截至目前，中国队在国际数学奥林匹克（IMO）中已取得197枚金牌、37枚银牌和6枚铜牌的优异成绩。

8、首轮秀开局遇冷？美记曝海鹰计划重用霍拉尼，普莱斯或被安排与霍拉尼分摊球权

在这个工具中，代码安全内生于 Qoder，贯穿从编码到提交的每一步。

比如，反复写「先问我」「别乱改」「等我批准」，会让它连本该放手去做的安全操作都频频回头请示，活活憋成个畏手畏脚的实习生。

比如在生产层，通过软件优化支持FP4格式，在使用DeepSeek等模型时，原本需要4台机器的显存，现在1台机器就能搞定，直接为企业节省了75%的成本。

你点个确认，主Agent立马开始改，review一遍diff，前后还不到十分钟。