「溯因推理」共找到 3190 篇相关文章
Attention Sink产生的起点？清华&美团首次揭秘MoE LLM中的超级专家机制
清华和美团研究聚焦MoE LLM，首次发现超级专家子集。通过多模型实证分析，揭示其分布规律、重要性及对注意力机制的影响，开发识别工具，为模型压缩提供新方向。
我给滴滴AI提了个建议，结果他们做得超出了我的想象
作者因母亲用打车软件费劲，基于地图MCP构想长辈出行模式。滴滴AI看到后联系作者，三个月后拿出成果，不仅实现作者设想，还完善专车场景、做到全场景覆盖，体验很棒。
字节Seed数学新模型，SOTA了
字节发布全新复杂数学解决模型Seed-Prover，全面超越谷歌AlphaGeometry2，在MiniF2F数据集达100%正确率。它采用引理式证明，集成几何推理引擎Seed-Geometry，还展现了卓越泛化能力。
一篇自进化Agents技术最新综述：迈向人工超级智能
LLMs有局限性，研究者关注自进化Agents系统，其范式转变为人工超级智能铺路。文章回顾自进化智能体研究进展，围绕‘什么要进化’‘何时进化’‘如何进化’展开，提供理论和实践指导。
Windsurf惊魂96小时！AI闪电并购战：谷歌天价挖人，Cognition逆袭接盘
7月，谷歌以翻倍薪资和24亿美金许可协议挖走Windsurf 40多位顶尖人才。周一，Cognition宣布收购其剩余资产和200来号员工。此前OpenAI收购谈崩，Windsurf还遇模型使用问题。
打破大模型编程「数据污染」与「能力虚胖」困境，Meituan-M17团队构建新一代AI编程评测新标准——OIBench
当前大语言模型编程能力评估体系问题多，如评测集饱和、数据泄漏等。Meituan - M17团队推出OIBench数据集，对18个主流大模型评测，揭示模型真实水平，还将举办人机协作编程竞赛。
Chrome危！AI浏览器新品大爆发，OpenAI都来抢饭碗
AI时代浏览器成兵家必争之地。英伟达投资的Perplexity推出AI浏览器Comet，OpenAI也将发布。老牌谷歌Chrome难撼动，新势力各有亮点，国内市场争夺也愈发胶着。
个人开发者时代崛起！22岁印度开发者搞的业余项目被马斯克Groq看上，如今用户破6万
22岁孟买开发者Zaid Mukaddam开发开源AI搜索引擎Scira，定位为“Perplexity替代品”。项目初期走红，后因流量激增成本上升，获Groq等公司支持。如今用户破6万，其成功激励更多开发者。
媲美DeepSeek！腾讯开源新版混元模型：AI Agent强化，超30种智能体指令
腾讯开源混元大模型最新版本Hunyuan - A13B，为专家混合模型，有800亿参数，130亿激活。支持快慢思考模式，针对AI Agent强化，设计超30种智能体指令。测试成绩超DeepSeek - R1等，架构和训练有优化。
OpenAI连丢4位大将！Ilya合作者/o1核心贡献者加入Meta，苏黎世三人组回应跳槽：集体做出的选择
OpenAI连失4员大将，Trapit Bansal跳槽Meta，继续研究推理大模型；苏黎世三人组Lucas Beyer等也加入Meta。此外，Meta还在洽谈收购语音AI初创公司PlayAI，连续布局语音AI。