「可验证推理」共找到 6159 篇相关文章
首个长程Doc2Repo训练集！代码Agent不止修bug，开始造仓库
中国人民大学高瓴人工智能学院发布DeNovoSWE数据集，专注长程软件工程任务。它通过特定机制构造高质量数据，为代码智能体长程能力训练提供支持，实验显示能显著提升模型仓库生成能力。
零GPU，世界第一超算！深圳制造改写游戏规则了
中山大学教授带队、深圳制造的灵晟超算登顶全球超算TOP500榜单，零GPU采用纯CPU架构，全链路自研。图灵奖得主评价其为“AI4S新型架构的希望之光”，还在多领域展开应用。
更快更省！Vidu Q3硬核升级打响AI视频普惠第一枪 | 甲子光年
2026年AI视频行业内容产出增长迅猛，但成本上涨、生成慢等问题凸显。生数科技的Vidu Q3模型全面升级，生成速度提升5倍、价格降低，适配多场景，为AI视频普惠工业化提供范例。
前 DeepMind 研究员反思：评测，而非算力或数据，才是下一阶段的瓶颈
前 Google DeepMind 高级研究员 Lun Wang 在技术长文中指出，当前主流评测体系滞后，静态基准会“安静失效”。作者主张引入序参量，呼吁构建自演进评测，还为一线工程师提供了研发建议。
跨越落地鸿沟！清华长三院发布首个真实场景AI竞技场，实战谁是最佳？
2026年AI产业冰火两重天，清华长三角研究院发布RWAI开源框架与“真实场景AI竞技场”。RWAI还原真实交互，实践效率高。竞技场重实际效能，产生多个赛道“擂主”，降低产业AI落地试错成本。
重生之我在AI时代当老板：让一群Agent互相PUA
MiniMax推出新Agent Mavis，可组建团队完成任务。其Agent Team分工明确，能解决单Agent在长程任务中的痛点，还将开源。此外，TokenPlan和Agent Plan合并，性价比提升。
jina-embeddings-v5-omni 发布！全模态向量小模型
Jina AI发布`jina-embeddings-v5-omni`，将`v5-text`能力拓展到多模态。`v5-omni-small`参数量小却追平LCO - 7B，在多模态评测中表现优异，但视频是短板。其采用‘冻结 + 投影’架构，训练快、省显存。
波士顿动力泯然众人了，高管集体出走，机器人“量产”只能造4台
波士顿动力放出新版Atlas机器人新demo，其完成高难度体操动作。此为2026年初CES展示的量产版，主打企业级应用。但上市前夕高管集体出走，且Altas月产量仅4台，引发对其前景的质疑。
ICLR 2026 | 救命，手机Live Photo重选封面终于不糊了
vivo 蓝图实验室与南开大学联合发布研究，被 ICLR 2026 接收。该研究定义了 Live Photo 重选封面帧修复任务，提出 LiveMoments 方案，利用原始封面帧作参考提升画质，实验表现优，应用场景广。
“具身智能始祖公司”破产后卷土重来，这次团队做了一个会撒娇的毛茸机器人
具身智能始祖公司创始人科林·安格尔在公司破产重整后推出新公司 Familiar Machines & Magic，首款产品 Familiar 是仿生宠物机器人，有情感智能，能本地处理信息，团队希望它用于监护老人等场景。