参考资料： 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、leyuapp 它完全依靠纯粹的自主决策。

恰恰相反，它是效率工具：替我们省掉了海量注定失败的尝试，没有它，没人能在有限的一生里走到学科前沿。leyuapp结果设备买回来，从到货到吐出第一个Token要熬一两周，模型每迭代一次都像换血。

2、湖人官宣一签一裁！卡鲁马双向合同加盟穿47号 紫金军16+3新阵出炉

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

3、连续5年没进总决赛！朱芳雨杜锋为低谷买单，广东彻底推倒重建？

这就是我们要的：不止是能交付的成品，关键是办公体验要好。

4、詹姆斯下家迟迟未定，个中原因令人心酸！

在硬件层，这份开放被贯彻到了近乎「不设防」的程度。

5、英国童话：住在温网旁边的男孩，将在24岁生日当天打温网决赛？

研究人员进一步证明了一个关键结论：上述加权目标等价于在一个新的掩码分布下做普通训练。

但企业不能因为更换了模型，就失去之前积累的业务经验。

结果，AI这边一年一个台阶飞速进化，教育那边却一点没动。

6、足球小将激战运河畔

第四步，在Claude Code里用/add指向这个文件夹，或写进CLAUDE.md。

一共有两个版本：DeepSeek V4 Flash，DeepSeek V4 Pro。

7、官方：深圳新鹏城中场张晓彬转会加盟武汉三镇

这些东西一旦泄露，不是道歉能弥补的。

过去这两者混在一起，没人分得开。

8、一个时代的结束！阿根廷卫冕失败，这四人恐离开，梅西进入倒计时

一边是旗舰之间的军备竞赛，一边是价格上的贴身肉搏。

真正理想的游戏，是让玩家能进去操控，可以影响结局。

Dyna嫌贴标签不够。

9、悬念揭晓！詹姆斯将公布决定...

V4正式版打造的一款《我的世界》+《无人深空》的混合游戏HTML，可玩度还是比较高的。

表面看，大家都在追逐「通用机器人」；真正把几份技术路线叠在一起，却是刀光剑影。

10、拳击手会做柔软的梦吗？

写提示词的时代不会一夜消失，但它的光环正移向循环。

而磐石则是用自然语言、分步把需求说出来。

1、官方：25岁广州队旧将陈郑烽出任温州队助教

权限越大 AI越像一个「内部员工」 这份报告背后，是AI安全的一次重心转移。

2、这一次，郭艾伦说了大实话

这大概率，就是还没官宣的Claude Opus 5。

3、后背疼痛？千万别以为只是累了，小心得了这些病！

/goal的机制，是你定义结果，它负责迭代。恐怖!曲棍球手被球击中失明 切开脑袋手术满头刀疤钛动现在有两三千个智能体在运行，数量还在持续增加。

4、曝奇才计划与戴维斯展开续约谈判 还将寻求引进一名替补控卫

Flash Cyber：能修漏洞，但不是谁都能用 Gemini 3.5 Flash Cyber，一款专攻网络安全的硬核模型。

5、日本版the row强势破圈，极简又升华了

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

6、阿根廷足协:梅西未能获得世界杯金球奖 是本届赛事最大争议之一

但开头还埋着第二副面孔：对外的传递。

他还提到一个细节：没人算过那个常数，估计非常小。

第一个是零部件。

7、京粤大战露天第二现场活动坐标——大跳台，拿大奖！

信息安全机构Veracode发现：过去两年，模型的语法正确率从约50%提升到95%以上，但安全通过率始终徘徊在45%～55% 去年年末，GitLab调查了3266名DevSecOps从业者，73%遇到过Vibe Coding代码带来的问题；76%表示更多合规问题是在部署后，而不是开发过程中发现。

它更关键的贡献在于：将长程导航从「路径生成问题」，推进为「持续执行问题」。

8、淘汰小威的哈莫妮·谭是谁？有越南柬埔寨中国血统的法国选手

中国人爱吃馒头包子（国产显卡），你当然可以把烤箱改去蒸馒头，但效率极低且费电。

Figure 03 可以说，人形机器人进入双雄时代——逐际动力是 Figure 在中国最强大的对手，COSA 是目前最完整的人形大脑系统。

吵了两周，这场争论真正吵出来的，不是「AI能不能做数学」，是「难」这个字要怎么定义。

仿真放大试错，真机校准真实，谁多分预算，没人服谁。