「溯因推理」共找到 3180 篇相关文章
谷歌与OpenAI同获ICPC 2025金牌！GPT-5满分夺冠，Gemini攻破人类队伍都没解出的难题
ICPC是计算机程序设计领域的“奥林匹克”。今年GPT - 5满分、Gemini 2.5 Deep Think解10题，达金牌水准，超越人类强队，标志AI在算法竞赛“超车”，证明其具备临场推理等能力。
陶哲轩都惊了！o3首战「AI奥数」碾压夺冠，开源军团仅差5分狂追OpenAI
AI界奥数杯重启，OpenAI o3首参赛，算力拉满时以47分夺冠。测评显示在奥数数学推理上，商用和开源AI差距缩小，开源即将追上商用模型。报告完整测试结果已放出。
Meta将推出闭源模型，并砸数千亿美元打造超算集群
Meta正在酝酿大转向，扎克伯格宣布砸数千亿美元建超算集群，还考虑将强大AI模型Behemoth从开源转闭源。此前Meta一直高举开源大旗，如今因模型内部表现不佳等因素动摇开源信仰。
DeepSeek-R2！？神秘模型惊现竞技场，真实身份引网友猜测
大模型竞技场秘密上线神秘模型steve，对话中它称来自DeepSeek。网友热烈讨论其身份，有R2、V4等猜测。同时，因CEO不满及可能缺芯片，DeepSeek的R2再度延期。
OpenAI关停Sora！25个月从封神到退场
OpenAI宣布关停Sora，其曾风光无限，从2024年发布技术预览到2025年Sora 2上线火爆，后因国产模型突破、版权危机热度退潮。此举是战略调整，为筹备IPO聚焦商用与代码开发。Sora败退，AI视频进入‘中国时间’。
刚刚，马斯克开源基于 Grok 的 X 推荐算法：Transformer 接管亿级排序
X 工程团队宣布开源 X 推荐算法，该算法结合网络内外内容，用基于 Grok 的 Transformer 模型排名。马斯克曾在 2023 年开源部分算法，此次是近三年后再行动。算法开源或因平台此前分发机制受争议。
独家｜智元成立灵巧手子公司「临界点」，前腾讯Robotics X 熊坤带队
AI科技评论独家获悉，智元机器人拆分灵巧手业务成立新公司「临界点」并完成首轮融资，由熊坤带队。智元过去一年投资活跃，拆分或因技术门槛高、应用广，且自身有技术积累。
小米MiMo-V2-Flash开源：3090亿参数大模型能否改写AI行业规则!
2025年12月16日小米开源旗舰大模型MiMo - V2 - Flash，参数3090亿。它有独创‘按需激活’机制，推理成本低。采用MIT协议，价格亲民，构建全栈开源矩阵，在编程、长文本处理等领域表现出色。
为什么 LLM 搞不定复杂任务？ReAct 与 Reflexion 技术综述
文章指出大语言模型处理复杂任务存在事实幻觉、缺乏实时信息等问题。介绍ReAct将推理和行动结合，及Reflexion在其基础上添加评估反思机制，探讨两者结合优势，还提及未来发展方向。
刚刚，北大&360里程碑式突破！32B安全分碾压千亿巨兽
2025年9月23日，北大 - 360联合实验室发布TinyR1 - 32B模型，仅用20k数据微调就实现安全性能突破，兼顾推理与通用能力。还推出TinyR1 - Safety - 8B，且系列模型已全面开源。