「子任务级可验证性」共找到 2763 篇相关文章
ICLR最佳论文：Transformer天生简洁
2026年ICLR最佳论文对Transformer做深度思维体检，指出其架构真正威力在于描述概念时比RNN等简洁指数级甚至双重指数级，但验证其内部逻辑计算成本高昂，为解释其能力开新窗。
Veo何止生成视频：DeepMind正在用它模拟整个机器人世界
通用型机器人策略发展带来挑战，传统评估方法有局限，前沿视频模型虽有潜力但面临困难。Google DeepMind团队提出基于Veo的机器人策略评估系统，经实验验证有效，展示了视频仿真评估的可行路径。
MiniMax M3 实测：第一流的模型，已经对执行层动手了
文章对 MiniMax M3 模型进行多维度实测。它强化 Coding 与 Agent 能力，能完成长任务，与 Sonnet 4.6 竞技各有优势，多模态能力强，价格有竞争力，MiniMax Code 意在争夺开发者工作流入口。
让机器人学会手往哪儿伸、怎么操作，东大团队给了新解法
东南大学魏秀参团队提出 RAAP 解决具身智能领域可供性预测难题。它将 affordance 分解，设计互补推理机制，每任务仅需数十样本，已被 ICRA 2026 接收，实验显示其性能优于基线。
「豆包手机」被智谱开源了，AutoGLM 实测
豆包手机发布后火爆，智谱开源AutoGLM，能让安卓手机变「AI手机」。作者实测，它能完成点外卖、比价等任务，设计贴心尊重隐私。适合开发者、效率爱好者等，还会推动Phone Agent生态发展。
Agent的自演进，被刚刚开源的AReaL 2.0按下了加速键
Agent 正从「会使用工具并完成任务」向「在使用中学习并改进方法」转变，但面临自演进难题。AReaL 2.0 上线，解决 Agent 服务侧问题，给出在线学习闭环方案，其价值已在实践中得到验证。
Meta重组AI团队后首个模型来了：不是最强、不再开源、可能够用
当地时间4月8日Meta发布Muse Spark，是重组AI团队后首个模型。它计算效率有提升，在多模态和健康任务领先，但在编程等场景落后。该模型闭源，适配Meta产品，未来优先产品再生态。
Ilya Sutskever最新演讲：AI将接管你的一切
2015年Ilya Sutskever联合创立OpenAI，后离开创立SSI获巨额融资。在多伦多大学学位授予仪式演讲，分享成长心态，探讨AI对学习、工作影响，认为AI最终能完成人类所有任务，带来进步也有挑战。
LLM省钱大测评！48块GH200，首个百亿级参数量实证
EfficientLLM项目聚焦LLM效率，提出三轴分类法和六大指标，实验覆盖多方面。研究表明效率优化需权衡，最优策略因任务和模型规模而异，且相关技术可迁移到跨模态模型，成果将开源。
TRAE SOLO移动端上线，手机也能干活了，随时随地Vibe Working
TRAE SOLO 移动端上线，实现手机、桌面、网页三端打通，全量开放。它让闪念能无缝接入工作流，还带来实时语音交互、飞书 CLI 接入、定时任务等功能，推动智能体走向新阶段。