「闭环验证」共找到 1200 篇相关文章
大模型外挂“三维物体知识库”来了，大幅增强机器人长程自主操作能力
现有视觉语言大模型（VLM）能让机器人理解指令，但在操作中缺三维空间知识。近日研究提出 RAM 框架，它像“三维物体知识库”，为 VLM 补充空间知识，经 14 项实验验证其操作能力，还探索了在铰接与柔性物体操作中的应用。
后AlphaFold时代的冷思考，AI制药的破与立 | GAIR live 028
雷峰网等组织“后AlphaFold时代AI制药的破与立”线上圆桌，三位学者探讨AI制药问题。指出算力难颠覆生命法则，数据有缺陷，还给出赛道选择建议，提及AI Agent重塑科研关系及中国AI制药优势与挑战。
阿里云Tair KVCache仿真分析：高精度的计算和缓存模拟设计与实现
阿里云Tair KVCache团队推出Tair - KVCache - HiSim，这是面向分布式多级KVCache管理的高保真LLM推理仿真分析工具。它能在通用CPU上高精度预测性能，支撑计算选型、存储规划和调度协同等决策，还介绍了其架构、组件、验证及性能评估等内容。
GAIR Paper 107｜高校联合腾讯发布 GameCraft-Bench：AI已能端到端开发游戏，Claude Opus 四成达到可玩水平
香港中文大学（深圳）等高校联合腾讯发布 GameCraft-Bench，旨在构建基于真实游戏引擎、产物完整可运行且能验证的 AI 游戏生成评测基准，解决现有基准难衡量端到端可玩性的问题，测试显示前沿模型在游戏生成上仍薄弱。
具身机器人能搞定超市盘点吗？全球七万门店正在给出答案
本文报道汉朔科技联合X-Era Lab（拓元智慧），依托汉朔全球近7万家门店的电子价签数字化底座，结合拓元自研原生世界动作模型VWA，探索具身智能在零售门店盘点、巡检、补货场景的商业化落地，验证具身智能能否从演示Demo转化为稳定运行的生产级系统。
从100行代码到AI高手：Karpathy留给普通人的硬核AI进阶路线
Karpathy 开源的 7 个极简项目串起完整 AI 进阶路线，从 100 行代码实现自动求导，到几十美元复现类 ChatGPT 模型及自主科研智能体。
1500万美元！OpenAI联手Anthropic，请数学家给AI「验卷」
OpenAI与Anthropic联合Simons基金会承诺1500万美元资金与资源，资助数学家检验AI成果。此前OpenAI放出722篇模型手稿，次日就因符号错误撤回3篇。
耗时4小时、调用工具1492次：首次能操作电脑的腾讯混元Hy4交出了什么？｜甲子光年
腾讯发布混元Hy4正式版，首次加入视觉理解与电脑操作能力并计划开源权重；官方坦承多数跑分仍落后于顶尖闭源模型，但在内部科研评测中位居开源第一。
混合架构用线性注意力还是滑窗注意力？复旦OpenMOSS团队：我全都要！
复旦大学邱锡鹏团队系统研究了混合模型在长上下文下的表现，提出滑窗线性注意力策略，使模型在评测中实现 16 倍免训练外推 并保持 100% 准确率。
LeCun证明了：规模从未起作用，下一token路线效率低
LeCun 团队发文在数学上论证了跨模态表征收敛的柏拉图假说；其提出的好视图 JEPA 方案使1.09亿参数模型表征对齐度超过72B大模型，样本效率最高提升42倍。