有人第一次真正理解了，泰坦尼克号上那些人的死，不是一个数字"。

1、星空综合 定理（诱导前向掩码）：令 ，则仍是一个合法掩码分布，且仅在特殊位置集合S上提高了掩码率： 即超参λ在对数几率（log-odds）空间中精确地控制了「对目标位置加大掩码」的幅度。

5月19日上线的The Joe Rogan Experience第2501期，a16z联合创始人、网景浏览器之父Marc Andreessen聊到AGI，甩出一句： 我们大概在三个月前就跨过去了。星空综合企业必须拥有一个描述业务对象、关系、状态和行动的语义层。

2、宝藏PDD立大功！个个收纳是王炸，懒人直接照抄！

比如，法务想要一份把所有依赖库许可证列全、还标出哪些是copyleft的审计表，一句话就能生成。

3、526分考生贺永辉志愿怎么选？湖南农大提供王牌专业和院士导师

ABot-M0.5全自主进行移动操作 这既解决了单一动作空间中移动与操作相互干扰的问题，还保证了模型能捕捉一些微观且高频的物理交互，从而保证任务的执行质量。

4、M费闹剧续集？曼联欲4000万签萨默维尔，英媒曝其渴望加盟踢欧冠

截止今年7月，无问芯穹Agentic MaaS平台日均Token调用量较年初增长约40倍。

5、正式放弃！6200万大合同！36小时内尽快交易

当然，放手不等于放任。

跑一轮重度的Agent任务，账单蹭蹭往上冒，有开发者形容，是「肉眼可见地在烧钱」。

架构方面，DM0.5延续VLA架构，以4B参数的多模态主干为核心，外加一个680M的动作专家（Action Expert）负责生成连续机器人动作。

6、“红霞”逼近！惠州全市台风白色预警生效，部分景区关停

防御窗口收窄 防御工具也在加速 AISI 在报告中明确了政策信号：防御方的准备时间比去年更短。

现在这一步被抹掉了。

7、男篮世预赛出线局势出炉！8队已成功上岸：叙利亚比中国提前晋级

参考资料： 关于发布7款提供手机端侧生成式人工智能服务已备案信息的公告 编辑：马可新智元报道 扩散语言模型（DLM）正逐渐成为自回归（Autoregressive, AR）语言模型之外一种新兴的建模范式。

地面的Token工厂解决「怎么生产得更便宜」，未来的星地一体算力网解决「怎么把Token送到更远的地方」。

8、葡萄牙媒体评世界杯最差23人阵容：C罗领衔！孙兴慜内马尔B费在列

后厂：把推理成本，一年打下来10倍 第二个变量，是Token转化效率。

代价是两个字：僵化。

但Uber们的账单同时也在宣告，光会用，远远不够。

9、“我孙子不见了！” 上海爷爷急匆匆跑进派出所报警！38℃高温，两岁男童光着脚丫、叼着奶嘴迷失街头

由中科大苏州高等研究院、新南威尔士大学等机构联合在ICML2026发布的AtomWorld，借助一系列真实原子操作任务得出结论：在文本理解、知识归纳等场景表现稳定有效的Scaling Law，落地到受物理规则约束的原子实操任务时，往往达不到预期效果。

当指令本身有害时，强指令跟随反而成了弱点。

10、温州小区保安代送外卖却遭暴打，只因业主嫌太慢，家属开脱引众怒

在OpenAI开发者社区，苦这个旧搜索久矣： 终于能找到那条消息了，为什么拖了这么久；那个老搜索栏，从来就没好用过；会话一多，搜旧对话就变得不可能；翻旧对话简直成了噩梦…… 这不是零星几句抱怨。

在长期的被FOMO情绪蔓延的科技圈，这个消息就像一颗火星掉进了炸药桶。

1、把带薪休假制度落到实处

过去一年里，从o3到各家旗舰，一茬又一茬的模型冲上来，全卡在130的门口，谁也没能真正踏进「天才区间」。

2、英特尔重申CPU开发计划 超线程技术2028年回归

值得玩味的是时机。

3、特朗普确认将出席世界杯决赛，预计将亲自颁发冠军奖杯！冠军将获定制戒指，还将向全球球迷发售！

喻杰将这个概念命名为Robotic Super Intelligence——比大模型圈热议的super intelligence，多出了整个物理世界的信息维度。亏光2亿只是皮毛，冉莹颖再爆更多猛料，撕下了邹市明仅剩的体面办赛以来，大赛坚持以赛促研、推动学科交叉融合，希望大家葆有好奇、勤于钻研，在交叉领域持续精进，同时诚邀更多科创新秀与行业同仁参与下一届大赛，共同探索科学创新与产业创新的深度融合。

4、一家传统零售商的转型进行时：广百股份的“换挡”与调整

新智元报道 一段3分钟的AI短片，炸了。

5、申花上一个单赛季进球21个是马莱莱 拉唐能破他记录吗

三名董事另有其人，其中一位还和那家公关公司Real Media Group有牵连。

6、广州男篮官宣：重新签约麦考尔 上赛季曾被交易去广东

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

这种变化，普通用户根本没法证明。

浙江大学联合NVIDIA提出Light Interaction的思路不是重新训练一个更小模型，而是让现有模型在推理时「看交互状态办事」：探索新区域时，少依赖不可靠历史；回访旧区域时，充分利用历史约束；局部动态剧烈时，减少冗余上下文；状态稳定时，则复用更多计算。

7、热泵补贴大幅削减：消费者，厂商和工匠集体陷入混乱

基线涵盖面向AR模型的三类后门：SFT-based、VPI（提示注入）、类RL-based（DPO）。

原因就在于，这些场景背后是同一件事：解决长程任务，跑通智能体的Loop（闭环）。

8、7月24日IPO审核动态：思朗科技、夏禾科技等15家企业审核进展更新

但它开的药方和官方并不一样：官方是把整个timedelta整体取绝对值，它选择先换算成总秒数、再拆分。

打开那个庞大的Hugging Face仓库，里面没有配置文件，没有分词器。

可Sol的出现却告诉你：越攥得紧，越贵、越慢、越差。

Anthropic前不久还上线了Routines，把同一套机制搬到服务器端，合上电脑，它照跑不误。