本届国际赛事首次落地国合区，为海外参赛队伍打造「落地即参赛」全流程便利化安排：境外人员无需办理来华常规签证，凭有效国际旅行证件及邀请备案凭证即可入区，单次停留期限30天并可按规定申请延期；区内同步开放口岸签证办理服务，在联检大楼一站式完成国际航班值机、行李托运、安全查验、离境退税全链条业务；物资通关高效便捷，境外入区赛后复运出境的竞赛设备实行保税监管，同步配套算力对接。

1、Kai云体育 恶意插件在所有未加固的平台上都是100%得手，且不挑模型，因为它绕开了模型本身。

Claude Fable 5打得干净利落。Kai云体育机器逼近的是「会做题」，而这三个少年展示的是「不出错的完美」。

2、正式确定！外援中卫替换洛洛，国安8外援征战亚冠，力争小组出线

论文点名了四项目前普遍缺席的关键防御——技能签名、内存完整性、凭证保险箱、动作授权，把它们补齐，大概是这个方向下一步最值得投入的事。

3、梁朝伟，脑电波同步中

大佬们反复念叨的这个「循环」，到底是什么？ 最近，Claude Code团队在官方博客里给它下了明确定义，还一口气拆出四种循环类型，为「智能体自动干活」立了工程规矩。

4、世界杯新王登基 西班牙重登榜首 国足第91位

AGX想做的，是把这些碎片插进同一个插槽，拧成一股绳。

5、休息不到17小时！中国队背靠背获胜，25分击败欧洲第三！

面壁智能学术合伙人、多模态智能首席科学家姚远 通过极致的视觉压缩技术，面壁将VLA模型从「算力饥饿」中解放出来，让机器人在真实物理世界中以更低的成本「跑起来」。

这一点对企业的数字化部门尤其要命。

显然，这是一个即将颠覆AI格局的重磅产品。

6、篮球比赛服定制服务，为您打造一站式消费体验！

这是整个战略最硬的地基。

痛点二，是国产算力买得起，用不顺。

7、镜报读者票选世界杯最佳评论员：鲁尼得票率41%力压基恩居首

按照他设想，老师布置那种非用AI不可的项目，学生反而得动更多脑子、想更多新东西。

提交代码前系统做深度扫描，从你在页面上输入的HTTP查询条件参数开始一路往下追，穿过好几层业务逻辑，跨了三个文件，最后在一个公共缓存工具里发现了一个致命漏洞—— 反序列化的时候没做任何限制，攻击者可以伪造一个恶意数据包，顺着链路直接在你的服务器上执行任意命令。

8、中国男篮官宣：曾凡博赴海外治疗伤病 王浩然处理个人事务暂离队

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

成立16个月，凭什么站上WAIC 能够打出这场挑战的，是一家成立于2025年3月的初创公司——Dexmal原力灵机。

她甚至直接点破了「token单价」这个幻觉：最低token价格 ≠ 最低结果成本。

9、香港电影界传奇人物施南生去世，一生丁克无子，临终前细节曝光

参考资料： https://www.nature.com/articles/d41586-026-02091-6 https://x.com/kimmonismus/status/2076658442282934351 https://www.reddit.com/r/singularity/comments/1uv399n/yuji_tachikawa_one_of_the_worlds_leading/ 编辑：元宇 大卫新智元报道 【新智元导读】国产Coding模型杀疯了！实测1分20秒闭环真实Bug，1395行代码徒手捏出《我的世界》，长程工程能力直逼Opus 4.8，不用再当AI保姆了。

点击进入后，整个UI质感和视觉表现非常震撼。

10、致敬电力保供一线工作者！北京男女篮走进国网北京房山供电公司

看到它在不到一小时内，用64个子智能体证明了50年的CDC猜想，我们感到无比兴奋！」 评论区的网友们纷纷表达着激动和不可思议。

各大模型在赛道上各自狂奔，跑完了全部6道关卡。

1、未卡携手F1车手Ollie Bearman推出全新赛道宠物出行系列

Anthropic显然要绕开这片雷区：我不碰学生，我只武装老师。

2、火箭队再签1人！第15人加盟，双向合同拿下全能前锋，夏联是加分项

但其中一个企业只是让员工不断调用模型，生成文档、写代码和回答问题。

3、3胜6负！核心外援公然无视，刘炜已经失控？新疆已有主帅潜在人选

但喻杰的思考远不止于做家务。外眼看新疆｜“新疆很大，充满机遇”——新开发银行行长迪尔玛·罗塞芙一行来新疆参访所以，在AI for Science这条赛道上，真正的壁垒是「模型懂不懂科学」。

4、遥远的在场

Tibo在推文里说，本来想早点把额度调回来，结果被团队为保系统不崩、稳定运行而忙的「数以百万计的任务」给绊住了。

5、锡马汉马四项10万元冠军大奖，哪些中国籍精英选手才够得着？

（图源：Kevin Dietsch via Getty Images） ChatGPT走个人助理路线，把你和它一起生产的东西收进一个入口； Gemini靠谷歌全家桶，把邮件、云盘、日历全打通； Claude则押注长期记忆和Skills技能，替你把上下文一点点攒下来。

6、粤超第十一比赛周比赛延至8月1日进行

于是Anthropic给出了一套可复用的六步框架：先搭好裁判、写规则手册、画依赖图、列缺口清单。

领略完KAT-Coder-Pro V2.5的真实战力，是时候扒一扒它背后的工程实现了。

按照他设想，老师布置那种非用AI不可的项目，学生反而得动更多脑子、想更多新东西。

7、再次无缘冠军无碍德约伟大，他又在温网创造了什么？

至于该怎么重写，全在OpenAI悄悄出的一份提示词指南里面—— 说清你要什么结果、画好硬约束的红线、交出手里的材料、定好验收标准。

直到谷歌最终签下协议，特纳的这份被盛赞的25页框架，始终没有被高层看过一眼。

8、马刺成詹姆斯冲冠热门潜在下家

本届大赛由上海市经济和信息化委员会、上海市科学技术委员会、上海市发展和改革委员会、上海市教育委员会等多部门联合指导，复旦大学、上智院联合主办，上海未来产业基金、上海未来启点社区、祖泉研究院、上海市漕河泾新兴技术开发区发展总公司、上海大模型生态发展有限公司、内蒙古电力交易中心、华为云计算技术有限公司、上海复星医药（集团）股份有限公司、新奥科技发展有限公司、中科天机气象科技有限公司、上海博物馆、湖南省博物馆等单位协办，Datawhale、知乎、魔搭社区、CSDN、InfoQ、WaytoAGI作为生态社区合作伙伴鼎力支持。

在一镜到底 Demo 中，机器人不知道下一轮要面对什么布局，S2 必须实时判断下一步该做什么。

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

」 Dyna Robotics联合创始人马也骋，则提供了另一个视角——他们确实从VLA切换到了世界动作模型。