「内部验证器」共找到 1343 篇相关文章
不只DeepSeek，阶跃等开源JetSpec：大模型解码提速近10倍
近期，DeepSeek 推出 DSpark，阶跃星辰提出 JetSpec，都关注大模型推理效率。DSpark 关注验证效率，JetSpec 提高有效 Token 生成率。二者切入点不同，但都显示大模型行业进入新阶段，推理效率成 Agent 落地基础变量。
开源「活人感写作.skill」，只为帮你写出没有AI味的文字。
作者开源活人感写作.skill，旨在帮大家写出无AI味文字。它适配多种模型和产品，鼓励用真实经历创作，除了去除辞章端AI口癖，还会激发思想、验证事实，让大家保留自我。
起底智元机器人，谁在推动一个庞然大物向前
文章揭秘智元机器人掌舵人，介绍其发展历程。智元成立三年发展迅猛，早期靠舒远春找钱、彭志辉出名，邓泰华攒局。后有姚卯青等助力产品落地量产，技术路线转变引人员流动，还进行内部改革、转变销售模式。
CUTLASS 笔记 (2)：混合精度 GEMM kernel
文章介绍实现支持不同精度的 GEMM 算子，解析精度转换技术细节，还介绍根据 PTX 文档实现自定义 FP8 精度的 GEMM kernel，包括揭开 MMA Atom 面纱、分析 TV 与 MN Layout 等，最后完成精度验证。
腾讯开源智能体构建框架
腾讯开源智能体构建框架 Youtu-Agent，灵活高性能，验证性能出色，开源友好成本低。有自动智能体生成等亮点，适用于不同用户群体，涵盖研究、开发等场景，还介绍核心概念，附项目地址。
6个Claude Code神作，Anthropic亲选
Claude 官方晒出一批来自普通用户的 Claude Code 「神作」，覆盖实用工具、可视化创意和趣味应用等领域，如人脸涂鸦、医学影像查看器、代码库动态图等。这些项目反映出 Claude Code 正走出传统编程场景。
Agent 看板门禁：构建 Agent Team 的 Harness 工程防御体系
文章以 Routa 看板项目卡为例，阐述 Agent Team 的 Harness 工程防御体系。指出任务完成不等于交付结束，强调 Gate First 理念，即先确认可验证状态再推进协作，还提及运行时边界等重要概念。
腾讯调整大模型组织架构：姚顺雨加盟，向总裁刘炽平汇报
腾讯宣布大模型组织架构调整，姚顺雨加盟。他是大模型Agent方向青年研究者，将任“CEO/总裁办公室”首席AI科学家等职。腾讯强化研发体系，混元大模型成果多，AI产品有竞争力，内部推进AI变革。
告别随机性：Thinking Machines Lab如何实现了LLM推理的完全确定性？
文章指出LLM推理非确定性根源并非GPU并发和浮点非结合性，而是批大小变化致核函数非不变性。作者提出实现批不变操作的策略，实验验证有效，还阐述其对训练、系统可靠性等方面的意义。
ICRA 2025｜通用多机器人长时任务规划框架破解任务分配难题，成功率+105%、效率+36%
2025年5月，美两校联合团队在ICRA 2025发布LaMMA - P。它融合大模型与PDDL规划器，解决异构多机器人长时任务分配难题，在新基准数据集上，相比SMART - LLM，任务成功率提高105%，执行效率提升36%。