近日，昆仑万维宣布其天工团队在逻辑推理大模型领域取得重大进展，推出了全新升级的Skywork-OR1（Open Reasoner 1）系列模型。该系列模型是基于昆仑万维首款中文逻辑推理大模型Skywork-o1打造，其核心目标是突破大模型在逻辑理解和复杂任务求解方面的瓶颈。
值得关注的是，昆仑万维决定以完全开源的形式，将Skywork-OR1系列模型及其相关资源免费提供给开发者社区。这一举措无疑将极大地推动国内大模型技术的创新与发展，降低了相关研究的门槛， potentially speeding up the development of more advanced AI solutions.
此次开源包含了三款高性能模型，分别面向不同的应用场景：
- Skywork-OR1-Math-7B：专注于数学领域，并具备出色的代码生成能力。
- Skywork-OR1-7B-Preview：融合数学与代码能力，兼具通用性和专业性。
- Skywork-OR1-32B-Preview：面向更高复杂度的任务，拥有更强的推理能力，是该系列的旗舰版本。
为了方便开发者使用，昆仑万维采取了高透明度的开源策略，不仅全面开源了模型权重和训练数据集，还提供了完整的训练代码，并同步在GitHub和Huggingface平台上公开。此外，昆仑万维还在Notion平台上发布了配套的技术博客，详细阐述了数据处理流程、训练方法以及关键技术发现，为社区提供了可复现的实践参考和学习资源。这种开放透明的做法，有利于建立健康的开源生态，鼓励更多开发者参与到模型优化和应用创新中来。
目前，Skywork-OR1-7B和Skywork-OR1-32B的能力仍在持续优化中。昆仑万维计划在两周内发布这两个模型的正式版本，并推出更为系统详尽的技术报告，分享在推理模型训练方面的经验与洞察。该报告预计将包含更多技术细节，例如模型架构、训练技巧、超参数选择等，对于研究人员和开发者具有重要的参考价值。
在数学推理任务方面，Skywork-OR1系列模型展现出强大的实力。通用模型Skywork-OR1-7B-Preview和Skywork-OR1-32B-Preview在AIME24与AIME25数据集上均实现了同参数规模下的最优表现。尤其值得一提的是，针对数学场景深度优化的专项模型Skywork-OR1-Math-7B，在AIME24和AIME25上分别取得了69.8和52.3的高分，显著领先于当前主流的7B级别模型。
不仅如此，在竞赛编程任务中，Skywork-OR1系列模型同样表现亮眼。通用模型Skywork-OR1-7B-Preview与Skywork-OR1-32B-Preview在LiveCodeBench数据集上均取得了同等参数规模下的最优性能。特别是Skywork-OR1-32B-Preview，其代码生成与问题求解能力已接近参数规模高达671B的DeepSeek-R1，实现了卓越的性价比。这意味着，在同等性能下，Skywork-OR1-32B-Preview能够以更低的计算资源实现类似的效果，对于资源有限的开发者来说，无疑是一大利好。
Skywork-OR1-Math-7B不仅精通数学推理，还在代码任务上展现出了不俗的泛化能力。通过多阶段GRPO训练，该模型在攻克复杂数学问题的同时，在代码评测基准Livecodebench上的表现也从37.6%提升到43.6%，相比基线模型有了显著提升。这表明该模型在训练过程中，学习到了一种通用的问题解决能力，能够有效地迁移到不同的任务领域。
通过数据可以看到，Skywork-OR1-Math-7B的最终模型在AIME24和AIME25上的准确率分别达到69.8%和52.3%，超越了OpenAI-o3-mini (low)，达到了当前尺寸下的最优性能。这一成绩不仅验证了昆仑万维天工团队训练策略的有效性，也进一步证实了Skywork-OR1系列模型在逻辑推理和代码生成方面的强大实力。随着更多模型的发布和技术的持续迭代，我们有理由期待昆仑万维在逻辑推理大模型领域取得更大的突破。
