在实际导航任务中，快慢双系统异步协同，让机器人在仅有低精度SD地图时，既能准确抵达指定坐标目标，又能沿人行道、斑马线安全通行，而不是像纯度量式策略那样为了到点而抄近道横穿车道、踩踏绿化带。

1、Kai云体育 Flexion 比较特殊——它提出的 Command / Motion / Control 三层自主栈，架构范式与 COSA 的 S2 / S1 / S0 高度趋同。

这个开关管的只是「要不要拿你的数据训练AI」，压根不管你的代码有没有离开电脑。Kai云体育只有当模型同时具备知识理解能力和行动能力，科学智能体才可能从「会回答问题」的百科全书，走向「能完成任务」的实验助手。

2、预增超210%！中国人寿上半年净利润，首破千亿

2、从侧边栏中选择「安全」（Security）。

3、感受艺术和科技！这场属于新就业群体子女的游学走进南科大

有了磐石之后，它会把高度依赖人工脚本的跨组学联合分析，转成AI驱动的标准化流水线——过去要耗上好几周的活儿，如今几分钟就能跑完。

4、科比的81分到底是怎么来的？回顾这一场81分屠龙之战

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

5、杨议爆相声"私密事"后 曹云金正式官宣 郭德纲"傻眼" 终于等到这

这恰恰是下半场的关键：谁能盘活用户数据，谁才能真正抓住用户。

这并非是科研人员的个人难题，某种程度上折射出当前 AI for Science（AI4S）赛道中一个值得关注的结构性矛盾。

通过这套「透明化」执行机制，此芯科技正让每一次自主决策都变得安全可信，为AI落地保驾护航。

6、美参议院叫停伊朗撤军决议案：现在退出将重创美国信誉

这次，磐石2.0想要更进一步——实现科学多模态统一推理（Unified Scientific Multimodal Reasoning）。

工业计数、智慧仓储这些老大难场景，一下子有了新解法。

7、爱子的四个特性

每个会话底下又是一堆智能体，白天几百个在跑，一到晚上，几千个开始干更深的活。

于是，社区有网友自己去翻，翻出了一个OpenAI从来没公开过的内部参数：juice value。

8、53岁前国脚扇飞未成年球员！博主：泯灭人性，徐根宝70岁还打人

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

这证明了，AI已具备真正的数学创造力，而非表面模仿。

编程助手学会的东西，客服Agent一无所知；这台机器人辛苦积累的经验，换一台就得从头再来。

9、4换1！交易达成！东契奇等来最强帮手

数仓层面广告数据实时回流，模型层面每天更新。

英伟达自己都坐不住了——去年12月豪掷200亿美元，拿下推理芯片公司Groq的技术授权。

10、中粮家佳康(01610.HK)盈警：预期上半年转亏 调整前亏损约10亿至12亿元

Cursor想清楚了这件事，然后精准地挖走了全世界最懂「怎么给AI做界面」的那批人之一。

对于每个人来说，AI时代最值钱的资产，不是模型，而是你自己攒下的这一大堆与AI互动的数据。

1、她是女排顶级二传，冠军拿到手软，35岁才退役，如今身份不一般

一方面，一级市场热钱持续涌入，单笔融资金额屡创新高。

2、就在今天！一个尘封54年的纪录，被布伦森打破了

4 到 7 个月：怎么测的，差在哪 AISI 用两套体系评估模型的网络攻击能力。

3、为什么“第四代住宅”突然卖不动了？过来人说出实话，太扎心了

ABot-N1开放环境全自主导航克服定位偏差 一旦判定导航路径或定位有误差，「慢系统」会立刻通过本体系下的视觉感知，让机器人靠像素-语言双思维链来实时行驶在合规路面。世联赛八强定7席：中国女排迎利好！土耳其、加拿大、荷兰晋级四步在一个界面里完成，不用在不同软件之间来回切换。

4、18条人命了！第四名美军身份确认，美军连夜第11次空袭伊朗

在OpenAI开发者社区，苦这个旧搜索久矣： 终于能找到那条消息了，为什么拖了这么久；那个老搜索栏，从来就没好用过；会话一多，搜旧对话就变得不可能；翻旧对话简直成了噩梦…… 这不是零星几句抱怨。

5、144家机构齐聚，全球艺术目光聚焦北京—北京当代艺博会盛大开幕

参考资料： https://x.com/thsottiaux/status/2076495156757577895 https://x.com/FixlationAI/status/2076469274441380349 https://www.reddit.com/r/codex/comments/1uuy5eq/nerfed_codex_sol_max/ 编辑：元宇新智元报道 【新智元导读】刚刚，AI编程圈干了一件狠事。

6、关注

怎么测的 图2 SafeClawArena的评测流程。

Claude Opus 4.5被部署在一个模拟的Anthropic内部团队里，发现一份安全评估结果可能被对外误报了。

目标循环，评估器模型对照标准判定，没达标就打回重做。

7、杜峰出席广东篮协座谈会，曾繁日多年C类合同前往江苏，篮协调查赵柏清前往日本联赛事件，赵继伟为家乡捐款

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

第一层，是L1静态检查，也即实时正则拦截。

8、中国男篮半场领先喀麦隆19分：狂轰11三分 贺希宁12分庞峥麟11分

而Friar那把尺子，正是为这次切换准备的——当AI开始干活，衡量它的就不再是参数，而是干成了多少活、花了多少钱。

DeepSeek V4「满血版」 终于要来了 大家最关心的想必是，如何知道自己，有没有被灰度到？ 博主AiBattle给出了一个民间「验货口诀」：看思维链（CoT）的第一人称。

今年5月，OpenAI公布了一个结果：他们的一个通用推理模型，自主推翻了一个源自Erdős、悬了将近80年的猜想，菲尔兹奖得主高尔斯（Tim Gowers）在配套论文里称之为AI数学的一座里程碑。

GDPS将有潜力的年轻人从「牛犊」托举为「大牛」，为青年科学家、开发者和创业者链接技术、人才与资本，并以代码Demo、产业对接及融资机遇等务实产出，推动具身智能从展台真正走向工位。