hongkongdoll nude 天工版o1、4o同期上线！超强逻辑推理秒杀数学竞赛，及时语音陪聊太上面

【新智元导读】今天，「天工大模子4.0」o1版/4o版在网页端和APP端崇拜上线了hongkongdoll nude，东谈主东谈主可玩的那种。

最近，2024中国互联网价值榜发布。

2024年AIGC应用用户规模TOP榜中，昆仑万维旗下天工AI强势入围！

如今，天工AI也曾获得了中国典型用具类AIGC应用TOP 4的好成绩，在多梯队的犀利格杀方式中稳稳占据上风。

同期，还不停有好音问传来。

就在今天，天工大模子4.0 o1版/4o版崇拜上线天工网页端和APP。底座大模子，崇拜进化到「天工4.0」。

「天工大模子4.0」 o1版（Skywork o1）的上线，意味着国内首款华文逻辑推理才气的o1模子来了！

数学高考题、考研题、奥数题，Skywork o1都能靠我方的逐步想考破解。

留心！Skywork o1并不是浅薄地复现OpenAI o1模子的劳动。它不仅在模子输出上内生了想考、有计划、反想等才气，还在模子信得过领有了想考和反想之后，带来了推理才气的种植。

在最近热转的复旦等机构解密OpenAI o1蹊径图这一研究中，skywork-o1就被列为国内o1级模子的代表之一

而且，昆仑万维天工大模子4.0上线后，应用端不仅在逻辑推理和代码功能上有了几大种植，语音交互上的发扬也果真令东谈主惊奇。

一个月崇拜发布的新产物「及时语音对话助手Skyo」，如今有了史诗级种植。

众网友实测后纷繁示意，原来国内版的「Her」，也曾进化到了不输OpenAI版块的地步！

具备多语言对话才气的Skyo，不仅能快速反应、主动发起对话、及时打断，给出的复兴还十分情感化，也曾具备了类东谈主特征。

还等什么，实测立时呈上。

超强推理+自我反想，免费体验

当今，分别怒放天工APP或网页端，任何东谈主齐可免费享用最新天工4.0 4o版或o1版模子加持的AI了。

既然主打的是推理，那么咱们就先来望望Skywork o1在数学题上的发扬如何。

体验地址：https://www.tiangong.cn/o1Chat/055

先来个硬核的，AIME数学竞赛题。

题目是这么的——

Jen通过从S={1，2，3， ... ，9，10} 中挑选4个不同的数字来参加抽奖。从S中恐怕聘请4个号码。要是她的至少两个号码是恐怕聘请的号码中的2个，她就能赢得奖金；要是她的四个号码都是恐怕聘请的号码，她就能赢得大奖。假定她赢得了奖品，她赢得大奖的概率是m/n，其中m和n是相对证的正整数。求m+n。

Skywork o1用时1分55秒，经过一番想考后，最终给出了正确谜底——116。

坎坷滑动检察

对于底下这谈通常有些难度的数学题，模子在经过一番想考之后，很快就意料了用图论中的「图兰定理」去解。

值得一提的是，在想考过程中它对谜底不细目时，以至会反想我方的回答，直至最终细目25是正确谜底。

一个象棋比赛，共有十名选手参加，每一个选手都需要和其他选手每东谈主下一盘棋，赛程进行到某阶段时，发现轻易三个选手中，起码有两个相互之间还莫得下过一盘棋，此时至多进行了若干场比赛？

坎坷滑动检察

2024年高考新课标一卷的数学真题，Skywork o1也能作念出正确谜底，便是行径略微「笨」了点。

复杂一些的逻辑推理题，Skywork o1也能作念对。

这谈从水池中汲水的推理题，它通过一步步的想考过程，推理出了正确谜底。

坎坷滑动检察

还有这谈「一个东谈主花8块钱买了一只鸡，9块钱卖掉了，然后他认为不合算，花10块钱又买总结了，11块卖给另外一个东谈主。问他赚了若干」，Skywork o1反复猜测之后给出了正确的谜底。

坎坷滑动检察

为什么刚降生的小孩唯有一只左眼？这个脑筋急转弯，没能瞒过Skywork o1的眼睛。

坎坷滑动检察

弱智吧难题，不在话下。

比如父母以后的钱都是留给我的，可不不错认为父母当今正在花我的钱？Skywork o1从财产通盘权、禁受权、遗嘱和禁受法、谈德和家庭关连方面给出了全面的回答。

坎坷滑动检察

吕布立时无敌，典韦步战无敌，吕布骑着典韦会不会天地无敌？Skywork o1示意，道理道理的脑洞只是一个戏谑的抒发，而非严肃的历史或军事盘问。

坎坷滑动检察

终末，上一谈LeetCode贪默算法的分发饼干代码难题。题目如下——

假定你是一位很棒的家长，想要给你的孩子们一些小饼干。但是，每个孩子最多只可给一块饼干。

对每个孩子i，都有一个胃口值 g[i]，这是能让孩子们知足胃口的饼干的最小尺寸；而且每块饼干j，都有一个尺寸s[j] 。要是s[j] >= g[i]，咱们不错将这个饼干j分派给孩子i，这个孩子会得到知足。你的标的是尽可能知足越多数目的孩子，并输出这个最大数值。

Skywork o1也胜利给出了谜底。

自研技巧决议，持续更始迭代

那么，Skywork o1为何能在逻辑推理任务上，有如斯大幅的种植？

这就要收货于天工三阶段自研的搜检决议。

推理反想才气搜检

领先，在推理搜检方面，团队通过自主研发的多智能体体系，构建出了高质料的分步推理、反想与考据数据。

然后，用这些高质料且各样化的长想考数据，对基座模子进行接续预搜检和监督微调，并在版块迭代中摄取大规模的自蒸馏和拒却采样，从而显贵种植了模子的搜检后果和逻辑推理才气。

推理才气强化学习

其次，在强化学习阶段，团队更始性地提倡了一种适配分步推理强化的奖励模子——Skywork o1 Process Reward Model（PRM）。

在最新的版块中，团队将Skywork-PRM的应用范围，从原来侧重的数学和代码领域，拓展到了知识推理、逻辑推演和伦理决策等更庸碌的场景中。同期，还针对写稿、谈天等通用领域以及多轮对话构建了挑升的搜检数据，完结了全场景诡秘。

此外，团队重心种植了Skywork-PRM的模块化评估才气，非常是在处理o1立场想维链方面，优化了试错和反想考据机制。通过更良好的评估体系，为强化学习和搜索过程提供了更精确的奖励信号指导。

推理planning

终末，在推理的有计划方面，团队通过自研的Q*线上推理算法，以及模子的在线想考才气，完结了最优推理旅途的寻找。

综合来说，Q*算法通过鉴戒东谈主类大脑中「System 2」的想考方式，将LLM的多步推理过程抽象为一个启发式搜索问题。

然后，再通过Q*线上推理框架与模子在线想考的谀媚，完结了推理过程中的精细有计划，进而指导LLM的解码过程。

Q*算法的见效落地，不仅显贵种植了模子的线上推理才气，同期也符号着Q*算法的民众初度完结和公开。

论文地址：https://arxiv.org/abs/2406.14283

更进一步的，团队基于Q*算法对推理系统进行了全面优化。

第少许是模块化的树形结构推理：

团队通过高质料、各样化的长想考数据对Skywork o1进行预搜检和监督微调，使模子具备了对通盘推理过程进行系统有计划，自动将回答按端倪张开，同期在推理过程中融入自我反想和考据门径的结构化输出才气。

此外，还更始性地行使以「模块」为单元的有计划方式，取代了传统的以「句子」为单元的行径。既种植了有计划后果，也使PRM粗略基于更齐全的模块化回答进行准确判断和推理指导。

第二点是自适应的搜索资源分派：

针对现存o1立场模子存在的过度想考问题，团队开采出了一种全新的自适应搜索资源分派机制。也便是，通过对用户query进行难度预估，自适应地规定搜索树的宽度和深度，进而完结浅薄问题快速反应、复杂问题多轮考据的动态均衡，灵验种植了系统的贪图后果和回答准确率。

最终，Skywork o1在GSM8k，MATH，OlympiadBench，AIME-24和AMC-23尺度数学基准测试，以及HumanEval、MBPP、LiveCodeBench和BigCodeBench代码基准测试中，性能显贵优于旧例通用大模子，发扬仅次于o1-mini。

及时语音助手，开启AI交互新纪元

在APP端，「天工大模子4.0」4o版加持的及时语音对话助手Skyo，通常带来了前所未有的当然交互体验。

它不仅能在1秒内快速反应，还具备了多语言对话、主动发起对话、及时被打断的才气。

与此同期，4o将来版块不错复旧个性化声息定制功能，粗略以任何东谈主但愿的立场畅聊。

这是这种个性化的体验，让4o不再是冰冷的AI，而是一个更智能的AI伙伴。

当你叫醒Skyo后，他会主动宥恕打呼叫，并尝试开启一个新的话题。当你生涯中遭受难题时，不错向它寻求建议和匡助。

比如，家里2岁的宝宝老是说不要不要，我该何如办？

雪柜里有鸡蛋、生菜、西红柿、鸡腿、香菇，凭证这些原材料，能帮我保举一份食谱吗？

当你想要谈判一场旅行，它还会贴心肠为你作念好攻略——我有计划去北京度假3天，你能帮我作念一份攻略吗？

以至，当你没趣时，不错让Skyo玩脑筋急转弯、猜字谜，或者一谈聊天......

比如，咱们一谈玩脑筋急转弯吧，我问你答。什么瓜不成吃？麒麟到了北极会变成什么？

咱们还对Skyo进行了压力测试，望望在不停被打断的情况下，它能否依旧发扬亮眼？

「帮我朗诵一首李白的静夜想；李白的写稿立场是若何的？和李白同期期的盛名诗东谈主有哪些？帮我再朗诵一首杜甫的诗」。

用兵如神，在通盘对话过程中，它全都粗略跟上节律，不仅多情怀地朗诵出诗仙的静夜想，并在古代诗东谈主研究的信息问答中，给出了准确且丰富的回答。

接下来，咱们邻接连问四个问题，Skyo即便被经常打断，也莫得「崩溃」。

「对于一个只身男青年，不错保举他晚上看什么电影？什么情况下，说谎是个正确的聘请？何如样离别古道的谈歉和诞妄的谈歉？要是动物会语言，它们会说些什么」？

从以上案例不错看出，Skyo具备了基本的才气才气和瓦解的反应度，而且它还能作念出道理道理的互动，成为你个性化的陪聊搭子。

多模态LLM端到端建模

深挖背后，Skywork 4o加持的Skyo冲突性体验，是昆仑万维基于大模子、AI音乐等领域的研发训戒，以及多数的语音数据蓄积，打造出这个端到端的语音对话系统。

传统的语音助手摄取了ASR（语音识别）+NLU（当然语言清爽）+TTS（语音合成）级联决议去完结。

英伟达高等科学家Jim Fan曾指出，AI语音系统Whisper、大模子ChatGPT，以及语音合成技巧VALL-E，是让诸如Siri/Alexa等传统语音助手得到改善的一个系统过程。

不外，在此期间，三个零碎的模子在串联过程中，会带来反应延伸，以至是信息蚀本、优化贫乏等问题。

对此，昆仑万维聘请了一条吃力的更始之路，摄取多模态LLM端到端建模。

端到端模子使得用户的语音输入经过语音编码器索要语义特征，通过适配模块改造为大语言模子（LLM）可清爽的容颜，LLM处理青年谚语音回复，完结端到端的语音交互。从根底上贬责了这些难题。

团队还摄取了低比特率单码本语音Tokenizer，在显贵裁减延伸的同期还保持了音质。为了推广语音建模才气，Skywork 4o在超百万小时多语言语音数据上完成了搜检。skyo复旧全双工流式输出，确保了及时交互的体验。

最要津的是，它不仅能准确识别语音内容，还能捕捉语速、语调、情感等轻飘的特征，从而作念出情感化的复兴。

比如咱们问谈，「我今天在路上偶遭受了一只流浪猫，看着它怪轸恤的，是以我决定收养了它」。

Skyo的回答中口吻上扬，对这个行径作念出了极大的信服。

再比如，「我最近感到非常困窘，心机有点差」。

Skyo情至意尽地示意，「我粗略清爽你当今不是处在最好意思好的景色」。随后，它又主动保举了一些调度心机的行径。

「有时候，我以至嗅觉我方不被东谈主清爽」。

听完AI的回答，骤然感到非常地平和贴心，以至有时会给东谈主一种在和相知一又友换取的错觉。

一年迭三代，踏进国内第一梯队

纵不雅民众AI行业的发展，曩昔一年里，应用落地成为最受注重的要津词。

OpenAI新模子接连上新，再加上一些搜索、Canvas、高等语音模式等功能的推出，让ChatGPT每周活跃用户数径直冲破3亿。

微软押注的Copilot不停迭代，并赋能了更多平台/用具，包括GitHub、Office 365等等。

至于谷歌，本年最爆火的一款应用非NotebookLM莫属，一键转写总结播客让通盘东谈主誉接续口。

还有Anthropic、亚马逊、Meta等国外科技巨头们，都在AI落地战场上加快布局。

反不雅国外，以阿里、腾讯、字节为代表的互联网公司，以昆仑万维、智谱AI、百川智能等为代表的AI公司，在这场竞赛中也绝不失态。

据QuestMobile统计，终结本年9月，国内AI原生应用活跃用户数接近8000万东谈主。

其中，月活超百万以上产物数目仅12个，而天工AI弥远稳居中国原生AIGC应用月活TOP 10，而且在月活用户300-1000万区间内位居前三。

值得留心的是，昆仑万维凭借其塌实的技巧蓄积，以及了了的政策布局，正逐步建树我方在这个赛谈中的向上地位。

旧年5月，其主打产物天工AI日活跃用户（DAU）也曾冲突百万大关。

行为一家老牌互联网企业，昆仑万维从2008年诞生后，一直在书写着我方的AI外传。

2020年，在GPT-3出世的这个要津节点上，团队驱动全面布局AIGC和大模子领域。

2024年，是昆仑万维在AI领域的丰充年。

终结目下，他们已自研出五大模子体系，包括文本大模子、多模态大模子、3D大模子、视频大模子和音乐大模子。

在大模子方面，团队在2月推出MoE大语言模子「天工2.0」，紧接着4月又迭代了4000亿参数的「天工3.0」，性能大幅卓绝Grok-1，一举成为民众最大的开源MoE。

与此同期，音乐生成大模子「天工SkyMusic」崇拜诞生。6月，昆仑万维开源了2000亿稀少大模子Skywork-MoE。再到11月，4o和o1版模子接踵诞生。

不仅如斯，昆仑万维的影响力已遍布民众商场。

比如，率先为欧洲iOS用户推出AI浏览器Opera One；在AI创作领域，还发布了首个集成视频大模子与3D大模子AI短剧平台SkyReels等等。

目下，公司在民众平均有近4亿月活，国外收入占比高达89.7%，在酬酢、游戏、音乐等领域也曾酿成壁垒。

而且，还完成了「算力基础设施—大模子算法—AI应用」全产业链布局，构建起了由AI大模子、AI搜索、AI游戏、AI音乐、AI酬酢、AI短剧构成的多元AI业务矩阵。

昆仑万维的推论带来的启示是，AI落地不单是需要弘远的技巧才气，更需要的是对应用场景的长远清爽。

恰是这种扎根于现实应用场景的技巧研发想路，使得团队粗略准确把执用户需求，将过往蓄积的才气快速弯曲为贬责天下问题的产物。

此次，4o和o1在天工全新上线，又将成为这款应用破局的下一个爆发点。

不仅如斯，昆仑万维对AGI发展旅途的想考极具前瞻性。

追思曩昔两年，科技圈对AGI的盘问可谓是起起落落。非常是2024年齿首，跟着Sora诞生之后，好多东谈主一度堕入过度乐不雅的狂热，认为AGI完结就在一两年之内。

关联词到了年中，这股高潮又速即消退，悲不雅论调驱动盛行——AGI牛年马月。

昆仑万维首创东谈主周亚辉对将来30年，作念出了宽裕远见的判断：东谈主类社会将从感知转向抒发，创作和自我抒发将成为增长最快的弧线。AGI时间的符号是东谈主形机器东谈主信得过参预社会，2030年之后才会驱动逐步完结通用东谈主工智能AGI。

对于这个时辰节点，他从未改变过。

不外，在迈向AGI时间之前，机器东谈主技巧的靠近着三大中枢挑战：空间智能大模子；通顺规定技巧；机器东谈主买卖化定位以及动力问题。这些挑战的冲突，齐需要民众顶尖AI科学家的勇猛。

周亚辉认为，机器东谈主技巧发展的程度如何，其在军事领域的应用是一个病笃的观点。

将来，要是机器东谈主产业带来超10亿好意思金商场规模，将会对通盘社会结构和社会管制产生要紧的影响。

基于这些判断，昆仑万维在2024岁首就建树了「完结AGI，让每个东谈主更好地塑造和抒发自我」的新职责。

而当今，在这条通往AGI的谈路上hongkongdoll nude，他们正在用技巧更始和产物落地，一步步将愿景变为现实。