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业务矩阵。咱们驯服，所有这个词在模子与家具上进化的每一小步，王人是迈向兑现通用东谈主工智能的一大步。昆仑万维仍会坚执以技艺为底座，以家具为时尚开云体育(中国)官方网站，给用户带来更好的使用体验，为股东东谈主工智能技艺的发展和诓骗作念出孝敬，欣慰成为一家小而大好意思的海外化东谈主工智能企业。