它这次主打一个亮点，巨省Token。

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

如果没有那几个较真的开发者去拆解文件，或许这家假实验室已经顺利拿到某家风投几百万美元的天使轮融资了。kaiyun官方现在已经退回272k，接下来几天再把372k放出去。

2、神奇规律再生效，夺大满贯首冠之后，下一项大满贯进决赛必落败

图像生成这十年，其实走过两级台阶：先解决了「像」，又解决了「真」，细节越来越逼真。

3、自宣加盟！辽宁队签约新援，场均17+9，补足短板，乌戈冲击季后赛

这也是这次发布被卡着审查的原因之一。

4、万亿低空经济，迎来大爆发

于是衡量算力的标准，从峰值算力转向任务完成效率，而Token则成了智能体时代算力价值的新「货币」。

5、佛罗伦萨加入争夺皇马新星 穆里尼奥已为球员离队开绿灯

今年5月，奥特曼回到母校斯坦福，站上CS153的讲台，认错了： 这是我的一个预测错误。

在搜了2个pattern，读了2个文件之后，它直接给出诊断——Python对负timedelta采用补数存储，timedelta(hours=-5)内部实际是days=-1, seconds=68400。

大会以「开发者，找找找」为题，赛事、Workshop、沉浸式体验三线并进，集聚100+科技大咖、200+创业科学家、500+头部科技企业。

6、上赛季加入讨薪大军！曝前CBA榜眼杜智博加盟广州龙狮

一个用图表证明自己更划算，一个直接把闸门开大让你自己试。

首先是绝对的中立性。

7、库明加准备吃回头草了，计划短约回归老鹰，真是天生喜剧人

在衡量Agentic工具使用能力的PinchBench上，KAT-Coder-Pro V2.5拿下94.2 分，力压Opus 4.8。

他们推出的新能源车型，更多偏向于国内庞大的「内循环」市场。

8、香港航空成都航班7月30日起转场至成都双流国际机场

分析日志的第一步，Hugging Face用的是商业API背后的前沿模型，结果跑不通。

现在不一样。

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

9、捂嘴风波背后：规则的保护伞，咋变成了针对刀？最近足球圈有个话题，越聊越让人上火

该项目推动企业从场景 POC 进入真实任务运行阶段，重点验证产品在连续作业中的稳定性、系统协同、异常响应和任务闭环能力。

AI 桌面助手：在授权范围内操作网页、读取文件、连接飞书和 Office，生成文档、表格、PPT、H5 页面等让智能体协作跨出对话框，直接在用户的工作环境中完成任务、交付结果。

10、幸运咖“踩刹车”：从5年复制一个蜜雪冰城，到新店严格控制不超2000家

但方向已经很清楚了：AI正在从「生成内容」，走向「生成软件」。

逃出去的东西，收不回来了 很多人看到这儿会松一口气：还好是内部测试，还好被监控着，还好及时拦下了。

1、曾入选亚冠最佳防守球员的他！如今在鲁能完成赛季首秀，值得期待

前向过程逐步将token替换为掩码符号，其在时刻t的闭式解为： 其中为token在时刻t保持未被掩码的累积概率。

2、全球首台机器人手机，能预购了！与阿里合作

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

3、五一已过，有哪些无人机通过了新国标？

」 在圆桌论坛环节，Sunday Robotics CEO赵子豪则从另一个维度切入：「短期内，无本体数据是最高杠杆的选择，因为成本极低、没有环境差距。中国男篮，还需要周琦么？聊聊个人看法！先上手，感受一下什么叫 「懂你的上下文」 说再多概念也不如亲手试一把。

4、包车巡游，美国女足联赛借世界杯「刷脸」

参考资料： https://x.com/itsolelehmann/status/2069897627794284606 编辑：Aeneas

5、杜兰特因伤休战 申京休息阶段 乌度卡是怎么解决球队贫攻的问题

漫剧场景更极端：选题、剧本、分镜、多语言本地化全链路打通，一个人加 Navos 就能做到日更。

6、1-0！3-0！随着韩国队“爆冷”输球，亚洲首支晋级32强赛球队诞生

在当前一级市场投资趋于保守的大环境下，上汽系资本豪掷过亿，信号不言而喻：汽车国家队正在用资本投票，提前锁定下一代新能源汽车的底层动力核心。

Ontology 主要回答： 企业世界中有什么对象； 对象之间有什么关系； 当前状态是什么； 哪些行动可以作用于这些对象。

P6 到 P8 的用法完全不同。

7、WCBA豪门又换主帅！一年一换太任性 弃李梦王思雨仍能抗衡广东？

价格也低到离谱，每百万Token输入这样的本体既非替代模型推理的符号引擎，亦非仅供查阅的静态背景资料，而是嵌入推理链路之中、可被实时调用与追溯的解释性基础设施。.3美元、输出.5美元。

这是第二次在中国内陆举行该赛事。

8、法媒：马赛有意引进中村敬斗，但球员1000万欧元身价成阻碍

这意味着CoreWeave正式从单纯的「算力提供商」升级为「算力+AI自动化研发」的综合平台。

Prompt的最后，AI被命令道：「在这上面至少花上8个小时，然后再去考虑放弃或返回结果。

两个人手里攥着同一份商业计划书，跑去问Claude这事到底靠不靠谱。

这个学习信号不能只是「用户喜欢或不喜欢」，也不能只是模型回答的准确率。