月之暗面公司旗下的人工智能项目Kimi，近日推出了其最新研发的数学推理模型k0-math。据第一财经和新浪科技的联合报道，这款新模型在数学能力方面表现出色，足以与OpenAI的o1系列模型中的o1-mini和o1-preview相媲美。
Kimi的k0-math模型经历了严格的基准测试。测试结果显示，在中考、高考、考研以及包含入门竞赛题的MATH等四个不同级别的数学基准测试中，k0-math初代模型的成绩均超越了o1-mini和o1-preview。在更为复杂的竞赛级别数学题库OMNI-MATH和AIME的基准测试中，k0-math也分别达到了o1-mini最高成绩的90%和83%，展现出强大的数学推理能力。
月之暗面的创始人杨植麟对k0-math的表现给予了高度评价。他认为，数学场景是锻炼AI思考能力的最佳场所。通过在数学领域的深入学习和训练，AI能够不断提升其逻辑推理、问题解决和创新能力。
杨植麟还透露，k0-math模型以及更高级的Kimi探索版将在未来几周内陆续上线。用户将能够通过Kimi网页版和Kimi智能助手App体验到这款强大的数学推理模型。
未来十年科技新图景：智能硬件跃迁、AI赋能与网络无感化变革
本文将从智能硬件、AI 算法、未来网络、数字经济、安全体系等多个维度，分析科技浪潮下的核心趋势。 设备变得更聪明网络变得无形AI 成为能力底座数字经济成为主引擎安全体系成为关键支撑科技不是未来，而是现在正在发…
2025-11-15
避开苹果锋芒，聚焦外卖小哥：打造专属他们的超实用蓝牙耳机
试着聚焦一个特定人群，比如外卖小哥。电量要非常足，最好能用一整天。麦克风要特别好，因为外卖小哥大部分时间都在路上，环境嘈杂，麦克风不好的话，对方根本听不清。如果能将耳机固定在头盔上，那就更好了，不怕掉。如果…
2025-11-13
等保2.0成企业必答题！网络合规差距与优化路径全解析
实践中发现，许多企业在宽带层面存在共性差距，亟需从专业角度优化改进。在网络核心节点部署流量探针，实现全量网络流量采集；建议搭建专用日志审计平台，统一存储日志并支持多维度分析，确保日志完整性与可追溯性。 1.…
2025-11-12
立讯精密液冷方案：从前瞻布局迈入规模化商用新阶段
证券之星消息，立讯精密(002475)11月11日在投资者关系平台上答复投资者关心的问题。投资者提问：公司的液冷散热解决方案在AI服务器中的应用情况如何？是否已获得头部云服务提供商或AI企业的认可？ 谢谢！…
2025-11-11
