从云端算力，到真实的物理考场，再到一家家跑起来的门店与酒店，大晓正在把「朋友圈」变成一条真正闭合的产业链路。

1、开云线上 面壁的一个真机demo case演示令人印象深刻：一只宇树Go2机器狗紧紧跟随一名指定人员。

这三样，刚好是AI最擅长、最能替你代劳的。开云线上从微型伺服电缸到系统协同 构建灵巧操作能力 给机器人做一双好用、耐用、可交付的「手」，需要在接近人手的有限空间内，协同驱动、传动、传感、结构、控制与算法等多个系统。

2、AI Coding成功率88%，科研仅3%？「科研是下一个Coding」，还差关键一环

在接到需求之后，U1 Pro会先想版式、打草图，然后还会回头审一遍对不对味，再一块块填细节，最后统一调色、精修。

3、世界杯16强定13席！欧洲7队占据半壁江山，非洲军团大面积出局

J-Space能够告诉我们模型「在想什么」，却无法告诉我们模型为什么以这种方式思考，它所依据的「理由」是什么，这些理由在何种意义上是「好的」理由。

4、乒超常规赛上海地产8-5战胜米粒队 林诗栋表现出色

现在，KAT-Coder-Pro V2.5已全量上线，即可立即体验。

5、布伦森用夺冠狠狠击碎了所谓的科学篮球以及持球大核的滤镜

这道题是那个年代公认最难啃的硬骨头。

AI不再「显灵」 开始打卡上班 过去几年，大模型公司带给大家的是一种近乎宗教性的想象。

遇到相似的旧问题，系统直接从记忆库里掏出答案。

6、公布！中国男篮排名继续下滑，在亚洲排在…

在模型和芯片都还在高速演化的阶段，灵活组合比把单一模型再优化20%更重要。

难就难在这个转变。

7、康希通信：副总经理虞强辞任

真正该算的，是每完成一个合格任务的总成本，真正该计算的是 全成本公式 =（模型调用费用 + 计算资源 + 人工审查时间 + 重试次数 + 返工成本）÷ 成功达标任务数。

在架构端，高德从一开始切入具身智能，就不是为了造某一台特定的机器人。

8、凌晨5点世界杯头号热门冲8强！4大巨星联手：有望创3项纪录

DA-Nav空间落点机制简单来说，模型不再凭空「画出一条路」，而是在自己看到的场景中连续指出：下一步走这里，再走这里。

而商汤想踩下的第三级台阶，是「美」，即通过专业级的设计美感，达到真正的工业交付标准。

截至成绩揭晓，尚无官方公开的结果。

9、归纳总结勒布朗-詹姆斯作为NBA职业篮球运动员的四个优点

核心原则只有一条：记忆到底属于谁，从来不该只是一句漂亮话，而是所有权易主之后，写进产品结构里的默认值。

它直接调用文档内核，生成了一份可以直接打开编辑的PPTX文件。

10、谢贤离世后，前女友Coco与张柏芝同步换黑头像！一个细节看哭网友

场景单位：上海复兴岛面向城市治理与生活服务，聚焦商业配送、市集导购、都市巡检等场景，攻克多任务闭环验证与运行数据持续回流，实现空间智能与具身数据双向赋能，有效推动空间治理常态化落地。

他们系统化清洗原始数据，剔除仿真器早期产生的异常轨迹、错误动作等脏数据，保障训练数据质量。

1、不打了！广东新锋线被曝欲加盟同曦男篮，朱芳雨确认放人！

参考资料： https://openreview.net/forum?id=PEyouQzOLD 编辑：LRST新智元报道 今年WAIC开幕当天，上海世博展区挤满了各种机器人、大模型和智能体。

2、集成GPT-5.5能力，OpenAI升级「生命科学版GPT」，将合作诺和诺德

主要就是，共同构建覆盖「算力基础—平台工具—模型能力—科研创新」的一体化科研服务体系，为生命科学、新材料、智能制造等重点领域提供高效、开放的AI科研支撑。

3、盐城奇易骑科技有限公司成立，注册资本450万美元

完整推导过程如下： https://aaronlou.com/jacobian_counterexample_derivation.pdf 数据科学家Cal Aldred甚至用Fable + GPT 5.6 Sol提出了一个生成无限多反例的方法！ 张益唐被偷走的七年 但这个故事最令人唏嘘的部分，跟张益唐有关。高考语文146分考生作文卷面，字迹工整堪比打印，分享高分秘诀_网易订阅Grok Build里有个「帮助改进模型」的开关，几乎所有人都以为，关掉它就等于关掉数据收集。

4、吃一次广东龙舟饭，才懂什么是豪华盛宴

这一视角的转换将可解释性从一项近乎不可能完成的技术挑战，转化为一项可通过工程手段持续逼近的治理目标——它要求我们不再执着于让模型变得完全透明，而是致力于让模型在现实世界中产生的影响变得可理解、可追溯、可问责。

5、每当詹姆斯“需要”的时候 状元签总会如约而至 难道这全是巧合？

面板顶上那个小小的预览窗里，土星在缓缓自转，环跟着一起转，前后遮挡关系分毫不乱。

6、6月辟谣榜

就这样，广义上的雅可比猜想，被彻底证伪。

」 据网友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实现了真正的「视觉闭环」：在代码和实时截图之间无缝迭代，即时查看并优化生成结果。

ABot-AgentOS多模态终身记忆 过目不忘 凭借系统级的经验反哺，机器人真正能够跨本体和跨任务做到举一反三、过目不忘。

7、22幅 当代画家人物油画

一个愿意「往下走」的人 要理解这次跳槽的分量，得先把时间往回倒。

模型之间最大的差距：0.24σ。

8、两次传出嘘声！争议最大的一届世界杯，特朗普颁奖仪式遭嘘

菲尔兹奖得主Timothy Gowers悲观又震撼地感慨：「2030年的菲尔兹数学奖，可能是最后一次颁给人类。

其二，习惯自建脚手架，让大模型跑在作者临时搭出的模拟框架里，测出来的结果很难直接反映真实平台的行为。

他判断这个转变两到三年内就会发生。

更关键的是——多位业内大佬、甚至知名科技公司的员工，都参与了讨论。