Kimi 发布新一代数学推理模型 k0-math-低调大师

Kimi 发布新一代数学推理模型 k0-math

2024-11-18 235

Kimi 宣布推出趋近 OpenAI o1 系列水平的新一代数学推理模型 k0-math。

公告称，k0-math 是 Kimi 推出的首款推理能力强化模型，采用了全新的强化学习和思维链推理技术，通过模拟人脑的思考和反思过程，大幅提升了解决数学难题的能力，可以帮助用户完成更具挑战性的数学任务。

在多项数学基准能力测试中，k0-math 的表现能对标 OpenAI o1 系列可公开使用的两个模型：o1-mini和o1-preview。在中考、高考、考研以及包含入门竞赛题的MATH等 4 个数学基准测试中，k0-math 初代模型成绩超过o1-mini和o1-preview模型。

在业界最常使用的数学能力基准测试 MATH 中，k0-math 模型得分 93.8，超过 o1-mini 的 90 分和 o1-preview 的 85.5 分。k0-math 这一成绩仅次于暂未开放使用的 o1 完全版 94.8 分。

在两个难度更大的竞赛级别的数学题库 OMNI-MATH 和 AIME 基准测试中，k0-math 初代模型的表现分别达到了 o1-mini 最高成绩的 90% 和 83%。接下来，k0-math 模型会持续迭代，提升更难题目的解题能力，挑战数学模型的能力极限。

Kimi创始人杨植麟介绍，k0-math 模型和更强大的Kimi探索版，未来几周将会分批陆续上线Kimi网页版和Kimi智能助手APP，帮助大家解决更有挑战的数学和搜索调研类任务。

微信关注我们

原文链接：https://www.oschina.net/news/320859

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

openKylin 亮相 2024 上海开源生态发展论坛，共探开源创新潜力

11月15日，为充分发挥开源赋能区域产业高质量发展的作用，国家工业信息安全发展研究中心与上海智能汽车软件园联合召开2024上海开源生态发展论坛。论坛特邀请了来自先锋开源企业、典型开源社区、重点行业用户等专家代表，围绕开源社区建设、开源商业化、汽车行业开源创新等热点问题发表精彩演讲。以上海汽车园区优势特色为基础，搭建高水平开源合作交流平台，激发园区开源创新潜力，推动开源生态高质量发展。会上，openKylin社区生态合作负责人马发俊带来《麒麟软件开源生态建设》主题演讲，向与会嘉宾介绍了麒麟软件作为中国及全球开源重要力量，如何从参与开源、贡献开源、再到主导开源，积极推动Linux开源技术及其软硬件生态繁荣发展的历程与成果。 openKylin作为由麒麟软件主导发起的中国开源桌面操作系统根社区，连续两年被中国信通院评为“先进级可信开源社区”，并获评国资委“2023年度央企十大国之重器”，人民网“人民企业社会责任奖“年度案例奖。经过两年多的发展，openKylin社区发布了8个桌面系统版本，在可控开源、自主构建、创新技术和生态发展方面取得了显著成果。社区用户已超180万，来自全球188个国...

2024-11-18

229

在 2024 年 KubeCon+CloudNativeCon 北美大会上，CNCF 宣布了“云原生英雄挑战赛”，这是一个专门针对专利流氓的奖励计划，鼓励云原生开发者和技术专家通过帮助保护开源生态系统免受专利流氓侵害来赢取奖品。具体来说，CNCF 社区的成员通过提供证据，证明流氓专利中描述的发明在申请时并非“新颖”来帮助解除碰瓷威胁。证据包括开源文档、发布说明、标准或规范、产品手册、文章、博客、书籍等公开可用的信息。据介绍，越来越多的专利流氓公司（Patent Troll）起诉开源项目侵权，尤其是针对成功和有影响力的项目，比如 Kubernetes 相关的开源项目。 Patent Troll 特指那些不销售任何产品和服务的公司，它们唯一的业务活动是购买专利，并威胁采用新技术的用户进行专利诉讼。点此了解更多 CNCF 对此备受困扰，于是发起了奖励计划来应对专利流氓的碰瓷。询问AI

2024-11-18

248

资源下载

更多资源

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能，例如代码缩略图，Python的插件，代码段等。还可自定义键绑定，菜单和工具栏。Sublime Text 的主要功能包括：拼写检查，书签，完整的 Python API ， Goto 功能，即时项目切换，多选择，多窗口等等。Sublime Text 是一个跨平台的编辑器，同时支持Windows、Linux、Mac OS X等操作系统。