2025年1月6日，昆仑万维风雅将“天工大模子4.0”o1版和4o版同步上线，并全量登陆天工网页和APP，东谈主东谈主免费可用。

　　行动国内第一款汉文逻辑推理才能的o1模子(Skywork o1)，不仅包含上线即开源的模子，还有两款性能更强的专用版块。历程全场地的时刻栈升级和模子优化，由昆仑万维自研的Skywork o1系列能老到处理各式推理挑战，包括数学、代码、逻辑、学问、伦理决议等问题。

　　“天工大模子4.0”4o版(Skywork 4o)是由昆仑万维自研的多模态模子，其赋能的及时语音对话助手Skyo，则是一个具备情谊抒发才能、快速反映才能、多语言流通切换的智能语音对话用具。

　　刻下，这两款模子已风雅登陆昆仑万维旗下天工web与APP，全面向用户怒放。

　　01.

　　Skywork o1为用户带来更极致的推理才能bt工厂唯爱侦查，风雅上线天工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运用”全产业链布局bt工厂唯爱侦查，并构建起由AI大模子、AI搜索、AI游戏、AI音乐、AI 外交、AI短剧构成的多元AI业务矩阵。咱们信服，通盘在模子与居品上进化的每一小步，齐是迈向结束通用东谈主工智能的一大步。昆仑万维仍会坚抓以时刻为底座，以居品为前锋，给用户带来更好的使用体验，为鼓励东谈主工智能时刻的发展和运用作念出孝敬，昂扬成为一家小而大好意思的国外化东谈主工智能企业。