「可验证推理」共找到 6179 篇相关文章
OpenAI 迈出关键一步：LLM 黑盒不再是盲盒
OpenAI开源新研究成果，提出全新范式，训练权重稀疏的Transformer模型以提取人类可理解的电路。该方法分三步，关键结果显示稀疏模型优势多，但也存在训练成本高、规模有限等局限，还给出两条未来路线。
2.1K star！在终端里丝滑写Markdown，这款平替神器绝了！
Glow是Charm团队开发的命令行Markdown阅读器，解决文档与命令行割裂问题。它功能丰富，支持多平台安装，架构清晰易扩展，适用于开发、运维等场景，相比同类工具优势明显。
李飞飞3D世界模型公测，网友已经玩疯了
今日李飞飞创立的World Lab推出全新3D世界生成模型Marble并开启公测。普通人能靠文本等生成专属3D世界，还能在VR体验。它功能强大，未来将重点发力交互性。
国内版的 NotebookLM 来了，甚至更强
谷歌的AI笔记软件NotebookLM虽好但国内使用不便，秘塔AI搜索的「专题」功能升级，堪称国内版NotebookLM，还在人设、协作等方面创新，更贴合中文用户习惯，可能成国内AI搜索新阶段标志。
强化学习 AI 系统的设计实现及未来发展
本文是阿里巴巴算法专家曹宇在 AICon 2025 北京站的分享，结合算法实践展示 RL 系统现状及发展脉络，探讨未来超大规模 RL 发展方向，涉及理论基础、业界实践、开源生态及社区共建。
大小模型协同架构在金融智能投顾中的应用与挑战
本文整理自北银金科高级算法专家尹辰轩分享，介绍大小模型协同架构下的大模型投顾方案，能解决幻觉问题、优化回答深度。还提到 12 月 19 - 20 日 AICon 北京站聚焦多热门方向。
微软开源智能呼叫中心，完全替代人工客服
微软开源基于Azure和OpenAI GPT的智能呼叫中心解决方案，可完全替代人工客服。它功能强大，支持多语言、实时流式对话等，还能定制。文章详细介绍了部署步骤、高级用法等内容。
MCP可能并不必须！
在大家将MCP奉为Agent工具协议标准时，Mario Zechner博文提出不同观点，认为很多情况下无需MCP。作者结合自身经验认同此观点，分析了MCP现实困境，介绍简单替代方案及优势。
藏师傅 Kimi K2 Thinking 首测！教你用 Kimi 编程全家桶
本文首发测评藏师傅 Kimi K2 Thinking，介绍 Kimi 编程全家桶。K2 Thinking 有 Agent 化等多方面升级，还推出 Kimi CLI 工具与 KFC 套餐。作者展示全家桶使用方法并多维度测试，肯定其表现，赞 Kimi 战略清醒务实有远见。
EMNLP 2025 Oral｜检索增强 + 两阶段微调：剑桥提出有害内容检测大模型RA-HMD，性能SOTA
多模态有害信息检测是网络内容安全治理的重难点，多模态模型在有害内容检测上有瓶颈。剑桥大学团队提出RA - HMD框架，通过两阶段微调与结构增强，结合检索增强，提升检测性能，被EMNLP 2025接收。