产品库

智能编程助手，助力高效编程。

JoyCoder 是京东自主研发的智能编程助手，基于大语言模型，适配多种 IDE，提供代码预测、智能问答等功能。它能够提升开发人员的编程效率和代码质量，减少编程错误，降低修复问题的频率。该产品适合各种开发者使用，特别是在快速开发和测试需求中。随着智能编程的兴起，JoyCoder 为开发者提供了一个高效、流畅的编程环境，满足其多样化需求。产品定价方面，具体信息请联系售前顾问。

全球最强的编程和推理模型，提升开发效率。

Claude 4 是 Anthropic 最新推出的 AI 模型系列，具备强大的编程和推理能力，能够高效处理复杂任务。其卓越的性能使其在编程基准测试中名列前茅，成为开发者的重要工具。Claude 4 通过多项新功能的引入，提升了信息处理的效率和准确性，适合需要高效编码和逻辑推理的用户。

先进的大型语言模型，具备推理和编程能力。

Mistral-Large-Instruct-2407是一个拥有123B参数的先进大型语言模型(LLM)，具备最新的推理、知识和编程能力。它支持多语言，包括中文、英语、法语等十种语言，并且在80多种编程语言上受过训练，如Python、Java等。此外，它还具备代理中心能力和先进的数学及推理能力。

本地AI管理、验证和推理工具

The Local AI Playground是一个本地AI管理、验证和推理工具，可以在离线环境中进行AI实验，无需GPU。该产品是一个本地应用程序，旨在简化整个过程。具有免费开源的特点。

一款在推理和编程基准测试中表现与o1-preview相当的推理模型。

Sky-T1-32B-Preview是由加州大学伯克利分校的NovaSky团队开发的推理模型。该模型在流行的推理和编程基准测试中表现出色，与o1-preview相当，且训练成本不到450美元，展示了以低成本高效复制高级推理能力的可能性。该模型完全开源，包括数据、代码和模型权重，旨在推动学术界和开源社区的发展。其主要优点是低成本、高性能和开源，为研究人员和开发者提供了宝贵的资源。

基于多模态的 AI 模型，无缝进行图像、视频、音频和代码的推理

Google Gemini 是一款基于多模态的 AI 模型，能够无缝进行图像、视频、音频和代码的推理。Gemini 是 DeepMind 推出的最先进的 AI 模型，能够在 MMLU（大规模多任务语言理解）等各项测试中超越人类专家。Gemini 具有出色的推理能力，在各种多模态任务中取得了最先进的性能。

QwQ是一款专注于深度推理能力的AI研究模型。

QwQ（Qwen with Questions）是一款由Qwen团队开发的实验性研究模型，旨在提升人工智能的推理能力。它以一种哲学精神，对每个问题都抱有真正的好奇和怀疑，通过自我提问和反思来寻求更深层次的真理。QwQ在数学和编程领域表现出色，尤其是在处理复杂问题时。尽管它仍在学习和成长，但它已经展现出了在技术领域深度推理的重要潜力。

DeepSeek-V3/R1 推理系统是一个高性能的分布式推理架构，专为大规模 AI 模型优化设计。

DeepSeek-V3/R1 推理系统是 DeepSeek 团队开发的高性能推理架构，旨在优化大规模稀疏模型的推理效率。它通过跨节点专家并行（EP）技术，显著提升 GPU 矩阵计算效率，降低延迟。该系统采用双批量重叠策略和多级负载均衡机制，确保在大规模分布式环境中高效运行。其主要优点包括高吞吐量、低延迟和优化的资源利用率，适用于高性能计算和 AI 推理场景。

DeepSeek 是一款先进的 AI 语言模型，擅长逻辑推理、数学和编程任务，提供免费使用。

DeepSeek 是由 High-Flyer 基金支持的中国 AI 实验室开发的先进语言模型，专注于开源模型和创新训练方法。其 R1 系列模型在逻辑推理和问题解决方面表现出色，采用强化学习和混合专家框架优化性能，以低成本实现高效训练。DeepSeek 的开源策略推动了社区创新，同时引发了关于 AI 竞争和开源模型影响力的行业讨论。其免费且无需注册的使用方式进一步降低了用户门槛，适合广泛的应用场景。

免费开源AI模型推理服务

Tost AI是一个免费、非盈利、开源的服务，它为最新的AI论文提供推理服务，使用非盈利GPU集群。Tost AI不存储任何推理数据，所有数据在12小时内过期。此外，Tost AI提供将数据发送到Discord频道的选项。每个账户每天提供100个免费钱包余额，如果希望每天获得1100个钱包余额，可以订阅GitHub赞助者或Patreon。Tost AI将演示的所有利润都发送给论文的第一作者，其预算由公司和个人赞助者支持。

AI代码编程平台

AI Code Playground是一款AI代码编程平台，提供实时编辑器、代码可视化、自定义功能等特点。用户可以在平台上编写、调试和分享代码，提供丰富的代码库和教程，帮助用户提高编程技能。定价根据使用情况而定，定位于为编程爱好者和专业开发人员提供便捷的编程环境。

复杂推理的复合AI模型

Fireworks f1是一个专门针对复杂推理的复合AI模型，它在推理层融合了多个开放模型。Fireworks f1通过简化构建复合AI的过程，使得开发者能够以提示（prompting）的方式轻松访问复合AI的能力。该模型在编码、聊天、数学和推理用例中表现出色，超越了大多数开放模型和封闭前沿模型。Fireworks f1的设计理念是声明式编程，开发者可以通过提示描述他们想要实现的目标，而无需具体指定如何实现。

AI编程助手，提供编程帮助

Robbie是一款AI编程助手，可以帮助您解决编程问题和提供编程帮助。它具有强大的代码解释和执行能力，可以解释和执行Python代码，并提供实时反馈。Robbie还提供了丰富的编程教程和示例代码，帮助您学习和提升编程技能。无论您是初学者还是有经验的开发者，Robbie都可以成为您的最佳编程伙伴。

AI 解决编程问题，快速解答疑惑

Debugcode AI是一款通过先进的人工智能软件，在几秒钟内解决任何编程问题的产品。它可以帮助你快速调试代码问题，解答你对编程的任何疑惑，让你更快地学习编程。

前沿语言模型，具有先进的推理能力。

Grok-2是xAI的前沿语言模型，具有最先进的推理能力。此次发布包括Grok家族的两个成员：Grok-2和Grok-2 mini。这两个模型现在都在𝕏平台上发布给Grok用户。Grok-2是Grok-1.5的重要进步，具有聊天、编程和推理方面的前沿能力。同时，xAI引入了Grok-2 mini，一个小巧但功能强大的Grok-2的兄弟模型。Grok-2的早期版本已经在LMSYS排行榜上以“sus-column-r”的名字进行了测试。它在整体Elo得分方面超过了Claude 3.5 Sonnet和GPT-4-Turbo。

智谱深度推理模型，擅长数理逻辑和代码推理

GLM-Zero-Preview是智谱首个基于扩展强化学习技术训练的推理模型，专注于增强AI推理能力，擅长处理数理逻辑、代码和需要深度推理的复杂问题。与基座模型相比，在不显著降低通用任务能力的情况下，专家任务能力大幅提升。在AIME 2024、MATH500和LiveCodeBench评测中，效果与OpenAI o1-preview相当。产品背景信息显示，智谱华章科技有限公司致力于通过强化学习技术，提升模型的深度推理能力，未来将推出正式版GLM-Zero，扩展深度思考的能力到更多技术领域。

开源代码语言模型，提升编程和数学推理能力。

DeepSeek-Coder-V2是一个开源的专家混合模型(Mixture-of-Experts, MoE)，专为代码语言设计，其性能与GPT4-Turbo相当。它在代码特定任务上表现优异，同时在通用语言任务上保持了相当的性能。与DeepSeek-Coder-33B相比，V2版本在代码相关任务和推理能力上都有显著提升。此外，它支持的编程语言从86种扩展到了338种，上下文长度也从16K扩展到了128K。

AI助手，助您编程

MicroByte是一款AI助手插件，能够为程序员提供智能编程辅助，包括代码提示、错误检查、自动补全等功能。其优势在于通过深度学习算法不断优化，能够提高编程效率，减少错误。定价灵活多样，适合个人开发者和企业用户。定位于提升编程效率，减少编程错误。

先进的编程、工具使用和推理能力的模型

Claude 3.5 Haiku是Anthropic公司推出的最新最快的模型，它在编程、工具使用和推理任务上表现出色，并且价格亲民。该模型在速度上与Claude 3 Haiku相似，但在各项技能上都有提升，甚至在许多智能基准测试上超越了上一代最大的模型Claude 3 Opus。Anthropic公司致力于AI的安全性，Claude 3.5 Haiku在开发过程中经过了多语言和政策领域的广泛安全评估，增强了处理敏感内容的能力。

AI 算法编程助手

AlgoHack 是一个 AI 工具，能够在几秒钟内为您提供算法任务的解决方案，无论是现场编码面试还是个人学习过程。AlgoHack 将流畅的交互界面与 AI 伙伴相结合，让您能够在不离开当前标签页的情况下破解任务。

AI辅助编程的强有力界面

Zed AI是一个集成到编程工作流中的插件，通过与大型语言模型（LLMs）的直接对话，增强了代码生成、转换和分析的能力。它提供了多种交互方式，包括助手面板、斜杠命令、内联助手和提示库，以提高开发效率。Zed AI还支持多种LLMs提供商，允许开发者根据需要选择不同的模型来提高开发效能。此外，Zed AI提供了一个全新的托管服务，第一个月免费使用，并配备了Anthropic API，专为快速转换现有文本而设计。

xAI推出的最新旗舰AI模型Grok 3，具备强大的推理和多模态处理能力。

Grok 3是由Elon Musk的AI公司xAI开发的最新旗舰AI模型。它在计算能力和数据集规模上显著提升，能够处理复杂的数学、科学问题，并支持多模态输入。其主要优点是推理能力强大，能够提供更准确的答案，并且在某些基准测试中超越了现有的顶尖模型。Grok 3的推出标志着xAI在AI领域的进一步发展，旨在为用户提供更智能、更高效的AI服务。该模型目前主要通过Grok APP和X平台提供服务，未来还将推出语音模式和企业API接口。其定位是高端AI解决方案，主要面向需要深度推理和多模态交互的用户。

AI辅助编程插件

AICommit是一款基于OpenAI GPT的JetBrains IDE插件，提供智能编码功能，包括自动生成提交信息、代码优化、代码解释、文档生成、代码转换和翻译等。让你的编码过程更高效便捷。

数学推理LLM

MathCoder是一款基于开源语言模型的数学推理工具，通过fine-tune模型和生成高质量的数据集，实现了自然语言、代码和执行结果的交替，提高了数学推理能力。MathCoder模型在MATH和GSM8K数据集上取得了最新的最高分数，远远超过其他开源替代品。MathCoder模型不仅在GSM8K和MATH上超过了ChatGPT-3.5和PaLM-2，还在竞赛级别的MATH数据集上超过了GPT-4。

LG AI 推出的开源推理 AI 模型，具备卓越的推理能力。

EXAONE Deep 是 LG AI Research 推出的先进推理 AI 模型，标志着韩国在全球 AI 市场中的竞争力。它具备 32 亿参数，表现卓越，尤其在数学和科学问题解决方面展现出色。该模型的发布使得 LG 在 AI 领域迈入了自主决策的时代，其开源特性使得更多开发者能够利用这一技术进行研究与开发。EXAONE Deep 的轻量级和在设备上的模型设计使得其适用于多个行业，包括教育、科学研究、编程等。

AI 智能编程助手

Mentat 是一款开源的编程助手，利用 GPT-4 技术为您编写代码。通过命令行告诉 Mentat 您需要什么，它会直接在现有或新建的源文件中创建代码。Mentat 可以自动理解现有代码的上下文，并在多个位置和文件中进行协调编辑。与 Copilot 不同，Mentat 实际上会为您编写代码，而不仅仅在您输入时提供内联建议。Mentat 可用于现有代码和新代码和脚本的编写。快来体验吧！

Gemini 2.5 是谷歌最智能的 AI 模型，具备推理能力。

Gemini 2.5 是谷歌推出的最先进的 AI 模型，具备高效的推理能力和编码性能，能够处理复杂问题，并在多项基准测试中表现出色。该模型引入了新的思维能力，结合增强的基础模型和后期训练，支持更复杂的任务，旨在为开发者和企业提供强大的支持。Gemini 2.5 Pro 可在 Google AI Studio 和 Gemini 应用中使用，适合需要高级推理和编码能力的用户。

AI编程学习平台

CodeKidz是首个AI驱动的儿童编程学习平台，通过AI教师教授Python基础、问题解决和创新思维。拥有丰富奖励系统和互动学习体验，激发孩子们的好奇心和编码技能。价格定位在传统成本的一部分。

AI助手，编程利器

Eval是一款AI驱动的编程助手，提供AI辅助编程、单元测试编写、代码文档生成、代码解释与分析等功能。它支持多种编程语言，集成于各种IDE，提高编码效率。通过个性化建议、快速解决方案搜索和加速调试过程，提升生产力。定价根据使用计划不同而有所变化，定位为提升开发者编码效率的工具。

Eurus-2-7B-SFT是一个经过数学能力优化的大型语言模型，专注于推理和问题解决.

Eurus-2-7B-SFT是基于Qwen2.5-Math-7B模型进行微调的大型语言模型，专注于数学推理和问题解决能力的提升。该模型通过模仿学习（监督微调）的方式，学习推理模式，能够有效解决复杂的数学问题和编程任务。其主要优点在于强大的推理能力和对数学问题的准确处理，适用于需要复杂逻辑推理的场景。该模型由PRIME-RL团队开发，旨在通过隐式奖励的方式提升模型的推理能力。