当然，放手不等于放任。

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

他甚至让Claude自己设计了一套端到端测试，连着跑了四个通宵，专抓那些没人预料得到的边角问题。高比体育行业里的共识是，今年AI推理的算力需求是去年的5倍到10倍。

2、南京“超大版”地铁票火出圈，网友热议：不愧是近视友好城市

DA-Nav因此补齐了长程导航中长期被忽视的一环：不只训练机器人怎样走对，也训练它走错后怎样回来。

3、今日重要赛事！7月17日，CCTV5、CCTV5+直播节目表

当迭代陷入停滞时，它能识别被忽略的约束或错误前提，及时调整搜索方向、跳出局部最优，形成「假设—实验—反思—追问—修正」的自主闭环。

4、利兹联正与曼城谈判求购特拉福德，23岁英格兰国门成首选目标

那些举着棒棒糖的孩子，是假的。

5、持有25年、V8引擎+手动挡 这辆改装丰田陆巡皮卡正在出售

她给出的答案是一把新尺子——Useful Intelligence per Dollar，每块钱买到多少有用的智能。

Flexion Skild AI 的展示以跨形态、跨任务的能力片段和 in-context 适应为主——广度取胜，并未展示长程全身移动操作能力。

谷歌：Gemini 3.5 Pro延期、4已预训练 在算力紧缺的时代，发布一个逻辑混乱的模型，是否也是渎职？ 有用户讽刺称，DeepMind 这种浪费算力的行为，还不如直接将资源转让给Moonshot等竞争对手。

6、佩雷兹带您领略亨格罗宁赛道：他曾在2023年于此登上领奖台

学习闭环的竞争 未来企业之间最重要的差异，不一定是谁使用了最强的模型，而是谁拥有更好的闭环。

第四点，high和xhigh档上多智能体的调用比预期的多，auto-review那边也有浪费，都在修。

7、拳击免战夺牌，保龄球首秀掀翻世界冠军

当然，所有资料经用户授权，记忆可见、可校准、可关闭、可删除。

埃尔德什一生提出上千道问题，并自掏腰包为它们悬赏，金额从25美元到1万美元不等。

8、跟随大地艺术节，寻找岛屿、村落和工业遗产深处的大湾区

参考资料： https://openai.com/index/safety-alignment-long-horizon-models/ 编辑：桃子新智元报道 7月17-18日，第四届世界科学智能大赛总决赛及颁奖典礼在上海举行。

但到了企业这里，就会变成一句「我的订单到哪了」和一份上百页的合同条款审查，烧掉一样贵的Token。

商汤这次最让人意外的地方在于：国产芯片参与的混推集群，已经实现了可盈利。

9、大连市文明实践微阵地推荐展示活动·百花篇（四）

紧接着，她成立了「Lily Jay基金会」，同样一呼百应。

这是Chloe亲口承认做过最难的一个视频。

10、家门口重见光明 岳阳市中心医院打通角膜移植“最后一公里”

推理框架PhyAI是由明体科技（MemBodied）联合北京邮电大学、北京大学共同研发的端云一体、全栈优化的具身智能模型推理建构。

Dyna和PI更相信真机数据：Dyna把机器人搬进真餐厅，PI靠真实数据飞轮和自主运行中的人工接管打磨。

1、MLS官方介入调查迈阿密国际签约案 卡塞米罗转会涉嫌违规挖角

第二步：引入神奇的「8-流」定理 这是全篇最惊艳的一笔。

2、历史封神！阿森纳王牌超神一战打崩法国！世界杯缔造传奇纪录

怎么把电造得又多又便宜？清程极智的秘诀，就在于底层的深度自研。

3、伍兹之子被快门干扰后怒问：“哥们，搞什么？”，加洞赛饮恨出局

一个12GB的测试仓库，实际传出去5.1GB，拆成73个包裹，一个不落，全部送达。巴西挤占美国支付份额，美国接受不了，计划对巴西加征25%关税MiniCPM-RobotManip正是这一理念的产物：先打造通用大脑，再适配多元场景。

4、“沪上德比”来了，赛前两边主教练有话说

因此，AtomWorld并不是简单否定Scaling Law，而是指出它的适用边界：规模扩大能够带来部分能力增益，却无法自动补齐三维物理空间操作中的核心短板。

5、中超第18轮明天7月11日赛程：京沪大战，蓉城PK重庆铜梁龙

step-saving reward 直接把「更短、更直接的成功轨迹」写进优化目标。

6、艰难晋级！法国1比0巴拉圭：姆巴佩被对手砸球 门将回应：他不理我

与之对应，万拿 Eco12 定位为轻量拟人型灵巧手，也是一款「用得起、用得上的拟人化遥操手」，面向遥操作、人机交互、科研教育、机器人展示及轻量化应用验证。

原因之二，可能是数据成分不一样。

它在SeClaw上归零，也并非被防住，而是SeClaw干脆不再加载这类插件。

7、世界杯决赛之夜，西班牙率先公布首发！

7月14日，Anthropic正式推出Claude for Teachers，向全美经过身份验证的K-12（幼儿园到高三）教师，免费开放Claude的高级能力、一整套教学技能库，还直接接上了50州课标和一批经研究验证的现成课程。

零向量注入的事，一个字没提。

8、德容：右膝韧带撕裂无需手术，世界杯期间带伤出战

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

在考验机器人模型上下文记忆的RMBench上，出现戏剧性的一幕：专用明星模型π0.5，惨遭滑铁卢，得分只有10.4分；而MiniCPM-RoboManip，却一举拿下53.5分，直接碾压。

第一个把「会传递」写进协议底层的人，Shadoweave已经在路上。

这一类，后面单独说。