核心官方分论坛之一、具身智能的「华山论剑」智启具身论坛，今日终于开场。

1、b体育官网 想让它少来回几趟，就把你平时手动检查的步骤，写进一个SKILL.md文件，让AI自己验收。

这就像一个没有文字的部落：每个人都得亲历一切，谁也无法真正站在别人的肩上。b体育官网对于开发者来说，这意味着拿到手就能用，不需要重新搭建复杂的感知、规划和控制系统。

2、3-2，申花两连胜 吴曦梅开二度+薛庆浩神扑 浙江奔着保级区去了

模型越会干活，账单涨得越快。

3、保时捷911SC原厂Fuchs轮毂无底价拍卖，搭配米其林轮胎

宣传里的性能，和现场跑出来的体验，是两个世界。

4、7月9日起放暑假

第一套是 70 项窄任务，覆盖漏洞研究、逆向工程、Web 渗透、密码学四个方向，按难度分四级，从「有技术背景的非专业人士」到「十年以上经验的专家」。

5、热血传大爱 丹心护生命——岳阳市开展“6·14世界献血者日”主题宣传活动

最让人头皮发麻的，是另一位研究者在自己电脑上复现时的发现：日志里记着339次自动上传，其中一次，上传对象是他整个电脑的主目录。

但AI提出了一个非常有价值的见解，帮助他解决了这个卡了半年的问题。

」 据网友Kai消息，Kimi已经用K3+Kimi Code来构建Kimi Code，AI自进化显现！ 不止软件，甚至不止训练阶段，K3可以自己设计芯片和从零设计推理内核—— 整体上，ArtificialAnalysis发布了对K3模型的评测，证实了Kimi K3的性能已经达到全球第三名！ Kimi坦承了与全球AI第一名和第二名的差距： 是时候重新选择了，你是选一个随时可能被封号的闭源的Claude Opus 4.8，还是选一个性能相当、价格更便宜的开源之王K 3? 实测惊人 Kimi给每个人的Claude Opus 在技术报告中，Kimi在游戏开发与数字创作上效果惊艳，直呼： K3实现了真正的「视觉闭环」：在代码和实时截图之间无缝迭代，即时查看并优化生成结果。

6、体型反转！泰森·富里15年来首次比对手轻，自嘲“苗条先生”

好在，国内「内卷」的供应链，既是挑战，也是助推器。

李述昊的判断走得很远：全球最终会有 1000 亿个智能体，普通人每人 10 个。

7、传祺E8 PHEV看着很全能，但普通家庭买之前，建议先想清楚这5件事

WAIC现场亚毫米级线束装配，就是「手」的极致体现。

实验结果 论文在LIBERO、ManiSkill、Meta-World以及真实机器人任务上验证了PolicyTrim，并覆盖π0.5、OpenVLA-OFT、GR00T等不同VLA架构。

8、邮报：即使伯恩茅斯愿意让斯科特离队，曼联也要通过卖人凑8000万转会费； 跟队记者：梅努的背伤不会影响他的曼联季前备战

把OpenAI这一两年的动作连起来看： 文件上传、Projects、Memory，再到能跑几小时长任务的ChatGPT Work、直接生成网站和轻应用的Sites、把Chat／Work／Codex三合一的新桌面端，还有接连登场的GPT-5.6三档模型。

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

它接管的，是一个 P4 级数据分析师过去每天的全部工作。

9、绵阳多条公交线路、站点临时调整

从S1-Omni到ScienceOne 把模型装进科研现场 有了懂科学的模型，下一个问题是：怎么让科学家真的用起来。

这不仅费时费力，还会累计误差。

10、曼城中场罗德里将接受背部手术，归期未卜

但光是「能跑」还不够。

三款Gemini指向的是同一件事：让跑在生产环境里的AI Agent，更快、更聪明、更便宜。

1、韩国国足主教练遭死亡威胁，警方严守机场

数百万穆斯林把她当成偶像，掏出真金白银，支持她「行善天下」。

2、宝马首款纯电X4路试被拍，今秋或亮相，将成油车绝唱

这正是AI生成图像最典型的拼写破绽。

3、左手曼城，右手巴萨：美的为何要在欧洲足坛打造“双核”？

编辑：Aeneas 大卫新智元报道 现在，你可以通过录屏 + 语音讲解的方式，彻底把自己蒸馏成 Skill 了。皇马正式官宣！穆里尼奥回归+重磅引援，银河战舰王者归来1990年，第31届国际数学奥林匹克在北京举行。

4、世界杯最新积分榜：欧洲围剿阿根廷，4强产生2席，西班牙会师法国

从这个角度看，纳德拉近期的两篇文章和Karp的CNBC访谈非常重要。

5、ESPN记者：牛仔队预计放弃四分卫米尔顿，为防守组腾出名额

Qoder Security， 将安全原生于代码生成每一步 Qoder Security的发布，让Qoder成为国内首个交付「编码会话内三层安全护航 + 发现问题同会话修复」能力Agentic Coding产品。

6、中南大学原党委常委、副校长郭学益被“双开”

Agent工程级能力 直逼Opus 4.8 再来看看KAT-Coder-Pro V2.5，在真实榜单中的成绩单。

要做到这一点，它手里就得一直攥着你的登录凭证，以及一大把系统级权限。

时间上下文也不再使用固定窗口。

7、以体育人，赛出精彩｜泸州市“全员赛事”项目入选蔡崇信公益基金会以体树人研究计划

它每一次醒来，都是一次干净的失忆。

用他自己的话说，「在LLM出现之前，一个人在奥克兰狭小的公寓里，一年写出Bun」。

8、身高1米9、预算9万多，这位美国车主想换掉那台“慢得致命”的老野马敞篷

把两件事合在一起看。

一个模型的发布，要兼顾搜索、地图、YouTube等庞大产品线的需求。

高德的解法是，为N1导航基座设计了「快慢双系统」架构。

为了测试Agent能否避开这个陷阱，我们选取了真实的漏洞靶场——曾引发过CVE-2026-42550的flightphp/core项目。