刘征瀛主要研究方向为AI for Math及大语言模型推理能力的理解与应用。 2023年年底，刘征瀛曾发表以《AI4Math: 挑战与进展》为主题的演讲报告，当时演讲报告的摘要就提到，大语言模型（LLMs）在文本分类、机器翻译、文本摘要、常识问答等大多数自然语言处理的 ...

我们正通过持续优化，努力提升模型的综合能力。 模型表现 QwQ-32B-Preview 包含 325 亿个参数，能够处理最长 32000 个 tokens 的提示词；在 AIME 和 MATH 基准测试中，它的表现优于 OpenAI 的两个推理模型 o1-preview 和 o1-mini。 GPQA 该基准是一个通过小学级别问题评估高阶 ...

IT之家 11 月 26 日消息，月之暗面于 11 月 16 日发布了新一代数学推理模型 k0-math，官方今日宣布基于该模型的 Kimi 数学版上线。 在 Kimi 网页版中 ...

IT之家11 月 26 日消息，月之暗面于 11 月 16 日发布了新一代数学推理模型 k0-math，官方今日宣布基于该模型的 Kimi 数学版上线。 在 Kimi 网页版中，选择侧边栏的“眼镜”图标，即可使用基于 k0-math 模型的 Kimi 数学版，官方称后续会推出手机版。 官方表示 ...

基准测试显示，Kimi k0-math 数学能力可对标 OpenAI o1 系列可公开使用的两个模型：o1-mini 和 o1-preview。 月之暗面创始人杨植麟认为，最适合让 AI 去锻炼 ...