「可验证过程奖励」共找到 1293 篇相关文章
陶哲轩：AI 已经把想法成本降到几乎为0了...
著名数学家陶哲轩在与播客主持人Dwarkesh Patel的对谈中分享使用AI一年后的观点，认为AI已将想法生成成本降至几乎为零，但验证和评估成新瓶颈，还探讨其对数学研究的影响及未来发展。
AI 播客原理解析
作者分享用豆包AI播客将英文长文转成高质量播客的体验，解析AI把文章变真人对话式语音播客的原理，涉及提示词工程和文字转语音技术，还介绍提示词写作与优化过程及长文处理方法。
Kotoko AI 乔海鑫：C.Al 的故事已经结束，我们用 OC 链接 05后
本文是对Kotoko AI创始人乔海鑫的访谈。他认为OC市场潜力大，Gacha Life验证了其市场需求。Bside是融合UGC与游戏化玩法的OC社交互动平台，6月将在Steam新品节上线Demo，7月开启Early Access。乔海鑫还探讨了OC商业化、AI应用等问题。
刚刚，1122人干出“国产GPU”第一股，摩尔线程成功IPO：开盘股价疯涨，市值破2800亿！专家：国产AI芯片商业化进入关键期
今日摩尔线程在科创板上市，发行价114.28元，截至发稿股价涨至620元/股，市值破2800亿。它成立于2020年，核心团队多有英伟达背景，研发投入高，已推出四代GPU架构和产品，专家称国产GPU进入商业化验证阶段。
OpenAI发长文自曝家丑：搞砸了GPT-4o更新，模型“拍马屁”复盘与总结
OpenAI官网发布长文，详细拆解了一次失败的GPT-4o模型更新。此次更新使模型变得“谄媚”，OpenAI解释了原因，包括奖励信号失衡等。还分析了部署前评审流程失效的因素，并表示从中学到诸多经验教训，将修改评审流程等。
预算有限、技术空白：最刁钻的AI用户，是中小企业老板
2026年大模型在中小企业办公环境中应用不佳，工具与场景脱节。华为云推出专为中小企业的Flexus AI智能体平台，它依托自研模型，在多场景准确率领先，已在多行业验证效果，还能辅助内容创作。
SGLang JIT Kernel 介绍
文章介绍SGLang JIT Kernel，此前开发CUDA Kernel流程繁琐、编译时间长，现基于TVM - FFI探索JIT开发加速迭代。文中梳理其机制、抽象及新增Kernel流程，还给出环境设置、目录结构等内容，并以实例说明开发过程。
PyTorch博客翻译 Accelerating Generative AI Part III: Diffusion, Fast
这篇博客介绍用纯原生 PyTorch 技术将文本到图像的 diffusion 模型（特别是 Stable Diffusion XL）推理速度提升高达 3 倍的方法，讲解五种优化技术，还验证了方法在其他 diffusion 模型上的通用性和有效性。
手把手带你构建第一个业务本体（Ontology）：为 Agent 绘制业务地图。
文章介绍为企业AI Agent构建业务本体，阐述Agent需本体的原因，讲解TBox与ABox概念。给出构建流程，介绍RDF/OWL标准及Protégé等工具，实战构建‘订单加急交付’本体并验证，还演示Python程序推理，展望本体应用场景。
腾讯AI Lab首创RL框架Parallel-R1，教大模型学会「并行思维」
腾讯AI Lab等机构研究者首创Parallel - R1框架，通过强化学习让大模型掌握并行思维。它解决了RL训练的冷启动和奖励设计难题，在多数学基准上提升准确率，还揭示模型思维策略变化及并行思维的‘脚手架’作用。