比如即将开幕的ICM2026的45分钟报告人，拉马努金奖、科尔数论奖和数学新视野奖得主唐云清；IAS冯·诺依曼研究员、玛丽亚姆·米尔扎哈尼新前沿奖得主张明嘉；本科期间发四大，曾获世界华人数学家联盟（ICCM）鲍剑文最佳论文奖的张盛桐；已发多篇数学四大的李泱…… 奥数的AlphaGO时刻 但今年的上海考场外，还站着一个没有参赛资格的选手——AI。

1、乐鱼全站 它的任务只有一个，找漏洞、补漏洞。

特纳在会场上拦住了Bengio，请求他发声支持Anthropic，结果Bengio的办公室随后冷冷回复：「我们决定不发表声明」，拒绝给出任何理由。乐鱼全站它真正掌控的是长链条逻辑推导，每一步不能跳、不能错、不能含糊。

2、谢谢你们！孝感“第十二人”！

而WAIC现场那座积木长城，是这条路径最直观的一次公开亮相。

3、“他说数学是宇宙的真理”，高中老师回忆邓煜少年时代：爱围棋、专注力超强

真正的认知主权意味着： 模型是可替换的，企业认知内核是不可替代的。

4、新款广汽传祺GS3影速在俄罗斯上市，售价约人民币18.6-21.5万元

从神经科学到知识论 可解释性的进路之辨 「解释的本质，不在于凝视机器本身，而在于审视机器所凝视的世界」。

5、德天空：汉堡仍在就法维转会与阿森纳联系，已交换具体数额

那一年，德国数学家Ott-Heinrich Keller提出了一个问题： 如果一个多项式映射的雅可比行列式是一个非零常数，那么这个映射是否一定存在多项式逆映射？ 实际上，这个问题背后的直觉很简单——在微积分中，反函数定理告诉我们，如果函数在某点的雅可比行列式不为零，那么在该点附近函数存在局部逆。

Rust版6月就随Claude Code悄悄上线了。

」 Axios提出了一个直击灵魂的问题：「K3模型的定价远低于它所挑战的高端模型，美国AI公司对前沿级AI产品收取高昂费用的策略，到底还能维持多久？」 一直以来，OpenAI、Anthropic的估值建立这个逻辑上：只有我们能做出最前沿的大模型，因此我们可以通过闭源和高昂的API接口费用，持续榨取超额利润。

6、中国籍数学家首获全球数学界最高奖，意味着什么

而且从第一天就是全球化。

但今年，商汤开始用Agent来辅助完成算子迁移、适配和优化。

7、易方达张坤，罕见调仓

按照原定计划，Anthropic准备对其进行一波下架或限流操作，以维持其高溢价和算力平衡。

当模型的每一个陈述都可以被映射到本体所定义的概念框架中时，「解释」便不再是对神经网络权重的解剖，而是对知识结构的展示；当模型输出的依据可以在本体层面被追溯和校验时，「控制」便不再是强行干预内部激活，而是对信息流转路径的规范化管理。

8、化妆品新原料新规今起施行，5类原料移出高风险清单

未来某天，全球开发者都能以极低成本调用接近顶级闭源模型的智能。

智能体 正在长成一台电脑 把一个Claw类智能体拆开看，它做的事几乎可以逐条对应到一台电脑系统：加载代码、分配任务、跨会话保存状态、代理对外部服务的访问。

他们现在开始告诉企业： 不要失去自己的数据、学习闭环和Alpha。

9、岚图追光S开启预售，开创FUV全新汽车品类新标准

论文进一步盘点了十一项系统级防御各自能覆盖哪些攻击类别（图4）。

由于从零训练一个高质量 DLM 成本高昂，使用者通常会下载第三方开源的模型、微调后部署，这正是后门攻击（Backdoor Attack）存在的场景。

10、广东干部，有一个特别之处！

特纳又当着全场观众的面质问Stuart Russell。

离线仿真复核实验 除了离线分析之外，团队还针对高偏差评审样本开展了离线仿真复核实验。

1、医院要求医护提前上班，被患者投诉到卫健局！

从一座工厂到一张网 Token工厂跑通了，但一家公司的端到端再强，也撑不起整个国产AI基础设施的生态。

2、短发女孩这样穿，真好看！

Grok的毛病不止于此。

3、阿森纳与巴黎争冠，欧足联陷囚徒悖论，谁夺冠皆成不情愿的盛宴！

想知道这个月的总营收、哪些客户90天没下过单？连上数据库，用大白话问，它自己写SQL去跑。库拉索值得所有人敬畏！15万人小国亮剑敢还手德国进一球虽败犹荣教程总结的Fable 5三大能力：长期自主干活、自我校验、读懂密集图表。

4、里奥梅西，不肯下山的纪录粉碎机！

第二步，按需换钥匙，找完了还要回头自查。

5、红牌下的双重面孔：当世界杯沦为“双标”的草台班子

一个分数可能难以令人信服，那么，GPT-5.6离开考场、真刀真枪干活时是什么样？ 光有分不够 把GPT-5.6拉去干活 开发者Amir Bohlooli拿同一个物理模拟prompt，同时喂给Fable 5和GPT-5.6 Sol，本以为会被Fable碾压，结果反被GPT惊到。

6、央视直播，西南双雄！重庆铜梁龙对北京国安，成都蓉城战山东泰山

赛题更前瞻、产业更融合 黄浦江边决赛切磋 本届大赛最受关注的变化来自创新赛道：大赛首创的AI4S智能体CNS挑战赛，将竞技对象从科学领域算法模型进一步拓展至自主科研智能体，通过真实科研任务检验AI自主开展科学研究的能力。

参考资料： https://openai.com/index/safety-alignment-long-horizon-models/ 编辑：桃子新智元报道 7月17-18日，第四届世界科学智能大赛总决赛及颁奖典礼在上海举行。

消息一出，Alphabet股价周一应声上涨3.7%，一扫前几周的阴霾。

7、英国收到警告，强抢中企后果严重，已容不得他耍赖！中方动作很快

面壁是一家追求通用人工智能的大模型公司，并选了一条区别于云侧的路线：端侧。

AI编程，以前拼的是提示词技巧，现在拼的是谁会搭系统：谁能设计出一个自己会验证、自己知道该停的循环。

8、又一医药学院要更名大学，旗下6所三甲医院！

当海量并发请求一拥而上，光靠一个新入口，底层系统很容易就崩了。

一个Instagram账号，近300万粉丝。

没有人在背后遥控，没有预先写死的脚本，从抓起第一块积木到垒上最后一块城砖，全程自主。

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