报告高频出现的一个关键词是：智能体失配（agentic misalignment），意思是在特定的模拟任务里，它的策略跑偏了，和人类要的目标对不上。

1、博鱼手机 没有多余的一遍遍微调，新鲜出炉的专属 Skill 开箱即用。

偏偏交付级最较真的文字和纹理，全藏在细节里。博鱼手机AtomWorld的真正意义，正是通过自动生成任务、标准结构与匹配反馈，为材料建模的动作数据与训练闭环提供底座，推动AI for Science从追求更大的通用模型，转向在可验证的科学操作中迭代真实行动能力。

2、亚运会分组出炉：中国分到死亡之组，但安东尼奥不惧任何强队！

论文标题也很直白：《大模型通过了图灵测试》。

3、从0:3到2:3 乌度卡做了哪些调整 让火箭扭转系列赛形势

」 参考资料： https://turntrout.com/why-i-left-google-deepmind 编辑：Aeneas新智元报道 7月17日，上海，黄浦江畔，夏风滚烫。

4、对标全运会年龄分组，东西南北中羽毛球大赛精英赛北京站收官

这是一个7×24小时全天候值守的「运维专家团」，能端到端地完成告警闭环处置。

5、中国足球的“重症”——回传，必须动大手术

参考资料： https://www.aisi.gov.uk/blog/how-far-behind-the-frontier-are-leading-open-weight-models-on-cyber https://github.com/mas-bandwidth/patreon/blob/main/BUGS.md https://www.patreon.com/MasBandwidth/posts/important-news-164199395 编辑：马可新智元报道 【新智元导读】VLA模型已经会做任务，但真实机器人还是慢！PolicyTrim是一种优化VLA机器人执行效率的方法，无需重新训练。

这直接打乱了Anthropic的阵脚。

MiniCPM-RobotManip正是这一理念的产物：先打造通用大脑，再适配多元场景。

6、一步顺步步顺！波波维奇最伟大的操作，属于马刺的新时代真正到来

两件事拼到一起 AI开始「造软件」 Artifacts负责生成界面，MCP负责连上数据。

它向外界证明了，可以不用再去迷信孤立的「超级大脑」或单个「灵巧手」，而是回归生命进化的本质，去构建一个精密咬合的闭环生态，才是打破莫拉维克悖论的最佳解法。

7、1969年乔石被下放到黑龙江改造，他却说：子不嫌母丑，狗不嫌家贫

「我想验证一个猜想——在这个行业里，只要你的论文写得像真的、参数标得足够大、Benchmark跑分足够高、网站做得足够专业，再加上几个有影响力的人转发，整个AI圈究竟需要多久，才会有人愿意真正去审视和检查模型本身？」 答案是，你想一夜爆火，根本不需要一个真正世界第一的模型，只需要一个看起来像世界第一的网页。

这简直是灾难！」 屠龙少年，终成恶龙 在长文的最后，特纳解释了自己为什么离职。

8、中国工程院院士陆建勋逝世，享年97岁

它还包括企业知道如何运营、如何做决策、如何配置资源、如何识别风险，以及如何在复杂环境中实现结果的独特能力。

三大支柱：从一颗CPU 长成一张全域算力网 在孙文剑看来，智能体已经不是被动响应的知识库，而是能主动拆解目标、调用工具、执行任务的「任务执行者」。

传统企业积累的是Human Capital，也就是员工、专家、组织经验、专业判断和管理能力。

9、利弗莫尔中概股龙头指数盘初下跌0.83%

发现问题后，编程智能体会直接完成修复，下一轮扫描闭环复验，不留安全债务。

本质上，工具只能输出精确坐标，却无法替代模型做 「原子该放哪」、「哪些属于目标区域」 这类核心决策；模型本身若缺乏三维空间感知，工具只会把错误意图执行得更精准，最终得到 「建模逻辑错误」 的结果。

10、锐评紫薇丢冠：从超我到本我，兹维列夫2.0版本如何从超神到超鬼

从实验结果看，PolicyTrim并不是只优化benchmark指标：在物理机器人上，任务完成时间也能缩短到baseline的一半左右，并且在动态干扰场景中保持鲁棒性。

第三层，L3深度扫描，也即跨文件深度审查。

1、《目瑙纵歌》火爆出圈！一招一式，尽显力量与野性之美

AI的下半场，拼的是运营力 除了作为调度中枢的「星火Token Factory」，科大讯飞星火企业军团这次还发布了三款企业级新品。

2、胜利 一支球队的合奏曲！

体系化的最大亮点之一，就在于「解耦」。

3、专访靳玉志：「境」和「界」并不冲突，共同落实「电子螺丝钉」的战略定位

模型不关心你用了哪张卡，用户也不关心你机房里有多少P算力。王岚嵚回归山东前景可期，三方谈判难度不小而是从某一天开始，它在真实世界里持续地、稳定地、无人喝彩地创造价值。

4、只要哈登还是自由球员，骑士就有机会迎回詹姆斯

随便一提，OpenAI为所有金牌得主以及玛丽亚姆·米尔扎哈尼奖获得者提供为期12个月的ChatGPT Pro订阅服务。

5、马龙/许昕3-0林高远/袁烜松，晋级全锦赛男双决赛

它真正掌控的是长链条逻辑推导，每一步不能跳、不能错、不能含糊。

6、茅台涨了100元，白酒还欠3000亿

首先，K3的API价格不到Fable 5的三分之一。

正面硬碰Claude Science，磐石不落下风 同一道题，磐石、Claude Science、GPT-5.5三家各跑一遍，结果扔给第三方模型盲测打分。

祖泉研究院方面表示，本次启动的孵化营是祖泉研究院探索AI4S成果转化新机制的重要实践。

7、匿名模型Kivine外网刷屏，开发者们都在猜：这是Kimi-K3？

此外，「模速空间」大模型创新生态社区、上海漕河泾新兴技术开发区及上海青浦国科创智经济发展（集团）有限公司，还将联合为大赛优秀项目提供产业孵化园区场地支持，助力团队就地落地发展。

同一场 Cyber Range 测试（1 亿 Token 额度），用 Opus 4.5 或 4.6 跑一次约 85 美元，用 GLM-5.2 约 46 美元，用 DeepSeek V4-Pro 只要 1.19 美元。

8、胡明轩离开国家队，贺希宁、曾凡博递补进入，广东队还有2人

一个值得注意的细节是，丰田在海外市场并未大力布局纯电，但当他们开始行动时，也找到了小象电动，开始探讨这方面的布局。

在这个场景里，科大讯飞针对DeepSeek、Qwen、GLM等国产主流模型，紧贴昇腾硬件特性，从最底层的算子一路做到最上层的调度。

K2系列已采用Modified MIT许可开源权重，K3预计延续这一路径。

LegionSpace: 本体工程与大语言模型的深度融合新智元报道 8万块积木，15个小时！ 一座长3.5米、宽1.5米、最高点1.1米的长城模型，要在15个小时内，从第一块积木开始垒起。