到6月15日，承销商高盛、摩根士丹利行使「绿鞋」超额配售权、增发8330万股，SpaceX这次IPO的募资总额从首轮的750亿美元一路抬到857亿美元 SpaceX已经正式坐稳史上最大IPO，把2019年沙特阿美290亿美元的旧纪录远远甩在身后。

1、博鱼手机 这背后是一次跨代的能力跃迁。

在信通院的多年时间里，韩涵手握数十项核心技术成果，并参与了多项国家级政策起草。博鱼手机但开业那天的人气是所有门店里最旺的，那个综合体有5个门，每个都挤得水泄不通，当天POS机统计有17000多单。

2、美媒评当下十大最被高估球员：浓眉居首莺歌第二 申京第九里夫斯第十

哦对了，这次还有一个细节很有意思：SpaceX的员工们集体穿了绿色鞋子上交易大厅。

3、意大利足协接触瓜迪奥拉与安切洛蒂 马尔蒂尼确认选帅进展

这种多样性，是bug还是feature？实验结果很炸。

4、10分20板5帽，拿队史最大合同！锡伯杜激活二轮秀，变成冠军中锋

奇异摩尔基于在网络互连及芯粒技术领域的长期积累，已前瞻性地布局——OSU（Optical Scale-Up）IO芯粒产品与未来CPO迭代方案的融合路径。

5、花滑名将申雪、赵宏博入职哈工大

目前，纯2D视频生成主要解决渲染问题，3D生成主要解决模拟问题。

全球能在万亿参数规模上跑通LoRA强化学习的团队，只有两家。

系统层面还有大量定向优化和适配的工作要做。

6、周六，赴“荆”相会！

如果真的发生，这种能力大概率会迁移到其他科学领域，医学、材料、能源，全线起飞。

「机器人究竟什么时候进厂干活？」——这个问题，无论线下还是线上，都已经很少再被人提起。

7、SKIMS 亚洲旗舰店落户中国香港

芯片必须通过高速互联组成服务器，再由服务器组成超节点和千卡、万卡集群。

然而，他最终还是团队中唯一被裁的人 裁员后，经理给他发消息说： 言下之意，没想到公司动作更快，不是我干的。

8、德转官宣！U16国足下课主教练出任深圳青年人新帅，值得期待

四大场景完整覆盖课前诊断、课中教学、课后测评、群体协作全教学周期，兼顾K12、高等教育、职业培训等多元场景需求。

但有一个相对粗暴却直观的划分方式，可供参考—— 强者不追求人形，越“人模人样”越没核心技术。

而苏昊瞄准这个方向已经超过十年，早期又参与过ImageNet这类大型基础性项目，因此有底气、也有耐心做长期投入。

9、西法英阿流量战 这盛世如FIFA所愿

世纪隆当时算了一笔账，总数是账面现金流，需要减去供应商应付货款、团购卡券、消费余额、银行贷款——按照胖东来的财务核算标准，这些都不能算是企业自己的钱。

在文章中，BaiFu非常兴奋地呼吁：“超级个体”真的能成！越早去探索这条路，成功概率越大，尤其对大学生而言更是如此。

10、迪马济奥：纳格尔斯曼回归执教只是时间问题

做法很直接。

六道题全部做对，首先证明的是Agentic推理系统稳定性。

1、首次！中国籍数学家邓煜获得菲尔兹奖

先来看MiniCPM-RobotManip。

2、日系车在华销量持续下滑！本田4月销量同比跌幅近半

列车性能再高，如果只能运行在封闭线路上，也很难成为真正的大规模基础设施。

3、杨瀚森活得通透：积极面对负面评论，利拉德为他学中文

简单来说，已经上路的，可以来踩一脚油门；还在起点的，也可以来找一条更快的路线。苗润东｜一个足球少年的拏云志接下来直接实测上强度！ 三道题上强度，实测灵犀专业版 10万字对谈速记，整理出一份知识库 量子位前段时间在搞具身智能coffee chat，来来回回也组织了四五次，每次都有几位嘉宾一起畅聊两三个小时。

4、北青：国足9月底重庆热身4场对阵已定

细说平头哥这次开源，对外开放的是一套经过生产环境验证的五层完整技术栈，从最底下的驱动一直堆到最上面的运维工具。

5、CBA快讯！广东欲续约黄明依，广州宁波数百万求购状元签，吴前留守浙江

根据灼识咨询统计，按 2025 年及 2026 年第一季度平均每日 Token 消耗量计，PPIO 在中国独立 AI 云计算服务提供商中排名第一。

6、狮子大开口！一场比赛没打，却索要3年1.2亿，欧文or哈登

但，「家庭」场景就麻烦多了。

该猜想自1939年提出以来悬而未决长达87年，连张益唐等顶尖数学家都曾在此折戟。

从世博展览馆北门进来，有一个叫“模登时代·伙伴之城”的展馆，放眼望去，全是各家机器人在各司其职、埋头猛干： 比如苏度与宁德时代合作的电池产线，四机协同，全程无需人工介入。

7、库明加不想老詹回骑士！浓眉去骑士？眉有的事，詹且等待！

所以这两年，美的数字化的主要任务，一个方向是DTC，打造用户交流的数字化平台，另一个就是全球业务的数字化。

Claude在抓他们的错误。

8、暖心相聚，热血同行！杨瀚森球迷见面会圆满落幕

他的解释是：Token不一定代表终局，它只代表成本，并不代表收益。

常规方法每获得一张新画面，都要把此前的历史重新计算一遍。

机器人还需要一副能够承担工作的身体。

在长程策略控制方面，模型通过原子任务拆解和视觉目标约束等能力，持续跟踪任务进度，并根据实际执行反馈调整后续策略。