昆仑万维近日宣布，其天工团队在逻辑推理大模型领域取得了新的突破。基于首款中文逻辑推理大模型Skywork-o1，团队推出了全面升级的Skywork-OR1（Open Reasoner 1）系列模型。
据悉，Skywork-OR1系列模型在逻辑推理性能上达到了业界领先水平，成功突破了大模型在逻辑理解与复杂任务求解方面的瓶颈。尤为昆仑万维决定将这一系列模型全面开放并免费提供给开发者社区，以完全开源的形式助力技术创新。
此次开源涵盖了三款高性能模型：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-Math-7B不仅在数学推理任务上表现出色，还在代码任务上展现出了较强的泛化能力。通过多阶段GRPO训练，该模型在复杂数学问题上实现了卓越表现，同时在代码评测基准Livecodebench上的表现也从37.6%提升到43.6%，相比基线模型有了显著提升。
Skywork-OR1-Math-7B的最终模型在AIME24和AIME25上的准确率分别达到69.8%和52.3%，超越了OpenAI-o3-mini (low)，达到了当前尺寸下的最优性能。这一成绩不仅验证了昆仑万维天工团队训练策略的有效性，也展示了Skywork-OR1系列模型在逻辑推理和代码生成方面的强大实力。
