2025年1月6日，昆仑万维认真将「天工大模子4.0」o1版和4o版同步上线，并全量登陆天工网页和APP，东说念主东说念主免费可用。
算作国内第一款汉文逻辑推理能力的o1模子(Skywork o1)，不仅包含上线即开源的模子，还有两款性能更强的专用版块。过程全地点的工夫栈升级和模子优化，由昆仑万维自研的Skywork o1系列能熟悉处理各式推理挑战，包括数学、代码、逻辑、知识、伦理有辩论等问题。
「天工大模子4.0」4o版(Skywork 4o)是由昆仑万维自研的多模态模子，其赋能的及时语音对话助手Skyo，则是一个具备心绪抒发能力、快速反映能力、多语言灵通切换的智能语音对话器具。
刻下，这两款模子已认真登陆昆仑万维旗下天工web与APP，全面向用户敞开。
王竹子 露出
01.
Skywork o1为用户带来更极致的推理能力，认真上线天工web
相较于之前的版块，认真上线的Skywork o1进行了重磅升级，体面前以下三个方面：PRM优化，基于Q*算法的推理系统优化，翻新性建议Step-DAPO算法，力图处分执行后果不踏实、计较资源支拨过大等问题。
全面升级且认真上线的Skywork o1 Lite / Skywork o1 Preview大幅升迁了数学、代码和逻辑推理能力。咱们对其进行圭臬数学基准测试(包括GSM8k、MATH、OlympiadBench、AIME-24以及AMC-23)，以及在HumanEval、MBPP、LiveCodeBench及BigCodeBench这四项代码基准测试上评估了Skywork o1的代码能力。
表1丨Skywork o1在数学基准评测上的施展
表2丨Skywork o1在代码基准评测上的施展
*备注：关于BigCodeBench，咱们聘请它的instruct子集进行测试
不错看出，在数学、代码基准测试中，Skywork o1的能力施展濒临o1-mini，权贵优于行业惯例通用大模子。
02.
Skywork 4o赋能的Skyo，已全面登陆天工APP
图丨天工APP中Skyo进口与界面(开端：昆仑万维)
为了达成“像和真东说念主雷同言语聊天”的后果，Skyo 坚握聘请更先进的翻新阶梯，通过多模态 LLM 端到端建模，来处分这个贫穷。
图丨Skyo所聘请的语音对话框架(开端：昆仑万维)
Skyo 的上线是昆仑万维在智能语音交互工夫标的，从“旁边机器”迈向“和真东说念主换取”的伏击一步。
03.
坚忍迈向AGI时期
畴昔两年，昆仑万维已完成“算力基础步伐—大模子算法—AI期骗”全产业链布局，并构建起由AI大模子、AI搜索、AI游戏、AI音乐、AI 外交、AI短剧构成的多元AI业务矩阵。咱们服气，统统在模子与产物上进化的每一小步，皆是迈向杀青通用东说念主工智能的一大步。昆仑万维仍会坚握以工夫为底座，以产物为前卫，给用户带来更好的使用体验聚色网，为激动东说念主工智能工夫的发展和期骗作念出孝顺，欢叫成为一家小而大好意思的国外化东说念主工智能企业。