「可验证推理」共找到 6130 篇相关文章
Transformer祖传设计遭暴击，COLM顶会三篇论文发难
COLM 2026上，三篇论文对Transformer关键技术发难。《Cracks in the Foundation》指出长上下文架构选择影响大；《Lost in Backpropagation》揭示输出投影层信息损耗严重；《When Fewer Layers Break More Chains》表明层剪枝影响长链推理。
王炸！模型越接越乱，2.9 万 Star OmniRoute 把 290+ 个 AI 供应商压成一个入口
现在接入AI工具麻烦，换模型要改配置，额度、接口等也有问题。OmniRoute是开源AI Gateway，将多家模型供应商统一到一个入口，支持290+ providers等，可解决接入混乱问题。
今天，OpenAI与微软正式「分手」！AGI卖身契作废
OpenAI与微软联合官宣重写合作协议，微软放弃独家销售权，AGI绑定条款失效，OpenAI可在多平台卖产品。但AWS部分企业客户反应冷淡，Anthropic发展势头猛，OpenAI错过黄金期。
52KB 的奇迹！NovaSR 开源：16kHz 秒变 48kHz，快出天际的音频超分模型！
在AI“巨物崇拜”盛行时，NovaSR开源带来“微型震撼”。它仅52KB，能将16kHz音频提至48kHz，单张A100达3600倍实时。可端侧运行，效率提升显著，有诸多应用场景。
牛，AI 写代码进入“编排时代”：Vibe Kanban 让多个 Agent 并行干活～～～
用Claude Code等写代码常需排队，Vibe Kanban思路直接，把AI coding agent当“同事”，用看板分配任务、并行跑多agent、可视化review改动。它亮点多，有多种使用场景，5分钟可上手。
RL是「点金石」还是「挖掘机」？CMU 用可控实验给出答案
卡耐基梅隆大学研究者构建基于GSM - Infinite的可控合成数据框架，分析预训练、中期训练和RL对模型推理泛化能力的影响，调和了RL有效性的不同观点，为改进训练策略提供基础。
重磅团队领衔，国内首部人工智能软硬件跨境数据标准启动编制！
随着AI技术发展，智能软硬件跨境数据流动频繁，数据合规问题凸显。国内首部《人工智能软硬件跨境数据合规指南》团体标准启动编制，以大厂经验为蓝本，提供可落地方案，解决实操难题。
深度解读｜从 LLM Wiki 到 Google OKF，如何重建企业 Agent 的可靠知识底座
文章深入解读 LLM Wiki 与 Google OKF，探讨如何重建企业 Agent 可靠知识底座。指出 RAG 检索有局限，Wiki 式体系可整理知识。介绍 LLM Wiki 构想、OKF 规范及构建符合 OKF 约定的 LLM Wiki 的方法。
别再傻傻做视频啦！！！52.1k Star Remotion，把 React 组件变成视频生产线，强到离谱～～
Remotion是用React程序化创建视频的开源项目，可把视频元素写成组件按时间线组合后渲染。它适合有批量生产需求者，不过做真人vlog等传统剪辑软件更顺手，且使用有license限制。
实测丨HeyGen开源HyperFrames，让AI Agent用HTML做视频
复杂视频剪辑工具对非专业人士和AI Agent不友好，HeyGen开源的HyperFrames是视频渲染框架，可让AI Agent用HTML做视频。该项目更新频繁，有HTML原生、为AI设计等特点，文末附项目链接。