「AI 推理」共找到 11104 篇相关文章
告别「一条路走到黑」：通过自我纠错，打造更聪明的Search Agent
为解决知识实时性和推理复杂性挑战，搜索智能体（Search Agent）应运而生，但缺乏自我纠错能力。腾讯联合清华提出 ReSeek 框架，引入动态自我修正机制，还构建 FictionalHot 数据集评估，实验效果良好。
横扫海外的阿里大模型，有自己的APP了，叫“千问”
11月17日，阿里巴巴上线“千问App”，将Qwen系列模型装进面向C端用户的独立App。它设计极简，功能强大，免费使用。主模型为Qwen3，问答结构化，多模态交互方便，还有翻译等特色功能，背后是强大的Qwen模型生态。
谷歌DeepMind最新论文，刚刚登上了Nature！揭秘IMO最强数学模型
谷歌DeepMind的AlphaProof在IMO获接近金牌的银牌成绩。它结合大模型直觉、强化学习和Lean形式化证明解题，虽在速度、泛化和读题上有局限，但开启了人类数学家与AI协作新阶段。
清华团队：1.5B 模型新基线！用「最笨」的 RL 配方达到顶尖性能
清华团队用两个 1.5B 模型证明，用最基础的 RL 配方可达到小模型数学推理能力 SOTA。单阶段训练加固定超参数实现 SOTA 性能且省一半算力，训练曲线还很平滑。
独家丨智驾老将佟显乔再创业，聚焦机器人数据方向
AI科技评论独家获悉，前卡睿智行创始人佟显乔2025年5月创立深圳极数迭代科技有限公司，聚焦机器人数据。该公司另一股东关联港中深，这是佟显乔与港中深在该领域的深度合作。
WhisperLiveKit：本地同步实时语音转文字
实时语音转文字难题待解，现有方案各有缺陷。WhisperLiveKit项目用前沿同步语音技术解决问题，支持多语言同步翻译、实时说话人识别等，还介绍了安装、部署方式，不过效果受语言和模型等因素影响。
国产模型新盛况！王座易主：Kimi K2 Thinking开源超闭源
月之暗面开源 Kimi K2 Thinking 模型，多方面性能超 GPT - 5 等闭源模型。它擅长多轮调用工具和持续思考，在多项基准测试达 SOTA 水平，成本低且授权宽松，引发全网讨论。
离GPT-5最近的一次！中国1万亿参数开源巨兽突然爆火
月之暗面发布全新模型Kimi K2 Thinking，自称开源「思考Agent模型」。它参数约1万亿，性能亮眼，碾压GPT - 5等，能连续调200 - 300次工具，已上线并开源API和权重，开发者可试用。
NeurIPS 2025 Spotlight | 你刷到的视频是真的么？用物理规律拆穿Sora谎言
随着生成式AI发展，合成视频以假乱真，现有检测方法难泛化。本文介绍发表于NeurIPS 2025的文章，提出NSG统计量和NSG - VD检测方法，对未知生成范式检测效果好，实验表现超越现有方法。
王兴兴稚晖君抢第一
人形机器人行业风口正盛，宇树科技与智元机器人进入上市冲刺阶段，展开“人形机器人第一股”争夺。背后是王兴兴、稚晖君两位90后创业者的较量，双方在产品、融资、上市节奏等方面竞争激烈。