语言模型早期有非常多的应用方向，但真正把模型能力推向极致的应用之一是AI Coding。

1、乐鱼电子 决定开源之后，沐曦的打法可以用一个词概括，upstream first 区别在哪呢？ 以前的常规操作是“社区发了新版本，厂商拉下来自己适配”，也就是拉源码、下patch、打补丁、编译、调试，一整套流程走完才能用。

数学家们 慢慢笑不出来了 Gowers在博客里回顾，早期那些所谓「大模型解决了研究级问题」，笑一笑就能过去： 不少所谓的解，其实是模型发现答案早就躺在文献里，或者能从已知结果轻易推出来。乐鱼电子在华图的地推铁军和中公的复苏“两面夹击”之间，粉笔急需找到属于自己的技术护城河。

2、耐克一刀砍向经销商 但真能找回想要的品牌价值吗？

在此之前，茅台调整飞天茅台出厂价是在2023年11月，而最近一次调整市场零售价，则是在2018年1月，至今已相隔8年。

3、火箭不敌森林狼 历史上加时最大分差被逆转 谁的责任最大

现在不少AI搜索产品，还是把网页链接、标题和摘要丢给Agent。

4、平替张镇麟？连续三战0分，球迷建议杨鸣：让球员做自己所擅长的

” 可正在发生的现实是，60分的游戏越来越多，100分的游戏却没有因此变多。

5、被淘汰后来听听日本将帅怎么说！久保健英不服气，森保一认清现实

整个推进过程清晰可循，在后台默默消化、生成，最终交出一份前后一致、逻辑连贯的完整长稿。

对VLA来说，能不能在有限算力下快速输出下一步动作，和榜单分数一样重要。

周跃峰在采访中提到韬（τ）定律时表示：“华为没有办法构建万国牌的硅基黑土地，我们的硅基黑土地会越来越厚。

6、6亿加注龙腾：西安财金的“精准一手”

这是我们今年逛WAIC时的意外发现——哲学含量，有点高。

许北觉得，如果他不再用小红书了，大概率会回B站，“小红书有很多真实的使用体验和生活分享，是B站和抖音都欠缺的。

7、格劳啥水平？大号卢永涛！海港帮津门虎清理库存，再引葡萄牙中卫打亚冠

而美图产品挑战赛（Meitu Hatch Catch），希望成为这段旅程中的一个起点。

一颗芯片很难只靠参数覆盖所有场景，还需要提供Runtime、模型适配、开发工具和Agent框架，帮助客户把底层算力转化为能够交付的产品。

8、媒体人建议郭士强辞职，山东千万引入祝铭震，山西交易到探花签

接着Riesz–Thorin插值定理可以在掌握这些端点结果后，把结论“插值”到中间的所有p值。

落地到具体操作就是： 用一个模型（或者子Agent）负责写，用另一个独立的模型（或者子Agent）负责验收，验收的那个不能看到写代码的那个的推理过程。

来源：AI生成 对天才少年的争夺，已经开始从娃娃抓起。

9、随着女篮86-76南苏丹，世界杯晋级形势变了：宫鲁鸣迎关键抉择

这和今年上半年具身智能全行业的资本狂热息息相关。

公告显示，开润股份参与投资的一只基金，已经将29亿元实缴资金全部间接投向DeepSeek，获得后者0.8265%的股权。

10、马拉松跑者的静默执念：#破3！跑出2:59:59或更好成绩

王莉表示，茅台与各类渠道商，从来都不是此消彼长的竞争关系，更不是相互替代的取舍关系，而是各有优势、合作共赢的协同关系，是紧密相连的利益共同体、命运共同体。

子agent的可观测性也迈了一大步。

1、一加Ace3 Pro关键信息遭曝光 最高24GB＋1TB 配置给力

P.S.对应模型即将开源～敬请期待这几天，全网被WAIC“霸屏”，从具身智能到国产算力，这场一年一度的AI盛典，同样吸引了科技圈所有目光。

2、余嘉豪做出了1个重要的决定！

另一家风头正劲的高估值独角兽Skild AI，展示了跨形态、跨任务的能力片段，广度上取胜，但并未展示长程全身移动操作演示能力。

3、山东高速联手山东蜜獾，明确主题：防止省内篮球人才流失

不过，这个窗口期还有多长？没有人知道。世联赛总决赛：女排15-25美国，全员状态慢热，庄宇珊表现糟糕从一次技术演示走向跨省应用，意味着生成式智能传输已经开始接受真实环境的检验。

4、上半年多笔补助、补贴资金下达！

2024年开始，我们就尝试将AI真正嵌入到业务流程中，最有代表性的场景就是智能体工厂，到了某一个节点，比如说品质分析，流程就会强制调用AI智能体。

5、关注

主流世界模型把预测和动作拆成两步串行：先生成未来画面，再从画面反推动作。

6、揭开亚洲新奢侈消费之都曼谷的面纱

一台双臂机器人通常会同时接收三个摄像头的画面，包括两个腕部相机和一个主视角相机，再加上一段文字指令，最后输出一个可以执行的动作。

在Coding层面，5月20日，阿里编程工具Qoder推出了国内版，支持调用Qwen系列Coding模型能力。

” “如此而已”是单伟建最常用的收束语。

7、马尔蒂尼：意大利选帅不仅联系了瓜迪奥拉，还接触了安切洛蒂

这条明线不难察觉，但我觉得，在此之下还有一条更本质的暗线—— 这是一家极为长期主义的公司。

虽然参数量只有1.5B，但在LIBERO、Calvin、RoboTwin2等主流VLA评测里，它的整体表现已经进入第一梯队，与π0.5等模型处在相近水平。

8、暴力冲突后续：NBA官方不会处罚阿德巴约与希罗 各方都希望息事宁人

文远知行的方案在这几个交通条件截然不同的国家完成测试，说明它学习到的已经不是某一个国家的驾驶经验，而是一种能够适应不同环境的底层能力。

《中国企业家》记者 苗诗雨 见习编辑｜张昊 编辑｜马吉英 头图来源｜视觉中国 给太空卫星无线充电的科幻场景，或许不再是抽象的概念。

黄仁勋将英伟达的故事描述为“Token工厂”，追求高吞吐，低成本。

loop适合干“对错清晰、机器可验证、不依赖人的判断”的活，比如Lint自动修复、依赖更新PR、CI失败分类、Flaky测试复现。