产品库

强大的数学和编程模型，具备高度连贯性和多轮对话能力。

Mistral-22b-v.02 是一个强大的模型，展现出出色的数学才能和编程能力。相较于V1，V2模型在连贯性和多轮对话能力方面有显著提升。该模型经过重新调整取消了审查，能够回答任何问题。训练数据主要包括多轮对话，特别强调编程内容。此外，模型具备智能体能力，可执行真实世界任务。训练采用了32k的上下文长度。在使用时需遵循GUANACO提示格式。

基于ChatGLM2模型开发，支持多轮对话

智谱清言是一款基于ChatGLM2模型开发的人工智能应用，具备内容创作、信息归纳总结等能力。该产品采用大模型ChatGLM-6B、GLM-130B等，支持多种语言，可广泛应用于各种场景，包括客服、教育、医疗等领域。定价方案灵活，可根据客户需求进行定制。

人工智能领域的多轮对话处理专家

汉王天地大模型是汉王科技推出的一款专注于人工智能领域的大语言模型，拥有30年的行业积累。它能够实现多轮对话，高效处理任务，并深耕办公、教育、人文等多个垂直细分领域。该模型通过从人类反馈中进行强化学习，不断优化自身智能，提供包括智能校对、自动翻译、法律咨询、绘画生成、文案生成等在内的多样化服务，以赋能法律、人文、办公、教育、医养等行业，提升效率和创意。

新一代开源预训练模型，支持多轮对话和多语言。

GLM-4-9B-Chat-1M 是智谱 AI 推出的新一代预训练模型，属于 GLM-4 系列的开源版本。它在语义、数学、推理、代码和知识等多方面的数据集测评中展现出较高的性能。该模型不仅支持多轮对话，还具备网页浏览、代码执行、自定义工具调用和长文本推理等高级功能。支持包括日语、韩语、德语在内的26种语言，并特别推出了支持1M上下文长度的模型版本，适合需要处理大量数据和多语言环境的开发者和研究人员使用。

智能解决数学问题，提升学习效率

AI数学解题器是由数学AI和数学GPT模型（如GPT-4o）驱动的在线工具，旨在提供广泛的数学问题解决方案。它利用先进的人工智能技术，为学生和教师提供详尽的分步解答，增强了对数学概念的理解和解题能力。该产品背景是数学学习中对高效解题工具的需求，定位于免费提供高质量的教育支持。

一款集成AI技术的智能对话系统，提供多语言翻译、编程代码生成等功能。

ChatMIX智能对话-AIGC系统是一款利用人工智能技术构建的在线聊天系统，旨在通过AI技术提升用户交互体验。产品支持智能翻译、工作周报生成、编程代码编写等功能，满足用户在不同场景下的需求。它的优势在于能够快速响应用户指令，提供准确、高效的服务，同时具备良好的用户界面和操作体验。

构建GPT-4级别的对话问答模型

ChatQA是一系列对话问答（QA）模型，可以达到GPT-4级别的准确性。我们提出了一种两阶段指导调优方法，可以显著提高大型语言模型（LLMs）的零射击对话QA结果。为了处理对话式QA中的检索，我们在多轮QA数据集上对密集检索器进行微调，这提供了与使用最先进的查询重写模型相当的结果，同时大大降低了部署成本。值得注意的是，我们的ChatQA-70B在10个对话QA数据集的平均得分上可以胜过GPT-4（54.14 vs. 53.90），而不依赖于OpenAI GPT模型的任何合成数据。

首个llama3中文版，多轮对话AI模型

llama3-Chinese-chat是首个llama3的中文对话版本，专为中文用户设计，支持高质量的多轮对话。它使用了170k+的中文对话数据进行训练，具备角色扮演、agent能力增强等特性，并提供了详细的训练和推理教程。此外，项目还计划开源浏览器插件，增加AI笔记和思维导图功能，进一步增强用户体验。

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

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

LLaDA是一种大规模语言扩散模型，具备强大的语言生成能力，与LLaMA3 8B性能相当。

LLaDA是一种新型的扩散模型，通过扩散过程生成文本，与传统的自回归模型不同。它在语言生成的可扩展性、指令遵循、上下文学习、对话能力和压缩能力等方面表现出色。该模型由中国人民大学和蚂蚁集团的研究人员开发，具有8B的规模，完全从零开始训练。其主要优点是能够通过扩散过程灵活地生成文本，支持多种语言任务，如数学问题解答、代码生成、翻译和多轮对话等。LLaDA的出现为语言模型的发展提供了新的方向，尤其是在生成质量和灵活性方面。

数学视觉指令调优模型

MAVIS是一个针对多模态大型语言模型（MLLMs）的数学视觉指令调优模型，主要通过改进视觉编码数学图表、图表-语言对齐和数学推理技能来增强MLLMs在视觉数学问题解决方面的能力。该模型包括两个新策划的数据集、一个数学视觉编码器和数学MLLM，通过三阶段训练范式在MathVerse基准测试中取得领先性能。

多模型对话，文生图

Silo是一个专注于多模型对话的平台，它通过整合不同的对话模型，为用户提供丰富、深入的交流体验。该平台不仅能够处理文本对话，还能生成图像，为用户提供视觉化的交流方式。Silo的背景信息显示，它是一个创新的尝试，旨在通过技术手段打破传统对话的局限，让交流更加生动和有趣。目前，Silo提供免费试用，具体价格和定位尚未明确。

探讨多模态大型语言模型在解决视觉数学问题中的能力

MATHVERSE项目旨在评估多模态大型语言模型处理和理解视觉数学问题的能力，特别是如何解析和理解问题中的图表信息。

第二代多模态预训练对话模型

CogVLM2是由清华大学团队开发的第二代多模态预训练对话模型，它在多个基准测试中取得了显著的改进，支持8K内容长度和1344*1344的图像分辨率。CogVLM2系列模型提供了支持中文和英文的开源版本，能够与一些非开源模型相媲美的性能。

开源多语言多模态对话模型

GLM-4系列是智谱AI推出的新一代预训练模型，包括GLM-4-9B、GLM-4-9B-Chat、GLM-4-9B-Chat-1M和GLM-4V-9B。这些模型在语义理解、数学推理、代码执行等方面表现出色，支持多达26种语言，并具备网页浏览、代码执行等高级功能。GLM-4V-9B模型还具备高分辨率的视觉理解能力，适合多模态应用场景。

百度 UNIT 是一款领先的智能对话管理平台，助力企业定制专业、可控、稳定的对话系统。

百度 UNIT 搭载业界领先的对话理解和对话管理技术，提供灵活运营管理工具和可视化会话流程配置，助力企业智能化升级实现降本增效。

多智能体框架，实现自然语言编程

MetaGPT是一个多智能体框架，它通过自然语言编程技术，能够模拟一个完整的软件公司团队，从而实现快速开发和自动化工作流程。它代表了人工智能在软件开发领域的最新进展，能够显著提高开发效率，降低成本。MetaGPT的主要优点包括高度自动化、多智能体协作、以及能够处理复杂的软件开发任务。产品背景信息显示，MetaGPT旨在通过AI技术，为用户提供一个能够快速响应开发需求的平台。目前，产品似乎处于测试阶段，用户可以通过加入等待列表来体验产品。

一键发起AI机器人对话，集成多款国产大模型。

AI对话鸭是一个领先的AI聊天对话平台，它集成了多款国产大模型，提供了丰富的对话场景和功能，满足不同用户的需求。该平台以其高效的对话生成能力和多样的应用场景，在提高工作效率和娱乐互动方面具有显著优势。

开源多模态预训练模型，具备中英双语对话能力。

GLM-4V-9B是智谱AI推出的新一代预训练模型，支持1120*1120高分辨率下的中英双语多轮对话，以及视觉理解能力。在多模态评测中，GLM-4V-9B展现出超越GPT-4-turbo-2024-04-09、Gemini 1.0 Pro、Qwen-VL-Max和Claude 3 Opus的卓越性能。

在线AI数学辅导

Maths.ai是最好的基于AI的在线数学辅导工具，可以立即回答您所有的数学疑问。通过AI即时获得个性化的数学帮助。

数学推理LLM

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

在线数学助手

Numberly是一个在线数学助手插件，可以实时解决数学方程和度量单位转换。它可以在任何输入框中自动计算并显示结果，无需离开浏览器。Numberly还可以帮助专业人士和学生减少错误，提高计算准确性。它还提供内联解决方案，方便用户在电子邮件、社交媒体、文档和电子表格中进行数学计算。

Kimi k1.5 是一个通过强化学习扩展的多模态语言模型，专注于提升推理和逻辑能力。

Kimi k1.5 是由 MoonshotAI 开发的多模态语言模型，通过强化学习和长上下文扩展技术，显著提升了模型在复杂推理任务中的表现。该模型在多个基准测试中达到了行业领先水平，例如在 AIME 和 MATH-500 等数学推理任务中超越了 GPT-4o 和 Claude Sonnet 3.5。其主要优点包括高效的训练框架、强大的多模态推理能力以及对长上下文的支持。Kimi k1.5 主要面向需要复杂推理和逻辑分析的应用场景，如编程辅助、数学解题和代码生成等。

一个开源的多智能体聊天界面，支持在一个动态对话中管理多个智能体。

Open Multi-Agent Canvas 是一个基于 Next.js、LangGraph 和 CopilotKit 构建的开源多智能体聊天界面。它允许用户在一个动态对话中管理多个智能体，主要用于旅行规划和研究。该产品利用先进的技术，为用户提供高效、灵活的多智能体交互体验。其开源特性使得开发者可以根据需求进行定制和扩展，具有很高的灵活性和可扩展性。

让数学变得简单

Amy 是一个致力于帮助人们轻松学习数学的在线平台。它提供了各种数学学习资源，包括教程、练习题和解答等。Amy 通过简化数学概念和提供实用的学习工具，让数学变得容易理解和应用。

你的数学助手

Photo2math是一款数学助手APP，可以帮助用户解决数学问题。它提供了多种功能，包括解决数学题目、上传图片解题、手写公式解题等。Albert Bro可以帮助学生和教师更轻松地学习和教授数学知识。

数学 7b 模型，帮助解决数学问题。

Internlm2 Math 7b 是一个基于 Hugging Face 平台的数学模型，主要用于解决数学问题。它能够处理各种数学题目，包括代数、几何、概率统计等。使用该模型可以提供准确的数学计算和解答，帮助用户学习和理解数学知识。Internlm2 Math 7b 提供简单易用的 API 接口，可以方便地集成到其他应用程序中。该模型基于深度学习技术，具有较高的准确性和可靠性。它适用于教育领域的数学辅助学习、作业辅导等场景。

构建数学基础模型的数学中心语料库

MathPile是一个包含约95亿个标记的数学中心语料库，从教科书（包括讲座笔记）、arXiv、维基百科、ProofWiki、StackExchange和网页中汲取数学内容，适用于K-12、大学、研究生水平和数学竞赛。MathPile的数据质量高，并且有着丰富的数据文档，以增强透明度和给用户灵活的使用数据的能力。在授权方面，MathPile遵循BY-NC-SA 4.0许可协议，同时计划很快发布一个商业可用版本。

开源代码语言模型，支持多编程语言。

DeepSeek-Coder-V2是一个开源的Mixture-of-Experts代码语言模型，性能可与GPT4-Turbo相媲美，在代码特定任务上表现突出。它通过额外的6万亿个token进一步预训练，增强了编码和数学推理能力，同时保持了在一般语言任务上的相似性能。与DeepSeek-Coder-33B相比，在代码相关任务、推理和一般能力方面都有显著进步。此外，它支持的编程语言从86种扩展到338种，上下文长度从16K扩展到128K。

SnapXam是一个数学虚拟助手，可帮助您更快、更轻松地学习数学。具有步骤的数学求解器。

SnapXam是一个使用人工智能技术的数学学习工具，可以帮助用户理解和解决从算术到微积分的数学问题。它节省了理解数学概念和查找解释视频的时间。用户可以以更好的方式解决问题，并节省大量时间。