90后清华博士厨房机器人融资数千万，拿下北京市首张具身智能机器人食品经营许可证

享刻智能官宣完成数千万元Pre - A轮融资，创始人陈震是连续创业者。其LAVA厨房机器人获北京市首张具身智能机器人食品经营许可证，已签千台级订单，还将围绕‘三机一体’架构升级技术。

苹果出手！改进GRPO，让dLLM也能高效强化学习

苹果研究团队针对扩散语言模型（dLLM）在编码任务中表现不明的问题，基于7B级代码生成MDM DiffuCoder展开研究，定制优化GRPO提出coupled - GRPO算法，填补开源dLLM训练和推理机制空白。

什么！我把SQL编辑器装进了大模型？

文章介绍基于约束解码技术，结合CFG、Jinja模板和XGrammar框架，为大模型SQL生成配备“编辑器”。它能保证语法正确、遵循规则，还具灵活性。但面临约束干扰和性能瓶颈，未来可简化配置惠及更多用户。

4月30日凌晨，Meta举行首届AI开发者大会LlamaCon，推出Meta AI聊天机器人应用程序与ChatGPT竞争，发布Llama API。Meta试图强化开源模型生态系统以限制OpenAI发展，扎克伯格与微软CEO还探讨了开源闭源模型生态等内容。

0.25秒识破未见攻击，这套检测方法没看过任何越狱样本 | EMNLP'26

大视觉语言模型带来隐蔽攻击面，现有检测器难平衡。中国人民大学与阿里巴巴集团联合提出Learning to Detect（LoD），不依赖攻击样本和手工规则，从模型内部激活学安全模式，实验效果好且代码开源。

没有全科优秀，具身模型别想进入百万小时

文章介绍权威评测 RoboDojo，给全球机器人模型办‘高考’，多数具身模型离落地远。原力灵机的 DM0.5 模型登顶，它记忆能力强、全科优秀，且全面开源，有望推动具身智能发展。

上百个Agent，该怎么管？清华团队新思路：重做Session

当Agent数量增多，管理难题凸显。清华与中大团队开源OpenRath，以Session为核心，让多Agent共享状态。它借鉴PyTorch，解决了证据存储、状态流动等问题，使Agent集群管理更高效。

先进封装成为AI芯片胜负手

2026年先进封装企业在多方面有新进展，其对芯片性能等指标影响大，全产业链都在加码布局。委外封测厂、代工厂看好其营收贡献，市场动能明确，各环节技术创新也多点突破。

一次代码提交=250万美元！xAI被开除工程师大爆料，揭秘马斯克“人类模拟器”秘密项目

xAI技术成员Sulaiman Ghori在播客披露公司内幕被开除。他透露了“人类模拟器”项目、算力工厂建造细节、内部工作文化等敏感信息，还描绘了充满马斯克风格的xAI工作画像。

一份命中率 80% 的 AI 预测复盘｜拾象年度预测

拾象团队复盘 2025 年 20 个 AI 关键预测，命中率达 80%。涵盖行业格局、技术路径等多方面，如微软投资 Anthropic改变格局、Google 逆转颓势等，也指出对部分方面过于乐观，还展望 2026 年 AI 领域。