「推理严谨性」共找到 2492 篇相关文章
Attention Sink产生的起点？清华&美团首次揭秘MoE LLM中的超级专家机制
清华和美团研究聚焦MoE LLM，首次发现超级专家子集。通过多模型实证分析，揭示其分布规律、重要性及对注意力机制的影响，开发识别工具，为模型压缩提供新方向。
独家丨盛大挖角代季峰，筹建新 AGI 公司对标 DeepSeek
AI 科技评论独家消息，盛大网络挖角清华副教授代季峰筹备新 AGI 公司，对标 DeepSeek，正招募核心团队。代季峰学术成果颇丰，项目或融合脑科学与 AI 架构，“旧互联网 + 学术”组合有挑战也值得期待。
字节Seed数学新模型，SOTA了
字节发布全新复杂数学解决模型Seed-Prover，全面超越谷歌AlphaGeometry2，在MiniF2F数据集达100%正确率。它采用引理式证明，集成几何推理引擎Seed-Geometry，还展现了卓越泛化能力。
国内首个免费提供的深度研究，反而有市面上最好的体验
秘塔深度研究（https://metaso.cn/）上线，是首个将深度研究作免费基础功能的产品。它在算法、交互等多方面优化，降低成本、保障准确，还创新交互形式，搜索结果清晰有条理，体验佳。
打破大模型编程「数据污染」与「能力虚胖」困境，Meituan-M17团队构建新一代AI编程评测新标准——OIBench
当前大语言模型编程能力评估体系问题多，如评测集饱和、数据泄漏等。Meituan - M17团队推出OIBench数据集，对18个主流大模型评测，揭示模型真实水平，还将举办人机协作编程竞赛。
垂直赛道 Agent 闷声发财指南：如何实现一年超千万营收？
本文围绕垂直赛道的2B Agent展开，分享了语核科技创始人的产品理念与经验，探讨了如何找到有价值的场景、构建高价值闭环。还介绍了客户的应用情况、对Agent的看法及选型考量，强调其商业价值与落地挑战。
媲美DeepSeek！腾讯开源新版混元模型：AI Agent强化，超30种智能体指令
腾讯开源混元大模型最新版本Hunyuan - A13B，为专家混合模型，有800亿参数，130亿激活。支持快慢思考模式，针对AI Agent强化，设计超30种智能体指令。测试成绩超DeepSeek - R1等，架构和训练有优化。
Claude Code 通过流式 HTTP 获得对远程 MCP 服务器的支持
Anthropic在Claude Code中引入对连接远程MCP服务器的支持，开发人员无需手动本地服务器设置就能集成外部工具和资源，还支持通过HTTP或SSE的OAuth 2.0进行身份验证，不同人对此功能看法不一。
谷歌王炸开源编程 Agent：Gemini 2.5 Pro 塞进命令行，每天1000 次免费调用，重新定义 CLI 开发体验
谷歌正式开源 AI 编程智能体 Gemini CLI，它是全能终端 Copilot，免费且开源，免费额度高，不止编程，还原生集成。能满足开发者在 CLI 中对集成式 AI 辅助的需求，带来全新开发体验。
OpenAI连丢4位大将！Ilya合作者/o1核心贡献者加入Meta，苏黎世三人组回应跳槽：集体做出的选择
OpenAI连失4员大将，Trapit Bansal跳槽Meta，继续研究推理大模型；苏黎世三人组Lucas Beyer等也加入Meta。此外，Meta还在洽谈收购语音AI初创公司PlayAI，连续布局语音AI。