11月16日，中国通用人工智能公司月之暗面发布了其首款推理能力强化的数学大模型k0-math，旨在对标OpenAI的o1系列模型。k0-math在MATH基准测试中得分93.8，超过o1-mini的90分和o1-preview的85.5分，仅次于o1完全版的94.8分。然而，k0-math尚不能解决复杂的几何图形问题，且在处理简单数学问题时可能出现“过度思考”的现象。月之暗面创始人杨植麟强调，未来将通过改进奖励机制来优化这一问题。月之暗面目前估值超过30亿美元，其核心产品Kimi智能助手已拥有3600万用户。与此同时，中国基础大模型公司间的竞争日趋激烈，字节跳动的“豆包”已成为Kimi的重要竞争对手。尽管如此，杨植麟更关注如何通过技术创新提高用户留存率，而非直接竞争。

最强数学大模型Qwen2-Math已发布Demo，允许用户直接上传数学问题图片或扫描题目获取解答。该模型由阿里千问大模型团队研发，支持中文环境。试玩界面集成OCR功能，由Qwen2-VL提供支持，数学推理能力则由Qwen2-Math承担。 用户反馈积极，认为通过图像上传问题并等待大模型解决的方式非常...

最强数学大模型易主，阿里巴巴千问团队开发的Qwen2-Math模型在多项数学测试中超越了包括GPT-4在内的多个闭源模型，展现出了卓越的数学能力。特别是在竞赛级试题的解答上，Qwen2-Math的表现尤为突出，其在AIME 24的30道题中正确解答了11道，远超其他先进模型仅能解答一二道题的成绩。 ...