S0 是运控层，频率最快，1000 Hz。

1、博鱼手机 98.15%纠正成功率 提升NavBrain长程闭环上限 在覆盖已见和未见城市场景的长程闭环评测中，DA-Nav取得59.00%的导航成功率、77.82%的路线完成率和98.15%的纠正成功率。

OpenAI在7月9日发布的ChatGPT Work，几乎是贴着Cowork的卖点打，内置Codex，还捎带上线了当天同步发布的最新模型GPT-5.6 Sol。博鱼手机matplotlib维护者Scott Shambaugh的博文，记录AI智能体因代码被拒、公开发文攻击其声誉的经过。

2、凯文·基冈生前哈雷拍卖3.5万英镑，善款捐向癌症慈善项目

面对密密麻麻挤在一起的鱼群、货架上东倒西歪的商品——它能把每一个个体剥离出来、清点清楚。

3、搭载350 V8发动机的1935年福特五窗轿跑，匹配四速手动变速箱

Light Interaction保留文本条件和当前chunk的稠密计算，只稀疏历史视觉KV，并通过算子融合减少数据搬运。

4、本可主控却甘当底角射手？格林招募詹皇自比PJ·塔克惨遭群嘲

按照他设想，老师布置那种非用AI不可的项目，学生反而得动更多脑子、想更多新东西。

5、极限截胡！利物浦最后一搏！硬抢 9400 万世界杯无解边锋

Light Interaction的做法更贴近自回归视频生成的实际结构：文本条件KV缓存和当前chunk始终保留稠密计算，只对历史视觉KV做3D block稀疏选择；同时通过Triton融合Q preparation、KV preparation和untile scatter等操作，减少中间张量和重复内存搬运。

挑战赛设置高通量药物虚拟筛选、靶向分子设计、蛋白质构象系综生成、神经算子自动改进等前沿任务，部分参赛智能体方案在竞赛范围内展示了具有挑战顶级水平的架构设计理念和问题理解深度。

他说了一句很有感触的话：「我经常发现灵犀写出来的东西，对我的理解甚至超过了我自己。

6、西班牙VS阿根廷：无敌传控斗牛士，能否终结梅西时代？

补齐 AI 科研反馈滞后短板 打通数字推演与实体实验链路 当前 AI 科研普遍存在推演高效、落地困难的痛点，核心症结在于真实场景反馈机制的不完善。

科研中的「灵光一闪」，那些需要从无到有构建全新数学模型、打破旧有范式的「构造性发现」，是碳基生物专属的自留地。

7、中央网信办、应急管理部部署开展汛期灾害事故违法不良信息集中清理整治：聚焦移花接木、旧闻翻炒、编造险情等

现在大家盯着同一个会自己更新的页面，进度就是页面本身，不用再开会同步「我们现在到哪了」。

代价是，偶尔它也会省掉不该省的那一次。

8、无视梅西凯恩！皇马传奇评选金球奖四大热门！世界杯头号水货在列

面对密密麻麻挤在一起的鱼群、货架上东倒西歪的商品——它能把每一个个体剥离出来、清点清楚。

过去，行业信奉的是Scaling Law。

电送到了终端，用户该怎么用？ 清程极智打造了面向企业、开发者、各类Agent的一体化终端生态治理节点，补齐了Agent从下载部署到成本治理的最后一环。

9、乒乓球全锦赛：7月18日赛程发布！男女双打出4强，混双完成半决赛

真正的护城河：从1套到27000套 具身智能有一个残酷真相：让机器人成功表演一次不难，难的是换工厂、换国家、换物体后，还能快速上线稳定运行。

而这还只是多写的坑之一。

10、格德斯进入卡塔尔归化视野！亚洲归化提速，中国足球跟不跟？

Tibo的帖子大意是：不是「降智」，是「调参」。

他们独创了一套「后厂生产 + 中间流通门店 + 前端Agent终端节点」三层一体化架构。

1、美职联前瞻：圣地亚哥迎战达拉斯 世界杯后主场首秀

长轨迹下，模型不仅要逐段生成视频，还要持续维护历史上下文、KV缓存和多步去噪计算。

2、7000万镑报价！阿森纳求购纽卡队长吉马良斯，球员已告知俱乐部想离队

降价好理解，可token效率凭什么也翻了倍？ 答案不在模型长了多少脑子。

3、39岁梅西依旧统治赛场！罗德里坦言：单人无法限制球王，西班牙将全力冲冠

未来，HMS将持久记忆融入感知、推理、控制与具身行动。斯托克斯与麦卡勒姆两周内先后离任，英格兰板球队长成“难堪大任”检查越能量化，它越能自己判断做没做对，你要盯的地方就越少。

4、ICC官宣2027年世界测试锦标赛决赛定址伦敦椭圆球场，恰逢板球测试150周年

证据：把架构文档和依赖清单附上，别让它瞎猜。

5、职业球员年假怎么休？专家揭秘合同铁律：每年五周 俱乐部有权拒赛季中申请

7 家过审，苹果迟到两年 苹果不是一个人通过备案的。

6、约8.4万公里：一辆2000款宝马540i的加拿大履历

聪明的人形大脑系统如何让 Oli 在非结构化的家庭场景连续不断地执行任务？我们看视频说话。

这四层拆开来看都不算新概念，但拼在一起，解决的恰恰是打工人最真实的痛：改第三版的时候别把前两版改崩了，生成的Excel打开公式还在、不用我自己重新填，交给老板的PPT不需要再花一小时手动调格式。

有网友一针见血地评论：「谷歌需要削减其臃肿的官僚体系，才能在此领域取得进展。

7、约8.4万公里：一辆2000款宝马540i的加拿大履历

这简直是灾难！」 屠龙少年，终成恶龙 在长文的最后，特纳解释了自己为什么离职。

「Record a Skill」绕开了「写」这一步。

8、2023选秀重排：米奇科夫第5顺位被截胡，飞人第7顺位选中1米8边锋

如果说纳德拉的表达仍然带有平台生态和产业结构的抽象性，那么 Karp 的表述则更加直接，甚至带有明显的愤怒。

耗时仅仅2.5小时，烧掉51美元。

这一层只关注最显而易见的常识性安全隐患，耗时在毫秒级。

还有多少题目，卡住它们的其实只是人类的耐心？ 参考资料： https://annals.math.princeton.edu/1991/134-3/p03 https://www.erdosproblems.com/forum/thread/AI%20Contributions https://arcprize.org/results/openai-gpt-5-6-sol 编辑：元宇新智元报道 凌晨两点，城市睡着了，前置仓还醒着。