2025年1月6日，昆侖萬維“天工大模型4.0”o1版和4o版正式同步上線，并全量登陸天工網(wǎng)頁和APP，免費(fèi)可用。

o1模型(Skywork o1)作為國(guó)內(nèi)第一款中文邏輯推理能力的模型，不僅包含上線即開源的模型，還有兩款性能更強(qiáng)的專用版本。經(jīng)過全方位的技術(shù)棧升級(jí)和模型優(yōu)化，由昆侖萬維自研的Skywork o1系列能熟練處理各種推理挑戰(zhàn)，包括數(shù)學(xué)、代碼、邏輯、常識(shí)、倫理決策等問題。

“天工大模型4.0”4o版(Skywork 4o)是由昆侖萬維自研的多模態(tài)模型，其賦能的實(shí)時(shí)語音對(duì)話助手Skyo，則是一個(gè)具備情感表達(dá)能力、快速響應(yīng)能力、多語言流暢切換的智能語音對(duì)話工具。

當(dāng)前，這兩款模型已正式登陸昆侖萬維旗下天工web與APP，全面向用戶開放。

天工AI官方地址：https://www.tiangong.cn/ (進(jìn)入后可直接體驗(yàn)o1版)

Skywork o1為用戶帶來更極致的推理能力，正式上線天工web

相較于之前的版本，正式上線的Skywork o1進(jìn)行了重磅升級(jí)，體現(xiàn)在以下三個(gè)方面：PRM優(yōu)化，基于Q*算法的推理系統(tǒng)優(yōu)化，創(chuàng)新性提出Step-DAPO算法，力爭(zhēng)解決訓(xùn)練效果不穩(wěn)定、計(jì)算資源開銷過大等問題。

全面升級(jí)且正式上線的Skywork o1 Lite / Skywork o1 Preview大幅提升了數(shù)學(xué)、代碼和邏輯推理能力。我們對(duì)其進(jìn)行標(biāo)準(zhǔn)數(shù)學(xué)基準(zhǔn)測(cè)試(包括GSM8k、MATH、OlympiadBench、AIME-24以及AMC-23)，以及在HumanEval、MBPP、LiveCodeBench及BigCodeBench這四項(xiàng)代碼基準(zhǔn)測(cè)試上評(píng)估了Skywork o1的代碼能力。

表1丨Skywork o1在數(shù)學(xué)基準(zhǔn)評(píng)測(cè)上的表現(xiàn)

表2丨Skywork o1在代碼基準(zhǔn)評(píng)測(cè)上的表現(xiàn)

*備注：對(duì)于BigCodeBench，我們采用它的instruct子集進(jìn)行測(cè)試

可以看出，在數(shù)學(xué)、代碼基準(zhǔn)測(cè)試中，Skywork o1的能力表現(xiàn)逼近o1-mini，顯著優(yōu)于行業(yè)常規(guī)通用大模型。

Skywork 4o賦能的Skyo，已全面登陸天工APP

圖丨天工APP中Skyo入口與界面(來源：昆侖萬維)

為了達(dá)成“像和真人一樣說話聊天”的效果，Skyo堅(jiān)持采用更先進(jìn)的創(chuàng)新路線，通過多模態(tài)LLM端到端建模，來解決這個(gè)難題。

圖丨Skyo所采用的語音對(duì)話框架(來源：昆侖萬維)

Skyo的上線是昆侖萬維在智能語音交互技術(shù)方向，從“操縱機(jī)器”邁向“和真人交流”的重要一步。

堅(jiān)定邁向AGI時(shí)代

過去兩年，昆侖萬維已完成“算力基礎(chǔ)設(shè)施—大模型算法—AI應(yīng)用”全產(chǎn)業(yè)鏈布局，并構(gòu)建起由AI大模型、AI搜索、AI游戲、AI音樂、AI 社交、AI短劇組成的多元AI業(yè)務(wù)矩陣。我們堅(jiān)信，所有在模型與產(chǎn)品上進(jìn)化的每一小步，都是邁向?qū)崿F(xiàn)通用人工智能的一大步。昆侖萬維仍會(huì)堅(jiān)持以技術(shù)為底座，以產(chǎn)品為先鋒，給用戶帶來更好的使用體驗(yàn)，為推動(dòng)人工智能技術(shù)的發(fā)展和應(yīng)用做出貢獻(xiàn)，立志成為一家小而大美的國(guó)際化人工智能企業(yè)。

龔斯軒