在Deepseek公布的测试效果中，可以看到，DeepSeek-R1-Lite的推理时间和准确率成正比关系，即推理时长越长，跑出的效果就越好。和过往没有“慢思考”能力的模型相比，R1的表现远优于前者。

根据上图，在多项基准能力测试中，k0-math 的数学能力可对标全球领先的 OpenAI o1 系列可公开使用的两个模型：o1-mini和o1-preview。在中考、高考、考研以及包含入门竞赛题的MATH等 4 个数学基准测试中，k0-math ...

近期，初创企业月之暗面在AI行业掀起了一阵涟漪，尤其是在公司宣布引入华为诺亚方舟实验室的核心研究员刘征瀛之后，引发了广泛关注。这一举动被视为该公司在大模型领域的战略部署，也是他们“登月计划”的重要一步。刘征瀛凭借其深厚的学术背景与研究经验，必将为月之 ...

在Axure的设计中，随机函数是比较常用的函数类型之一。这篇文章，作者就分享了用随机函数设计和交互的整个过程，供大家参考学习。 这期内容，我们将深入探讨Axure中随机函数的用法。 一、随机函数 ...

FrontierMath的独特之处在于其严苛的评测机制。传统的数学测试基准如MATH和GSM8K已经被AI"刷爆"，而这个新基准通过全新、未发表的问题和自动化验证系统，有效避免了数据污染，真正考验AI的数学推理能力。

近日，科技界传出消息，知名创业公司月之暗面迎来了一位重量级新成员——刘征瀛。他曾是华为诺亚方舟实验室AI基础理论团队的资深研究员，现正式加入月之暗面，领导并探索名为o1的前沿技术方向。

本月初经历仲裁风波后，月之暗面在 11 月 16 日发布新的数学模型 k0-math，当时月之暗面创始人杨植麟反复提到 “o1”：他将 k0-math 的测评评分与 o1 比较，称其思路与 o1 类似——都采用了强化学习和思维链技术。

此前的11月16日，在Kimi正式上线一周年之际，月之暗面发布了最新数学模型k0-math。宣称在中考、高考、考研以及入门竞赛题MATH等4个数学基准测试中，可以超越OpenAI o1-mini和o1-preview。

品玩11月26日讯，月之暗面官方宣布，Kimi 新一代数学推理模型 k0-math 正式上线。 官方表示，k0-math 是 Kimi ...

姚立伟近日透露，月之暗面团队已正式推出了Kimimath数学版，这一新版本是基于其最新研发的数学推理模型k0-math构建的。用户现在可以通过Kimi网页版轻松访问这一功能，只需点击侧边栏的“眼镜”图标，即可体验k0-math模型带来的数学解题能力。

IT之家11 月 16 日消息，综合第一财经，新浪科技消息，月之暗面旗下 Kimi 今日发布了新一代数学推理模型 k0-math。基准测试显示，Kimi k0-math 数学能力可对标 OpenAI o1 系列可公开使用的两个模型：o1-mini 和 o1-preview。 月之暗面创始人杨植麟认为，最适合让 AI 去锻炼 ...

与现有诸如 GSM-8K、MATH 等测试题集不同，FrontierMath 中的数学问题号称特别复杂，收录了现代数学中的数论、代数和几何等领域，这些题目的难度据称极高，甚至人类专家解答往往需要数小时甚至数天的时间。 IT之家获悉，FrontierMath 的题目由人工智能学方面资深 ...