星尘智能发布多机协同框架CoMind
星尘智能发布面向多机器人协同操作的框架CoMind，让机器人主动交换任务关键信息并各自独立生成动作。在隔墙拿笔测试中，两台机器人彼此不可见，任务成功率从0%提升到100%；盲盒置物任务准确率从38.9%提升到88.9%，同时通信信息量减少约80%。框架分两阶段，先提取任务相关上下文，再双向共享并结合视觉、语言与本体状态输入VLA模型生成动作，还引入动作级反向传播让队友的动作误差反过来调整信息提取。
#开源/仓库
量子位AI 评分6060
Microsoft ResearchAI 评分5858 微软研究院用 PDD Kit 形式化验证智能体编写的全栈 Web 应用
微软研究院联合 GitHub Next 推出研究原型 PDD Kit，把开发者的自然语言意图转成 Verus 形式化规格，再用证明和测试约束智能体生成的代码。
Berkeley AI ResearchAI 评分5858 从 CUDA 到 MLX：K-Search 如何把内核优化经验带到 Apple Silicon
Berkeley AI Research 博客介绍将 K-Search 进化式内核搜索框架扩展到 MLX，通过结构化的 CUDA 到 MLX 翻译层，让已有 CUDA 内核经验适配 Apple Silicon。