马斯克自己也转发了这张绿鞋照片，还配了两个emoji。

1、火狐买球 从3月的80B参数，到现在的617B MoE，不仅增量续训只用了完整训练量的5.3%，而且9个评测全部超越自回归基线。

所以，发展路径没有固定模板，要看公司的资源禀赋、创始人偏好、产品阶段和风险承受能力。火狐买球过去，人们习惯追问国产芯片与国际产品之间还差多少参数。

2、顶住了！又是惊险逆转！中国男篮赢了

内容产能的瓶颈同样突出。

3、沙漠出片指南：在XTERRA阿拉善，拍下属于你的那一帧

四家国产头部基模公司，先后跟同一家AI Infra达成了深度合作。

4、失速的珀莱雅，押注花知晓

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

5、国羽出征丹麦，汤尤杯揭幕战一触即发

「书生・端砚」平台将可信从 “附加项” 提升为平台建设的核心前提，平台在安全方面建了三道防线： 全流程数据留痕。

国内许多具身智能团队进入这一领域不过三到五年，通常从自己擅长的单点切入。

记忆只是这种动态状态的一部分，更关键的命题是围绕这种动态状态构建一种新的计算范式。

6、你来大师赛 我去大奖赛 网球和F1的双向奔赴藏着IP营销届最大的流量密码

IMO满分不一样，42分就摆在那里，足以证明，小红书已经具备值得行业认真审视的基础模型能力。

据初步测算，灵初方案可将生产损耗率降低约10%。

7、河村勇辉来中国打球？媒体人：他根本就入不了CBA的法眼

AnySearch踩中的正是这个变化。

聚焦才能专注，我们也提高了标准，看中的项目就多投一点、持续加注。

8、中国香港创新科技及工业局局长孙东：对未来蓉港合作抱有相当大的期待

其团队开发的Apex Search生成了34篇论文，并将这些论文提交至ACL、ARR等学术评审体系。

不过，AGI朝着社会化、规模化发展时，始终存在一个核心难题：在大规模、复杂的社会演化博弈中，很难兼顾逻辑一致性与实验结果的可信度。

值得关注的是，RLinf v0.3全面支持昇腾Ascend（CANN/torch-npu）、AMD ROCm、Musa等国产及异构AI计算平台，真正做到跨机器人、跨模型、跨仿真器、跨计算硬件的统一训练能力。

9、最佳阵容荣耀入选，季后赛征程奋勇争先！

苏度的世界模型在这个框架中承担什么角色？ 韩铮：World Model这个词在Sora出现后重新进入大众视野，但在机器人领域，我们还需要第四类世界模型——它需要对环境和物体形成高精度的几何理解与预测能力，涵盖材质属性、表面摩擦系数、几何约束、动力学约束，以及接触后的状态变化。

一套算力系统真正进入生产环境，至少要同时具备四种能力。

10、休息不到17小时！中国队背靠背获胜，25分击败欧洲第三！

海外同样已有相似探索。

没有任何一家公司能够提前收集所有数据，也没有任何模型能够把所有场景全部背下来。

1、三万条聊天记录，养不活一个AI智能体

不过辛拓扑属于机器目前最啃不动的抽象几何腹地，短期内模型帮不上他，他也犯不着帮模型。

2、北控完成重磅签约！单场37+19超级外援加盟，季后赛格局恐被打乱

商汤大装置没有守株待兔，不等这道差距被芯片厂商自己填平，就先跑通了一套系统层面的组合方案。

3、山东高速男篮官宣签下祝铭震杨文学，但真正的考题才刚出卷

比如，在同样面对两块看起来差不多的毛巾时，基于UniTac的基础模型，就能提前预判毛巾的质感、颜色，从而规划、完成毛巾的单层抓取动作。“他们为中国创造了历史”，吴易昺、张之臻晋级正赛登上官网按这把尺子量，梅卡曼德交出的成绩单相当亮眼。

4、三方交易达成！森林狼将兰德尔送往篮网 公牛得到克拉克斯顿

更重要的是，它们来自机器人第一视角。

5、用一台口袋电影机，造一场伊甸园的梦

胚胎透明、发育快、可大规模并行实验——它是脑科学领域性价比最高的脊椎动物模型之一。

6、拉什福德离队后，巴萨找到了新的锋线答案

苏度与宁德时代合作，现场复刻了一条电池模组产线，完整还原锂电产线从上料到下料的全流程：上料→电芯装配→扫码→下料。

为解决这些问题，UniTac把触觉理解和触觉生成放进同一个多模态框架，统一吸收来自不同传感器的数据。

据路透社消息，DeepSeek在6月完成的上一轮融资中募得约500亿元，投后估值约4500亿元 而一天之后，路透社又根据开润股份的公告算出，DeepSeek整体估值约3508.8亿元，约合518亿美元。

7、Scotto：杰肖恩-泰特一年307万美元合同续约火箭

这背后是基于末端力感知的主动柔顺策略，机器人感知到阻力后自主微调姿态、反复试探，适配现场的实际情况。

以Gemini为例，2024年谷歌首次挑战IMO，最终只拿到28分的银牌水平，彼时系统也还需要先将自然语言题目翻译成Lean等形式化语言，部分题目耗时甚至长达数天。

8、2025最后机会！超5000人信任的跑姿课即将开课！_网易订阅

《中国企业家》：那你为什么这么详细地记录这些过往？ 单伟建：这些东西恐怕对别人会有所帮助。

从训练框架、推理引擎到硬件协同，越来越多厂商开始把竞争延伸到系统层。

如果按照传统方法处置，需要等待波形与历史事故足够相似，但这时风险往往已经逼近。

他给出了吓人的时间表——2年之内，AI将在所有数学证明领域彻底超越人类。