「人在循环中」共找到 8921 篇相关文章
从平面几何出发：形式化验证如何驱动MLLM的推理能力跃迁
多模态大语言模型在复杂数学与几何推理中有缺陷，现有训练方式让模型难有鲁棒推理能力。上海交大等团队提出“以形式化增强非形式化推理”方案，构建完整闭环，提升模型推理及泛化能力。
mcpx？要来拯救mcp！让工具调用不再吃掉你的上下文
MCP传统集成方式需在对话前加载所有工具定义，易使上下文溢出。开发者cs50victor基于mcp - cli构建mcpx，按需发现工具，大幅节省token，提升准确率，适合本地部署，虽有额外推理调用，但利大于弊。
刚刚，Cursor又分享了数百Agent并发协作的最佳实践
Cursor分享数百Agent并发协作最佳实践，讲述单个Agent局限，介绍从多方面探索协同方法，如规划者与执行者分工，还展示多个实验成果，总结模型选择等经验，指出多智能体协同仍待优化。
刚刚，阿里园区被奶茶包围，都是千问点的！西溪叫不动外卖了
2026年1月15日千问App发布会，吴嘉演示用千问点奶茶。千问定位“生活助手”，接入阿里业务，有400余项办事能力，月活破1亿。虽有亮点，但也存在推荐不接地气等问题。
中学生就能看懂：从零开始理解LLM内部原理【十二】｜位置嵌入 - 给模型装上"GPS"
文章指出Transformer对词顺序不敏感，引出位置嵌入概念。介绍经典的函数编码、可学习位置嵌入法及新主流RoPE，还提及为让模型处理长文本，在RoPE基础上用PI和YaRN等扩窗技巧。
480万人围观的Claude code实战使用指南进阶来了：一文讲清Skill，子代理和MCP
Eyad发布Claude Code开发实战进阶篇，深入剖析其底层系统的Skills、Subagents和MCP connectors三大核心能力。通过对比，突出Claude Code在上下文窗口上的优势，还介绍了各功能用法及复合效应。
顶级商战往往采用最朴素的方式：你叫「微软」，我叫「巨硬」
2026决战前夜，AI成抢夺电力与地皮的「物理战争」。谷歌要5年内算力拉升1000倍，抠能效；马斯克自建电厂、买仓库，手搓算力中心，还在名字上挑衅微软，不过也引发环保抗议。
大模型中标TOP10里的黑马：中关村科金的应用攻坚之道
2025 年中国大模型产业招投标市场爆发，应用类项目占比近六成。中关村科金以 23 个中标项目入围应用类 TOP10，在多行业落地成果显著。2026 年行业将聚焦 ROI、数据壁垒等方面。
AI工程vs传统工程 —「道法术」中的变与不变
本文从“道、法、术”三个层面对比AI工程与传统软件工程异同，指出AI工程是在传统工程基础上，为应对大模型不确定性进行的架构升级，还结合淘宝AI搜索实践提出AI工程应对策略。
DeepSeek V4即将发布？先读懂梁文峰这份86页的技术底牌
据报道，DeepSeek计划2月中旬发布V4，此前将R1论文从22页扩充到86页。新增内容涵盖训练细节、成本、数据配方等，还公开失败案例、基础设施和安全报告，或为V4铺路并回应质疑。