这就要求公共政策做到：在促进创新的同时，激励责任与安全；推动关键安全议题上的国际协作；并鼓励各方审慎考量AI应如何部署，方能造福社会。

1、开云线上 由于开源模型被广泛复用，一次被植入后门的发布甚至可能波及大量下游用户，形成模型供应链风险（Model Supply-chain Risk）。

而开启这个时代的钥匙——是具备系统提升机器人工作能力的技术体系。开云线上过去几年，AI算力围着Scaling Law转，火力全部压在「训练」上训练是军备竞赛，但它只打一次。

2、大热必死！再见，姆巴佩

你给它一个目标，比如「/tests/下所有单测通过、lint干净」，它每干完一步，就有一个独立的小模型来判一次：到了没？没到，接着干；到了，停。

3、提醒！巴音体育馆临时闭馆

Physical Intelligence研究科学家任至意的回应干脆利落：「目前为止，我还没有看到有哪一家做出了比派07更令人印象深刻的demo。

4、1天合同！宣布退役！40岁老将结束生涯

这才是「反思」落到实处的样子。

5、最新

从高德此次全新发布的五款模型背后，我们能够完整看到这套体系究竟是如何应用于机器人，并实现它们质变升级的。

但仔细一想，会发现问题。

诚邀专业赞助技术伙伴深度共建，共同夯实大赛的硬科技底座。

6、献给每日奔波在路上的你：曼恩全新TGX Truckers’ Edition正式发布

随着投稿规模不断扩大，这种评分尺度的不一致，正成为影响同行评审公平性和稳定性的重要因素。

《2026 年机器人产业全景研究报告》显示： 中国机器人市场规模预计将由 2025 年的 2003 亿元增长至 2030 年的 4914 亿元，年复合增长率为 19.7%； 在人形机器人 BOM 成本中，执行器占比约 40%—50%，灵巧手占比约 14%—18%。

7、一场6-4 狂刷世界杯7大纪录！头号赢家诞生：可谓一箭四雕

这一变化要求本体设计原则做出相应调整——本体应当收敛其职责，专注于清晰定义领域中的对象、关系、行为与规则，即为模型提供推理所依赖的「语义骨架」；而具体的推理过程——规则的选取、组合与应用——则交还给语言模型自身的泛化能力。

Seedance 2.0凭借字节系的生态优势在国内攻城略地，可灵以180亿美元估值从快手分拆独立融资，Sora则在今年初正式关停——AI视频，成为正在被资本和产业重新定价的AI原生赛道。

8、周星驰《功夫女足》3天已破6亿！打破影史纪录，喵眼预测破30亿

怎么做到的？ 第一步，把国产卡的实际性能「榨」出来。

谷歌自己也清楚这个风险。

行业需要，是一个能一次打通生产、流通、消费全链路的底层支撑平台。

9、帕德博恩个人更新：两人缺阵，比尔比亚会留下吗？

上周二，7月14日，谷歌DeepMind CEO、诺奖得主Demis Hassabis发布了一篇长文，题为《前沿AI框架与新纪元的破晓》（A Framework for Frontier AI and the Dawning of a New Age）。

从这个意义上说，纳德拉和Karp的最新叙事确实印证了佟博士的基本判断。

10、90分钟通关大开绿灯，两大国果断绕行中国新疆，阿富汗错失末班车

埃尔德什留下的1000多道开放问题都挂在这个网站上，是全球数学家追踪这些问题的第一站。

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

1、Kimi K3，全球开源第一！

静下来想一想：我们本质上是找到了一种让沙子思考的方法。

2、全屋留白的 132㎡复层，露台花园治愈所有疲惫

无问芯穹今天发布了一项与基础设施自我优化和进化直接相关的「前店」解决方案：基础设施智能体蜂群。

3、0-0！3-1！韩国终于回家了：世界杯K组大结局 已有30队出线

但其中一个企业只是让员工不断调用模型，生成文档、写代码和回答问题。[视频]上半年长三角区域进出口同比增长18% 创同期新高Opus 4.6，是那个干活的。

4、《经营方略》之“战略与目标”金句100条_网易订阅

Opus 5的答案，不在「更强」，而在「更便宜」。

5、半导体板块逆势走强，半导体设备ETF易方达（159558）标的指数上涨3%

毕竟，谁会拿这种事撒谎？ 但独立AI安全研究者@cereblab偏不信。

6、首轮火湖大战？詹杜季后赛或再次对决 话题度拉满令人期待

比如，反复写「先问我」「别乱改」「等我批准」，会让它连本该放手去做的安全操作都频频回头请示，活活憋成个畏手畏脚的实习生。

这正是超聚变身为算力老兵，最不肯让步的地方：再华丽的软件平台，最后都得踩在实实在在的算力底座上跑起来。

正因如此，AI公司每次宣称「解决了埃尔德什问题」，都要先过他这一关。

7、身家万亿却到处“卖艺”，黄仁勋这么拼，到底图什么？

代码侧靠AutoBuilder，业务侧则由KwaiClawEnv顶上，三层闭环协同： Service层动态扩池、把社区大量Skill转成可部署服务； Task层以真实业务为种子、派生海量任务变体； Eval层用「硬规则 + 模型评审」双重过滤，只留可执行、可验证、行为自然的轨迹。

资金规模必须可观，且很可能主要来自产业界，如此才能吸引世界级的技术人才，并为大规模测试提供必需的算力资源。

8、省实锋线空砍20+7，中国首次不敌法国

但今年，这道门槛被打穿了。

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

简单来说，这个猜想是这样的：「每一个无桥的有限无向图，都存在一个由环组成的集合，使得图中的每一条边，都恰好被包含在两个环中。

洗衣、巡检眼下并不止大晓一家在做，但它的落点不太一样： 卖的从来不是某一款洗衣机器人或巡检机器狗，而是那颗能装进不同本体的「世界模型大脑」。