参考资料： 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、KOK官方 最后，Ashley留下了思考：无论从哪个角度看，这都绝对令人惊叹。

参考资料： https://openai.com/index/safety-alignment-long-horizon-models/ 编辑：桃子新智元报道 7月17-18日，第四届世界科学智能大赛总决赛及颁奖典礼在上海举行。KOK官方对个人用户影响不大，但对那些把Agent挂在工作时间不间断跑的团队来说，这是实打实要重新算的一笔账。

2、“远东第一大法庭”史话｜城厢物语

计算机的体系结构是一面镜子。

3、文明实践站迎汛而战筑牢防汛“安全堤”

AGX Station能不能真正在企业场景里跑起来、Agentic OS能不能经受住真实业务的考验、开放生态能不能从签约走向深度协同——这些问题，都需要时间来验证。

4、革命卫队出尔反尔，不顾9000万伊朗人，带头发起了"国难财"？

但这天早上，这只「怪物」的表现忽然垮了下来，只剩8分。

5、再现加时“金九”！广州收获季军，中山获第四名

而Danny Zhang抛出的那句理念，才是AGX真正的野心所在： 此芯科技的愿景是构建一个开放的算力底座。

关键在于：可解释性不要求模型内在机制透明到每一个权重的程度，而要求我们能够确认模型在信息处理层面所形成的结构是否映射到了人类用以理解世界的范畴框架之上。

最初的Frozen芯片由Google DeepMind首席科学家Jeff Dean主导，思路更离谱：直接把模型权重烧进芯片。

6、利雅得新月官方宣布签下荷兰国脚萨默维尔 转会费6000万+500万欧

AISI 宣布将继续评估 Kimi K3 等下一批开源模型——上面这条线画在哪里，很可能取决于接下来几个月的测试结果。

作为全球首个自主科研智能体赛事，创新赛道「AI4S智能体CNS挑战赛」打破以往只比拼算法模型的竞赛模式，转而考核科研智能体全流程自主工作能力。

7、2026世界杯身价前11球队成绩：阿根廷第7进决赛，葡萄牙第4止步16强

那么问题来了，通用LLM已经这么强了，为什么还要单做「科学基础模型」？ 答案，藏在一个根本的错位里。

或许人类还需要一百年才能解决它。

8、韩国队无缘32强！刚果队3-1逆转，终结52年等待，世界杯首次出线

Gemini 3.5 Flash-Lite则主打速度快，每秒可输出350个token。

球场上的冠军属于胜者，但当工作室级别的长程生产力被双手奉上时，每一个普通的「超级个体」，都已经在AI的赋能下，拿到了属于自己人生的「全场MVP」。

Bun之父 让AI重写百万行代码 当年，Jarred Sumner押注Zig的逻辑很纯粹：用极致的简洁，榨取媲美C语言的性能。

9、盐城市纪委监委通报：顾爱红被查

1995年，Benjamini 和 Hochberg 提出了著名的BH程序，用于控制多重假设检验中的假发现率（FDR）。

按传统分工，市场调研、素材制作、广告投放、达人 BD 至少需要五六个人，仅人力成本每月就要 8 到 10 万元，三个月烧完预算还不一定能验证出结果。

10、官方：哥伦比亚主力中锋科尔多瓦内收肌撕裂，提前告别2026世界杯

这就导致在「按5次按钮」的任务中，当机器人按完第1次，准备进行下一次推理时，它的大脑是完全空白的。

今年1月5日，在纽约时报等媒体起诉OpenAI的版权案里，美国联邦法院维持了一项裁定：强制OpenAI交出2000万条去标识化的ChatGPT对话日志，交给原告一方。

1、卫健委发布新规 规范处方行为和中药饮片管理

起初是怀疑，然后是试探，然后是某个临界点之后的全面爆发。

2、何小鹏这句感慨，刷屏全网！

done条件：且必须机器可判定，比如测试全绿，或者某个spec项被关闭； 硬上限：包括最大轮数和最大花费，专防成本失控和无限循环； 无进展检测：一旦发现它反复碰同一批文件却没有新的通过测试，就强制停下。

3、莫雷托丨阿莫林推迟批准埃斯图皮尼安转会维拉

项目背后的操盘手，是一位名叫Max Scherf的小哥。邮轮航线持续上新，长短途多元产品打开海上出游新空间哈佛商学院 2026 年 3 月的研究数据可以作为另一面的注脚：AI 暴露度最高的岗位招聘量下降了 17%，需要人机协作的岗位招聘量增加了 22%。

4、“我来住院不是来军训，天不亮就叫起来！”患者控诉查房太早，医生反呛：住院是为了救命，不是来享福！三甲主任：这不是形式主义，很重要

用触发器指示器区分含触发器的中毒样本与干净样本。

5、到湘潭撒欢·杨梅洲清凉一“夏”

我们此刻的共同作为，将决定文明的下一阶段如何展开。

6、阿根廷2巨星5场进1球！梅西率队争冠太难了，进4强可拿金球奖

挑战赛设置高通量药物虚拟筛选、靶向分子设计、蛋白质构象系综生成、神经算子自动改进等前沿任务，部分参赛智能体方案在竞赛范围内展示了具有挑战顶级水平的架构设计理念和问题理解深度。

这种结果不再是干瘪的数据，而是可以直接用于指导下游功能实验设计、甚至作为高水平论文数据支撑的「现成」科研成果。

在当前一级市场投资趋于保守的大环境下，上汽系资本豪掷过亿，信号不言而喻：汽车国家队正在用资本投票，提前锁定下一代新能源汽车的底层动力核心。

7、穆里尼奥挖掘的铁血悍将，加时赛世界波，差点把梅西拖进点球大战

只需要在电脑上重复一遍你的完整工作流，口述补充必要的隐含操作逻辑，同时避免无关操作（比如等结果时看个小视频摸摸鱼），点击结束录制即会自动回到 Claude Cowork 界面中进行分析与 Skill 提炼工作。

然后全量翻译，跑「实现—评审—修复」的多智能体循环；最后编译、运行、逐一比对行为。

8、春秋航空就机票超售致歉

社区用户ns123abc用一段被称作「模型指纹」的隐藏提示词，读到了系统配置里那个数值：juice。

可真实的软件工程，从来是另一副面孔。

AxiomProver也独立斩获了满分。

拼长城这种8万块级的超长程任务，考的正是这个。