「可验证计算」共找到 5172 篇相关文章
被“网暴”两个月后，Yann LeCun 携最新世界模型杀回！小扎千万美元激励抢人，Meta AI 内部权利之争开始
Meta推出新的“世界模型”V-JEPA 2，可提升AI物理推理能力。它是V-JEPA扩展版，在百万小时视频上训练，能让机器人完成任务。Meta还发布三项基准测试，且已开源。LeCun力挺，小扎为追进度亲自招人才。
字节Seed新作：模型合并如何改变大模型预训练范式
字节跳动Seed团队在arXiv发表论文，提出预训练模型平均（PMA）技术。该技术将模型合并引入预训练阶段，可提升性能、预测衰减阶段表现，还能解决训练问题。不过，高学习率影响和强化学习应用待研究。
见证历史！DeepSeek跃居全球第二AI实验室，R1登顶开源王座，R2全网催更
昨晚，DeepSeek官宣R1完成小版本升级，开启「深度思考」功能可体验。其R1-0528性能媲美o3和Gemini 2.5 Pro，还微调了8B模型。DeepSeek成全球第二大AI实验室和开源王者，网友催更R2。
LightLLM中DeepSeek V3/R1 Two MicroBatch Overlap 实现解析
文章围绕LightLLM中DeepSeek V3/R1的Two MicroBatch Overlap实现展开。介绍了该技术原理，通过拆分推理过程、精心设计执行顺序实现计算与通信重叠。还阐述了数据结构设计、预处理、核心执行流程，以及优化策略和配置启用方式。
微软最新财报：总营收701亿美元，云与AI业务增长强劲
微软发布2025财年第三季度财报，营收701亿美元，同比增13%。生产力与业务流程、智能云、个人计算等业务均有增长，云业务营收424亿美元，同比增20%。董事长称云与AI是关键，CFO表示业绩强劲。
Suno最强开源对手来了！ACE Studio和阶跃星辰联合开源了一款音乐模型，20秒即可生成4分钟神曲！
ACE Studio和阶跃星辰联合开源音乐模型ACE - Step，参数量3.5B，结合多种技术，支持多语言多风格音乐生成。20秒可生成4分钟歌曲，比传统模型快15倍，有多种功能亮点，还介绍了上手步骤和应用场景。
答案正确，推理就可靠吗？V-Rubrics用35万条细粒度准则细化多模态强化学习奖励
本文介绍南洋理工大学等机构研究团队提出的V-Rubrics方法，解决多模态推理中结果正确但推理错误的奖励分配误区，通过35万条细粒度准则拆分奖励计算，有效提升模型性能，论文已被EMNLP 2026主会接收，代码与数据已开源。
复旦上线音视频模型新裁判：一万组数据对齐人类审美
现有音视频生成领域的奖励模型多依赖局部指标打分，不符合人类整体审美感受，易让模型“刷高分”却未真正提升生成质量。复旦大学团队推出VA-Judger，基于一万组人类偏好数据训练，可从整体维度判断生成质量，对齐人类审美。
大模型之外，向量存储如何支撑 Agent 的检索链路
文章指出大模型负责理解、推理和生成，而Agent需获取外部数据等。向量存储可将数据转化为语义向量，在Agent执行任务时找回相关内容。文章探讨向量存储技术方向，分享做法，还演示阿里云两种Serverless向量存储用法。
ResNet作者任少卿机器人创业！公司注册就独角兽了
知名AI科学家任少卿创立物理AI基础模型和具身智能独立公司，估值达独角兽级别。他虽创业仍在职蔚来，蔚来战略投资并合作。任少卿是业内早押注世界模型实战派，其创业或可视为蔚来机器人试水。