「推理之王」共找到 2702 篇相关文章
老黄入局吃龙虾！英伟达发布最强开源Agent推理模型
英伟达发布并开源120B参数的MoE模型Nemotron 3 Super，在多项测试中表现出色。它原生支持100万token上下文，吞吐量大幅提升。英伟达还计划五年投260亿美元构建开源AI模型，开放全参数权重等。
微软 & UT Dallas 联手揭秘：从 SFT 到 RL 的进阶之路
微软与 UT Dallas 合作论文揭秘大模型做漏洞检测从 SFT 到 RL 的后训练流程，构建 C/C++ 漏洞数据集跑通全流程，总结六大‘避坑’指南，还开源整套框架、数据集和模型。
西湖大学提出RDPO强化学习框架，实现扩散模型并行推理加速
扩散模型“顺序去噪”特性成速度提升瓶颈。西湖大学AGI Lab提出RDPO框架，不必改动模型本身，优化其“采样导航系统”，在多基准测试中取得领先图像生成效果，解决加速问题并提供RLHF对齐新范式。
AAAI 2026 Oral｜LENS：基于统一强化推理的分割大模型
文本提示图像分割技术有战略意义，但基于监督式微调的方法有泛化能力瓶颈。为此引入LENS框架，采用强化学习机制，还介绍其架构、奖励机制，该框架在测试中表现优异，代码已开源。
小冰之父李笛智能体创业，公司取名Nextie！陆奇是股东
12月7日陆奇2025秋季「奇绩创坛路演日」，李笛压轴登场公开新创业公司明日新程（Nextie）。新团队由小冰核心初创团队构成，正计划启动千万美元融资，陆奇旗下奇绩是股东之一。公司想通过群体智能让AI有「认知」，产品预计明年1月7日上线。
「一页纸」吃透产业链之：人形机器人，Figure链与特斯拉Optimus链
文章聚焦人形机器人，分析其产业处于量产落地拐点，2025 - 2026年是关键期。介绍产业链上中下游情况，指出面临的软硬件挑战，还提及市场规模、主要参与者，重点关注Figure与特斯拉Optimus产业链。
模仿人类推理修正过程，阶跃星辰提出形式化证明新范式 | 开源
阶跃星辰发布并开源形式化定理证明大模型 StepFun-Prover-Preview-7B 和 32B。采用两阶段监督微调、工具集成强化学习及 RL 与 SFT 迭代循环优化等策略，在基准测试集表现佳，还展示多个证明案例。
此芯科技亮相世界人工智能大会，以 AI 之力勾勒美好未来
2025年7月26日，世界人工智能大会在上海启幕，此芯科技携多款搭载此芯P1的展品亮相，展示端侧AI前沿成果。此芯P1芯片性能强劲，已产品化。展会展示三大应用场景，呈现其多场景应用能力。
突发，美国EDA三巨头解禁！国产芯片设计迎喘息之机
美商务部取消向中国销售EDA产品申请许可证要求，西门子、新思、Cadence恢复对中国服务。此前美国限制致中国芯片设计产业受阻，虽此次放宽带来喘息，但国产EDA发展仍面临技术、资金等难题。
腾讯Kuikly框架鸿蒙版正式开源 —— 揭秘卓越性能适配之旅
腾讯将广泛使用的跨端开发框架Kuikly鸿蒙版正式开源，已接入多款业务。它有高性能、动态化特点，适配中解决渲染、文本性能等问题，还优化调试效率，发布Compose DSL Beta版。