第四届大赛共吸引来自32个国家和地区的17977名选手报名，参赛群体涵盖清华、复旦、中国科大、南洋理工等知名高校学生，以及中核集团、国家电投、腾讯等领军企业及众多创新企业的研发人员。

1、金年汇 到了(b)部分，三个模型殊途同归：都证明了对每个素数p，黑板上所有数被p整除次数的最大公约数在操作中不变。

结论并不乐观：整体攻击成功率最高可达70%，其中恶意插件在未加固的智能体上百发百中，即便换上最安全的大模型也难以阻挡。金年汇「书生·端砚」的技术探索与落地实践，走的正是这条路——它不是替代科学家做判断，而是帮助科学家更快地验证判断、更系统地沉淀判断，让每一次实验的反馈，都能成为下一次假设的起点。

2、国展

模型公司不再只是向企业出售知识，反而能够通过企业的使用过程，理解企业是如何思考、如何工作和如何创造价值的。

3、免门票啦！跑马山景区建成区域全面开放，公交＋摆渡车攻略请收好

解决一个50年历史的难题，原本可能需要一整天的时间，现在被压缩到了区区一个小时。

4、读王学典悼念奇文:太刺眼，太傲慢，太脱离现实，活该他翻车！

让机器人「少走弯路」，同样可以带来显著加速。

5、波兰卡车市场走出危机：2026年上半年数据表现强劲

其愿景是让本体成为AI与人类理解之间的共同语言，使可解释性成为工程化治理现实。

而在把权限交出去之前，我们最好先想清楚：怎样才能让链条上的每一个AI，都不会背着人类动手。

如今，大量国央企、智算中心采购了丰富的国产GPU。

6、【今日信息】中卫上百个岗位紧急招聘中…7月10日

此前在 WWDC 26 上，苹果展示了与谷歌合作、基于 Gemini 打造的新一代 Siri AI，支持跨应用上下文感知和自然对话，甚至能在通话中实时调取邮件和日历信息。

目前，华为、比亚迪、广汽、美团，以及中国兵器、中航、中车等集团，都已是其合作伙伴。

7、马龙许昕夺冠看似完美，实则暴露出国乒短板

用王晓刚的话说，「智能不是凭空产生的，一定是在与物理环境的高频对撞中涌现出来的」。

人没被裁，反而晋升连连，因为他现在管的客户数量是以前的好几倍。

8、陈盈骏确定回归北京首钢，浙江稠州官宣核心归队，韩德君开始挑选小球员，北控男篮官宣新口号

而发誓「绝不支持杀手机器人」的Jeff Dean，依然安稳地坐在谷歌首席科学家的位子上，假装一切都没有发生。

反复操作直到无法继续。

Jaeger证明了平面图是成立的； Szekeres证明了可以进行3边着色的立方图是成立的； Alspach、Goddyn和Zhang证明了没有Petersen子图的无桥图是成立的。

9、上海滩的冷风吹不醒卡内达：在自信与自负之间，他选择了自嗨

他此前分享工作流时给过一条建议：想把Claude Code榨到极致，最重要的一步，就是给它一个能验证自己工作的方式。

GitHub仓库已经开放，技术报告中全部的复现数据与测试流程均可溯源。

10、战报

Claude Fable 5：26分钟，两轮，满分。

第三步：构建「双元素集」标签法（Lemma 2.1） 这简直是AI独创的「魔法」。

1、世界杯大结局！时隔16年，西班牙队再捧大力神杯；罗德里获金球，姆巴佩10球摘金靴，各奖项出炉

但在具身智能中，这条法则到了后训练阶段，却要直面更复杂的现实考验。

2、加纳乔点头即可出租维拉，昔日预言成真！曼联无缘分成又错失悍将

一个有着87年历史的核心数学难题问题，就这样被 Fable 5在一个周日的傍晚轻松解决。

3、两天三场胜利！泰山队热身赛全面检验阵容，前场进攻有新变化

账算得正是一回事，规模跑得起来才能证明这不是小打小闹。广东人的“传家宝省凳”塑料凳，被我玩出了8种花样，邻居都来偷师！谁先让所有人习惯用「干成多少活」来算账，谁就重新定义了这个市场怎么比。

4、刘嘉玲梁朝伟日本过年！一起滑雪画面浪漫，无子女生活孤独但自由

在WAIC上，面壁智能还展示了与乐聚机器人、吉利汽车等伙伴的产业落地案例——展厅导览、园区巡检、仓储物流……端侧能力在这些场景里不是「加分项」，而是「入场券」。

5、宗馥莉赌上了自己的名字

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

6、ICU里的AI搭子：广东医疗AI大模型从助手走向诊断一线

无历史帧输入的pi0.5，算力固定在5.0 TFLOPS，但代价是放弃了历史记忆，模型「忘记过去，只管当下」。

更要紧的是，它找完会回头验一遍：计划里要填的每一格证据都填上了吗？不够，就在检索侧继续补。

第一，分层解释。

7、泰国女排提前保级！巴西0-3放水给泰国，轮休主力末轮死磕美国

这一击，直接把整个美国AI高价收费的商业模式，按在地上摩擦。

AI外包 正在掏空批判性思维 这种断层，才是奥特曼真正担心的。

8、绍兴这家著名餐饮企业出事了！停业未公示，不退卡里的钱被重罚！另外一家门店也在昨日关门.....

现在已经改回去了。

让ABot每一个能力的提升都能在本体上有完整呈现。

所有人都体验过，你传一个1 GB的文件，传到92%，网断了。

对于开发者来说，这意味着拿到手就能用，不需要重新搭建复杂的感知、规划和控制系统。