「可验证计算」共找到 5117 篇相关文章
Meta首个Agent生图模型登场，空降竞技场第二
Meta超智能实验室推出图像生成模型Muse Image，引入智能体机制，能编写代码、网络搜索，有自主修正能力，支持算力扩展、多轮编辑与画面合成。还预览了Muse Video，两模型均与Meta产品深度整合。
刚刚，Anthropic发现Claude「类意识工作台」！神秘J空间藏着没说出口的想法
Anthropic新研究发现Claude内部存在特殊“J空间”，像静默心理工作区，浮现模型思考概念，不一定在回答里。此研究受关注，还揭示其特性、发现方式及应用，改变对Claude“心智”理解。
从超级个体到超级团队：AI 如何重塑企业软件生产力？｜2026 奇点智能产品大会专题前瞻
2026 奇点智能产品大会 7 月 17 - 18 日在北京举办，设「AI 驱动的软件生产力革命」专题，邀字节跳动、百度等团队实践者，探讨 AI 融入企业全价值链生产闭环，还准备了 AI 产品落地实战资料包。
这家公司，“杀死”了他们的 AI 应用
脸谱心智（FaceMind）虽未关停「叠叠社」AI 应用，但开始押注底层世界模型研究。其论文提出 Looped World Models，带来 100× 参数效率提升，强调 AI 可靠更深内部推演获得能力，指出只做应用不够。
首个长程Doc2Repo训练集！代码Agent不止修bug，开始造仓库
中国人民大学高瓴人工智能学院发布DeNovoSWE数据集，专注长程软件工程任务。它通过特定机制构造高质量数据，为代码智能体长程能力训练提供支持，实验显示能显著提升模型仓库生成能力。
拆解大模型几项核心操作背后的数学与 Infra 优化逻辑
文章拆解大模型核心操作（RMSNorm、Softmax、Causal Mask、Sampling）背后的数学与Infra优化逻辑。指出Infra优化是用数学等价变换或精度妥协换硬件利用率和推理速度，还介绍各操作原理、问题及优化方法。
更快更省！Vidu Q3硬核升级打响AI视频普惠第一枪 | 甲子光年
2026年AI视频行业内容产出增长迅猛，但成本上涨、生成慢等问题凸显。生数科技的Vidu Q3模型全面升级，生成速度提升5倍、价格降低，适配多场景，为AI视频普惠工业化提供范例。
前 DeepMind 研究员反思：评测，而非算力或数据，才是下一阶段的瓶颈
前 Google DeepMind 高级研究员 Lun Wang 在技术长文中指出，当前主流评测体系滞后，静态基准会“安静失效”。作者主张引入序参量，呼吁构建自演进评测，还为一线工程师提供了研发建议。
跨越落地鸿沟！清华长三院发布首个真实场景AI竞技场，实战谁是最佳？
2026年AI产业冰火两重天，清华长三角研究院发布RWAI开源框架与“真实场景AI竞技场”。RWAI还原真实交互，实践效率高。竞技场重实际效能，产生多个赛道“擂主”，降低产业AI落地试错成本。
兼顾效率、成本与能力，百灵开源旗舰推理模型 Ring-2.6-1T
5月15日，蚂蚁百灵开源旗舰级推理模型Ring-2.6-1T，权重文件上线Hugging Face、ModelScope平台。该模型有万亿参数，‘按需思考’，在代理执行、推理机制、训练范式三方面升级，评测表现出色。