「可验证推理」共找到 6130 篇相关文章
谷歌开源新Deep Research范式，教Agent学会真正的思考。
周末谷歌发博客讲Deep Research，它重新定义一些Agent常见范式。现在多数Agent模式缺全局观，谷歌让AI先打草稿再迭代修正。新框架含技巧，在多任务上超OpenAI，已可试用。
Claude Opus 4.1火速发布！坐稳编程之王，官方：马上还有大更新
Claude Opus 4.1正式发布，编程性能超Claude Opus 4及竞品，拿下SOTA。在Agent任务和推理方面升级，定价不变。官方将在几周内大规模改进。Anthropic借客户背书，暗秀关系，文风受开发者喜爱。
我去，还能这么玩？AI新宠DocExt：纯本地文档抽取，开源免费还无依赖！你还在为OCR头疼吗？
DocExt 是 Nanonets 开源项目，为全流程无 OCR、零云依赖的本地文档结构化提取工具，适用于多种文档类型，支持字段与表格识别。它零 OCR 误差小、可本地部署，还能灵活接入模型。
Meta Shuffling的MoE Grouped GEMM kernel benchmark
作者拷贝fbgemm开源的moe grouped gemm kernel，修复小bug后与SGLang的Grouped GEMM Triton Kernel对比，结果显示fbgemm在MoE模型上性能提升显著，可应用到SGLang的ep - moe的grouped gemm kernel中。
AI 编程越来越厉害了，我要怎么提升自己的系统架构能力？
文章指出 AI 写代码能力提升，对程序员系统架构能力要求更高且难被替代。介绍系统设计概念，分析做系统设计的难点，给出新人提升系统设计能力的方法，还说明 AI 可辅助提升该能力。
3D多光照场景渲染！GRGS带来真实感重光照
哈工大提出通用3D高斯框架GRGS，用于多样光照下高保真人体新视角合成。它采用前馈监督策略，支持可编辑光照，结合物理着色与神经网络推断，合成逼真效果，但处理透明材质和纤薄结构欠佳。
“同事.skill”不用写了，爱马仕 Hermes 主动“蒸馏”你，还让开发者集体抛弃 “龙虾”？！
近日，Hermes Agent 在国内爆火，获超 3.9 万 stars。它是单 Agent 架构，核心是学习循环，记忆分层管理。其网关功能强大，状态可跨会话留存。背后的 Nous Research 目标是打造抗衡 OpenAI 的开源模型，还引入区块链解决算力问题。
开源「活人感写作.skill」，只为帮你写出没有AI味的文字。
作者开源活人感写作.skill，旨在帮大家写出无AI味文字。它适配多种模型和产品，鼓励用真实经历创作，除了去除辞章端AI口癖，还会激发思想、验证事实，让大家保留自我。
百度想明白了：旧供给到达极限了
当下企业应用AI时，Token成本高、推理效率低问题凸显。百度Create大会释放旧供给达极限信号，推出新全栈AI云，含Agent Infra和AI Infra两层架构，多个场景应用初显成效。
年轻人的第一个爱马仕
AI圈的Hermes是Nous Research开发的开源Agent框架，GitHub星数超35000。作者写76页《Hermes Agent从入门到精通》，介绍其设计思路、使用方法等，中英文版可在GitHub免费下载。