参考资料： 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、乐竟体育 由于从零训练一个高质量 DLM 成本高昂，使用者通常会下载第三方开源的模型、微调后部署，这正是后门攻击（Backdoor Attack）存在的场景。

分析发现，两张图都带着ChatGPT的SynthID隐形水印——彻头彻尾的AI生成。乐竟体育今年5月OpenAI再宣布推翻一个1946年的埃尔德什几何猜想时，在公告里同步附上Noga Alon、Melanie Wood和Thomas Bloom的评价。

2、榜眼秀弃子！30岁流浪汉！尼克杨约战！篮球拳击赛？

因为Token本身是「成本」，不是「价值」：它是新的成本中心，只有被Agent真正用起来、投进业务，才转化成价值。

3、12吨巧克力有难，全网化身超级侦探添乱

不管你怎么打乱操作顺序，M永远是6。

4、95比90逆转夺冠！广东男篮登顶全国第1：辽宁却连16强都没进？

哪个残基落在哪个结构域、离活性口袋有多近，一眼可辨。

5、前沿AI化学技术有望落地四川，赋能产业绿色升级

大脑系统 + 软硬一体 + 开放底座 逐际动力与其他机器人公司之间最大的壁垒，除了大脑系统，还在于与硬件联合优化。

它不仅能自我介绍，还能流利地进行实时对话。

知识库解决的是「系统知道什么」，但企业认知系统还必须回答： 系统应该在什么条件下使用这些知识？ 应该调用哪些技能？ 应该采取什么行动？ 什么结果才算成功？ 失败应该归因于知识、技能、计划、执行还是环境？ 学习以后，系统应该修改哪一部分？ 因此，认知主权比数据主权更深一层。

6、CBA辽篮速递！辽篮又签潜力小将，付豪一天两练追求大合同，七月初球队迎来两场训练赛，教练组再添新人

这20%，是自动化最难啃的骨头。

目前，这套方案已经在真实客户场景中跑通了。

7、抬过！曼联彻底无缘签楚阿梅尼，穆帅拍板皇马砸40万周薪确定续约

到了西班牙对阵阿根廷的决赛，小浣熊玩得更大。

有回他只让模型跑个数据查询，模型自己回了一句：我发现这份数据一直在变，那我起个Loop，每30分钟给你出份报告。

8、《AC女巫》女主首曝引热议 玩家喊话别再硬塞男主了

变强的从来不只是模型能力，更是能调用这种能力的人越来越多。

这一循环设计并非简单重复实验，而是通过不断追问来质疑假设、分析失败、思考限制性能的关键因素。

1. 可靠动作chunk扩展（Reliable Action Chunk Extension） 当前很多VLA策略以action chunk形式输出动作序列，但部署时往往只敢执行前几步。

9、新疆大部将迎新一轮高温天气！持续时间长

10月，全球开发者先锋大会（GDPS）暨国际具身智能技能大赛接力登场，正是这条链路上的下一站——「七月展成果，十月看未来」。

好消息是，Qoder在国内第一个交卷了！ 刚刚，阿里旗下的Qoder正式推出了Qoder Security，直击AI Coding的安全风险问题。

10、J罗单场创造五次机会比肩传奇 哥伦比亚一球小胜民主刚果

就像牛和狗一样，真实地在这个地球上存在过。

接入Learning Commons后，Claude按所在州课标和学习顺序，自动搭出一节课的教案与学生材料。

1、真敢说！詹姆斯最理想下家是湖人！？

第一点，推理效率优化已经上线，省下来的算力回馈给所有订阅用户，光这一项就能多出大约10%的用量。

2、老戏骨牛犇儿子王侃去世享年66岁，曾与陈数演对手戏

第一发点球，瞄准、蓄力至峰值，起脚射门；攻守互换后，看准反应槽指针，顺势滑屏，可惜手速慢了半拍，扑救失败。

3、和李月汝同遭低谷！自由人总裁杯决赛夺冠却弃用韩旭 女篮遇危机

无论是材料建模、分子设计、自动化实验，还是更广泛的科学发现流程，AI 若想真正参与科研，就不能只会「解释知识」，还必须学会「执行动作」。费城半导体指数跌2%特纳警告说：「一个没有思维链监控的军事部署环境，简直是流氓AI梦寐以求的温床！它不仅缺乏监管，还能直接接触到最强大的军事决策者和武器基础设施。

4、泰山6出1进引质疑，送走本土中生代再引新援，情怀不敌竞技现实

「书生·端砚」并非单纯升级的文献处理大模型，而是一套完整落地「假设推演—仿真计算—实体实验—数据回流」全链路的科学智能系统。

5、三分6中0，他还是亚洲之光吗？

以前拼谁会说话 现在拼谁会搭系统 这一轮变化中，真正改变的是编程重心：从「内容设计」，挪到了「行为系统设计」。

6、2025年中国移动互联网流量报告

香江之畔的驻足，资本的真金白银 技术硬核与战略清晰，往往能引来最具慧眼的伯乐。

在同一个提示词下，Gemini 3.1 Pro的表现中规中矩，其优势在于结构化数据的呈现（如主动输出了清晰的CSV数据表）。

它直接用AI造出面向不同芯片的高性能算子，可在真实编译试错与知识沉淀中持续自迭代，稳定交付工业级算子。

7、被金融富商暗恋20年，47岁嫁他不生娃婚姻幸福，如今深陷欺凌风波

最典型的案例是一支开发小分队，全程没有一行人工手搓的代码—— 三个月，交付50万行级别的产品代码。

以后，你说两句，AI当场就生成工具，还直接连着你自己的数据。

8、抱大腿的哈登为何最后自己都成了大腿？问题到底出在哪？

每一个被提出的候选证明，都要被拿来疯狂攻击。

配文下方，是一个简洁的数学公式。

模型可以对着这个「客观真理」死磕好几天，中间不需要人来仲裁。

从「API产品」到「可运维平台」，这是最后一块拼图。