昆仑万维在人工智能领域迈出了重要一步，正式推出了其最新的“天工大模型4.0”的两个版本——o1版和4o版。这两款模型不仅在国内首次展现了中文逻辑推理的强大能力，还标志着昆仑万维在通用人工智能（AGI）道路上的坚定前行。
自2024年11月首次发布并启动邀请测试以来，昆仑万维的天工大模型4.0经过不断优化，终于在2025年初全面向公众开放。用户现在可以通过天工网页和APP免费使用这两款模型，享受前所未有的智能体验。
Skywork o1，作为国内首款具备中文逻辑推理能力的o1模型，其背后的技术栈升级和模型优化令人瞩目。昆仑万维自研的训练方案，包括推理反思能力训练、推理能力强化学习和推理planning，共同提升了模型在数学、代码、逻辑、常识和伦理决策等领域的推理能力。特别是在逻辑推理任务上，Skywork o1通过多智能体体系构造高质量的分步思考，实现了反思和验证数据的精准处理。
Skywork o1还引入了全球首次公开的Q*线上推理算法，该算法通过借鉴人类大脑中的“system 2”思考方式，将大型语言模型（LLMs）的多步推理视作启发式搜索问题，从而有效指导LLM的解码过程。这一创新不仅提升了模型的线上推理能力，还避免了大量计算开销和性能退化的风险。
与此同时，Skywork 4o作为昆仑万维自研的多模态模型，其赋能的实时语音对话助手Skyo同样表现出色。Skyo具备情感表达能力、快速响应能力和多语言流畅切换能力，为用户带来了温暖贴心、流畅实时的对话体验。这一突破性的进展得益于昆仑万维在智能语音交互技术方向上的持续投入和自主研发。
Skyo采用了先进的端到端建模方案，通过语音编码、适配转换、大语言模型处理和语音输出等流程，实现了对用户语音的精准理解和自然回复。这一方案不仅突破了传统语音助手的效果边界，还显著提升了响应速度和回复自然度。用户现在可以与Skyo进行像真人一样的对话交流，享受前所未有的智能语音体验。
在性能评估方面，Skywork o1和Skyo均展现出了卓越的表现。Skywork o1在数学基准评测和代码基准评测上均取得了优异的成绩，逼近o1-mini的水平，并显著优于行业常规通用大模型。同时，在逻辑推理评测上，Skywork o1也展现出了强大的能力，表现仅次于o1-mini。
为了验证Skywork o1的推理能力，昆仑万维还创建了一个包含20种问题类型的私有评估集。该评估集经过挑选及人工校验，需要模型具备较强类人逻辑推理能力才能解决。经验证，Skywork o1在评估集上的表现同样令人瞩目，显著优于常规通用大模型。
Skyo在智能语音交互方面的表现也同样出色。通过大规模高质量、场景化、情感化和多样化的语音对话语料库进行预训练与微调，Skyo显著增强了模型在对话场景中的上下文感知能力、情感理解能力和知识推理能力。这使得Skyo能够生成连贯、逻辑一致且智能化的回复，为用户带来更加自然和流畅的对话体验。
昆仑万维在人工智能领域的这一重要进展，不仅展现了其在技术创新和产品研发方面的实力，也为推动人工智能技术的发展和应用做出了积极贡献。未来，随着技术的不断进步和应用场景的不断拓展，昆仑万维有望在通用人工智能领域取得更加辉煌的成就。
