从去年9月十几人的初创班底，到如今接近200人的团队，不到一年产出的成果可以说是相当密集。

1、天博官方 关键问题：能否在不牺牲任务成功率的前提下，通过后训练，让已有VLA策略自动学会「少走弯路」，用更少物理步骤完成任务？ 来自四川大学雷印杰教授领导的团队提出了PolicyTrim——一个面向「策略效率」的两阶段强化学习后训练框架。

房子有了，还得有家具；硬件有了，还需要软件。天博官方其愿景是让本体成为AI与人类理解之间的共同语言，使可解释性成为工程化治理现实。

2、费兰·托雷斯加时绝杀后坦言“不敢相信”：进球属于4700万西班牙人

比如，要预测性质就走性质预测，要重建结构就走结构重建，还能做三维结构生成、科学图像生成与编辑。

3、萨钦·滕杜卡尔就NEET风波发声：失败可以，作弊不行

第三种，时间循环（/loop和/schedule）。

4、万万没想到！利马坦言：梅西是我的领袖，但历史第一我选C罗

但有个细节，OpenAI的原文写得很克制，却是整件事里最让人后背发凉的一笔—— 那个越狱提交的PR#287，OpenAI事后是关掉了，但已经晚了。

5、世界比洞赛：普莱斯11比5横扫克罗斯，门齐斯因病退赛

然而，极致简洁的暗面，是早早埋下的无数暗坑。

莫宗坚给了张益唐一个「引理」——一个被认为是正确的数学命题，作为研究的基础。

参考资料： https://www.imo2026.com/Results/Individual_Results.htm https://x.com/_simonsmith/status/2078468111678722448 https://mp.weixin.qq.com/s/HekpOfjea9-NrRP5TxL5Zw https://mp.weixin.qq.com/s/nQVfMccLl0ArddDwF6GPVg 编辑：大卫新智元报道 7月18日，AI圈忽然被这个消息刷屏了。

6、罗纳尔多神预测！世界杯决赛无悬念！西班牙全程碾压阿根廷

但这座宏伟的大厦上方一直有「一朵乌云」。

而找到文献，不等于造出证明。

7、探学记打卡泸州十八中的礼文化！下一期精彩继续→

9轮对话，6轮有效输出，单趟最长73分钟（P3），全程输出70万token。

在规范层面，它为可解释性提供了评判标准：若模型内部表征中确实形成了与本体相对应的结构化模式，其输出就具备被理解的基础；若始终无法映射到这些本体之上，则无论输出多么流畅，在认识论意义上都是不可解释的。

8、小贝坦言：任何提前庆祝都是失误，因为梅西还在场！这就是历史第一的恐怖

网友们兴奋地疯狂转发，所有人都在问同一个问题：「中国AI已经强到这个地步了吗？」 然而，狂欢仅仅持续了几个小时，一场反转让所有围观者惊掉了下巴。

第二，要两边最强的版本。

在配置相应AI加速卡后，可本地推理70B至150B参数规模的大模型，多台设备还可级联组成桌面级算力集群。

9、SEC主帅公开招募退休教练：再给他一次机会，他会回来的

当其他厂商还在用「参数规模」衡量模型时，K3已经用行动告诉我们：真正的竞赛，已经从「谁的参数更多」转向「谁的唤醒更聪明」。

它适合那些源源不断、边界清晰的活：bug上报、问题分类、依赖升级。

10、同进3球，戴维和梅西暂时并列射手王

在另一个任务里，GPT-6发现别的系统有一些成功但未公开的答案，就动了心思—— 想从评测后台，把这些答案「捞」出来。

这是对AI怀疑论的重重一击：事实之下，谁还认为AI无法或者不会做出科学发现？ 谁能想象5年后AI会发展到何种地步？ 物理教授卡了半年 Claude一夜解开「弦论」难题 半年了，研究毫无进展。

1、巨人主教练遭驱逐 旧金山播音员怒批MLB裁判

响应卡顿、排队等待，个别长文本请求甚至会霸占通道，把其他短请求活活拖慢。

2、中超夏季转会窗：3队同时官宣新援，山东泰山至今只出不进

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

3、穆里尼奥钦点！皇马 6000 万新援成绝对核心！伯纳乌无人可替代

Scott Shambaugh是matplotlib的志愿维护者。世界杯扩军64队吃席模式？新人上主桌且得等！IMO满分是42分，金牌线通常在28-30分左右。

4、拉莫斯抱两座世界杯奖杯睡觉 复刻梅西经典照调侃

而佟博士所提出的企业认知主权，最终强调的是一个更基本的原则： 企业不能只拥有调用智能的权利，必须拥有形成智能、评价智能和持续进化智能的权利。

5、NPC全程飙戏！岳阳一景区玩法上新，沉浸式带你“穿越”

27000套，不是27000次演示——每一套都在真实产线上跑着。

6、从写信拒利物浦到如今接班执掌 伊拉奥拉：不想这么快讲那个故事

端侧模型的速度是最直接的体感。

他也只能自我安慰可能自己没有开启高性能模型「high thinking」。

Demo 中，Oli 调用了「边走边弯腰边伸手」的技能，同时把意图变成底盘、躯干、头部、双臂、双手协同的「全身动作块」，再透过 S0 落到真实身体上。

7、高开低走！亚足联9队世界杯全部淘汰 澳洲日本止步32强

第四届大赛共吸引来自32个国家和地区的17977名选手报名，参赛群体涵盖清华、复旦、中国科大、南洋理工等知名高校学生，以及中核集团、国家电投、腾讯等领军企业及众多创新企业的研发人员。

当人形机器人真正走进家庭和商业空间，用户关心的只有一件事：这台机器人能不能稳定地把活干完。

8、五星跑卫乔治斯周三直播做决定 田纳西内线三选一

开发者可以享受到清程极智生态内优质、低价的Token支持。

James的核心洞见是：回忆并非按地址读取文件，而是情境性的重构。

DeepSeek自研推理芯片的消息刚刚曝光、OpenAI发布了定制芯片Jalapeño、Anthropic也在接洽三星探讨自研方案——全球AI算力的格局正在经历深层洗牌。

而这一次，变了。