Kimi新模型数学反超DeepSeek!北大校友刘征瀛等领衔 2025年7月11日23时 作者 量子位 Kimi新模型在定理证明任务上超越了DeepSeek,采用TTRL搜索框架和错误修复机制,通过率显著提高。该模型由Numina组织与Kimi团队联合打造,并计划在未来优化引理的筛选策略。