11月16日,月之暗面旗下Kimi发布新一代数学推理模型k0-math。基准测试显示,Kimi k0-math数学能力可对标OpenAI o1系列可公开使用的两个模型:o1-mini和o1-preview。月之暗面创始人杨植麟认为,最适合让AI去锻炼思考能力的场景就是数学场景。(第一财经记者 吕倩)
推理模型“擂台战”开启 OpenAI、谷歌争先发布 11股获融资净买入超1亿元
人工智能的发展正在推动科技与学科的交叉融合,科学研究的范式正在发生深刻的变化。
“目前大模型的头部机构都有研发和发布推理模型的计划,因为推理能力是大模型智能水平的重要体现。”
“尤其是在精确性等指标上,表现仍有不足。”
这一突破表明具有先进数学推理能力的通用人工智能 (AGI) 有潜力开启科学技术新领域。