真场景、真需求、真出题人——场景不是PPT里的迷宫，是GDPS预先设计好的考场。

1、yb体育 它能不能跑好，有条铁律：把「完成标准」写具体，而且必须给一条失败退路。

论文进一步盘点了十一项系统级防御各自能覆盖哪些攻击类别（图4）。yb体育最后说「眼」。

2、球员市场洗牌后！这8队：将是新赛季西部前8！

监控回放，一帧比一帧炸裂 细节一条比一条狠。

3、斯卢茨基德比战前有望做出重要决定！事关朱辰杰复出，以官宣为准

上周二，7月14日，谷歌DeepMind CEO、诺奖得主Demis Hassabis发布了一篇长文，题为《前沿AI框架与新纪元的破晓》（A Framework for Frontier AI and the Dawning of a New Age）。

4、布朗尼：我不知道我爹会去哪里，如果去勇士那太疯狂了

开源与闭源的能力差距收窄到半年以内，「用闭源独占期充当安全缓冲」的默认策略快要失效了。

5、凯恩梅开二度！英格兰惊险逆转，差点就翻车了！

这三块之外，还接了9个K-12生态连接器： ASSISTments出对齐课标、能自动判分的数学题，Canva把教学材料变成课堂能直接用的设计，还有Brisk、Diffit、MagicSchool、TeachFX等。

这也不是AI孤立的毛病。

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

6、“东北超”究竟有没有搞头？

Boris早就验证过这一点。

真正让人后背发凉的，当AI被拿去当「裁判」，评估其他模型的行为时，它自己也会失配。

7、生死存亡时刻，伊朗革命卫队，现在可千万别想着跟美军同归于尽

WAIC的这15个小时，就是这句话的第一次公开预演：没有剧本、没有遥控，6台机器人在真实世界里协作、纠错、坚持到底。

因为它代表的，是AI4S的一次范式跃迁，科研工作流第一次有机会被真正重塑： AI把繁琐的活儿接过去，科研人得以把更多时间，留给真正的科学问题。

8、连续3届大赛，全部打进决赛，属于斗牛士军团的时代，又要到来了

这个场景正在一家广州公司的两三千个智能体身上同时发生。

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

学生碰不到Claude 讲了半天老师，那学生呢？ 理论上，学生是最终受益的一方。

9、美以战机穿越伊朗领空！中国反隐身雷达成摆设？别急于下结论

模型知道应该写文件，也声称自己写了，但在工具调用层面没有动手。

但更关键的是硬指标。

10、火箭战胜奇才 猛龙为何不包夹杜兰特 乌度卡的篮球哲学显露无疑

国内创作者「山音」为阿兹海默症群体制作的动画短片《积木》，把作品带到了釜山电影节现场展映。

用软件的人和做软件的人，那条线开始模糊了。

1、谁有他值钱？三次交易，带来了五名全明星，他真成明星质检仪了

有了这套机器可读的题目，AI才能直接输出Lean证明、由编译器自动判分，不再需要人类评委阅卷。

2、六年，新城控股从卖房到收租

6月，谷歌签下了一纸合同：每月向SpaceX支付9.2亿美元，租用11万张英伟达GPU的算力，合同一直签到2029年。

3、世排46爆冷世界第四！发福版何卓佳无愧欧洲之王 孙颖莎陪练含金量超高

这套构建方式的价值，在于能够暴露传统分类根本看不见的攻击。普利策奖得主帕布罗·托雷：揭NBA黑幕获奖后，球迷当街威胁“放过杰伦·布伦森”但那段被浪费的七年时光，已经永远无法挽回了。

4、中国男篮添劲敌！卡塔尔男篮5年签湖人旧将纳恩 去年归化古德温

谷歌把这款模型塞进代码安全智能体CodeMender里，靠多个Cyber智能体协同作战，在安全基准CyberGym上刷新SOTA，成本却比更大的模型低—— 用一个更轻的模型，干最需要精度的活。

5、马宁世界杯只吹一场就告别？他终于把话说透了

这些恰好是快手内部数千研发和业务同学每天真实要面对的活。

6、乱象丛生！泰山夏窗零引援深陷阵容与管理双重危机

他还撂下一句狠话：十年之后，循环以及类似的功能将是他最为自豪的工作成果之一。

到这里，一切都是好事。

Agent Store，像一个智能电器集市。

7、雷霆输球一战揪出3大“水货”！顶薪内线被完爆，一人今夏恐离队

数百个智能体、8道关卡、3轮对抗式评审，最后还做了一次一致性校验，把每一条命令的输出跟Python原版逐一比对，只要行为一变就当bug修掉。

雅可比猜想问的是：如果这个条件处处成立，且函数是多项式映射，那么逆映射是否也必须是多项式？ 这是一个典型的「局部到全局」的问题，看起来理所当然应该成立，却让世界上最聪明的头脑困惑了整整87年。

8、宏远速递！功勋教练转投北京，徐杰正式发声，朱芳雨遭江苏截胡

跑出来的结果 图3 15种「平台×模型」组合在24个子类上的攻击成功率。

发布会上，孙文剑正式发布AGX Agentic Compute战略。

Chloe用镜头语言让你潜入汉普顿宫。

技术要求需攻克多模态感知、力控插装与检测协同难题。