产品库

高效能混合专家注意力路由语言模型

Yuan2.0-M32是一个具有32个专家的混合专家(MoE)语言模型，其中2个是活跃的。提出了一种新的路由网络——注意力路由，用于更高效的专家选择，提高了3.8%的准确性。该模型从零开始训练，使用了2000B个token，其训练计算量仅为同等参数规模的密集模型所需计算量的9.25%。在编码、数学和各种专业领域表现出竞争力，仅使用3.7B个活跃参数，每个token的前向计算量仅为7.4 GFLOPS，仅为Llama3-70B需求的1/19。在MATH和ARC-Challenge基准测试中超越了Llama3-70B，准确率分别达到了55.9%和95.8%。

高效能的混合专家语言模型

Yuan2.0-M32是一个具有32个专家的混合专家(MoE)语言模型，其中2个处于活跃状态。引入了新的路由网络——注意力路由器，以提高专家选择的效率，使模型在准确性上比使用传统路由器网络的模型提高了3.8%。Yuan2.0-M32从头开始训练，使用了2000亿个token，其训练计算量仅为同等参数规模密集型模型所需计算量的9.25%。在编码、数学和各种专业领域表现出竞争力，Yuan2.0-M32在总参数40亿中只有3.7亿活跃参数，每个token的前向计算量为7.4 GFLOPS，仅为Llama3-70B需求的1/19。Yuan2.0-M32在MATH和ARC-Challenge基准测试中超越了Llama3-70B，准确率分别达到了55.9%和95.8%。

高效能混合专家语言模型

Yuan2.0-M32-hf-int8是一个具有32个专家的混合专家(MoE)语言模型，其中2个是活跃的。该模型通过采用新的路由网络——注意力路由器，提高了专家选择的效率，使得准确率比使用传统路由网络的模型提高了3.8%。Yuan2.0-M32从头开始训练，使用了2000亿个token，其训练计算量仅为同等参数规模的密集模型所需计算量的9.25%。该模型在编程、数学和各种专业领域展现出竞争力，并且只使用37亿个活跃参数，占总参数40亿的一小部分，每个token的前向计算仅为7.4 GFLOPS，仅为Llama3-70B需求的1/19。Yuan2.0-M32在MATH和ARC-Challenge基准测试中超越了Llama3-70B，分别达到了55.9%和95.8%的准确率。

新一代多语言预训练模型，性能卓越。

Qwen2是一系列经过预训练和指令调整的模型，支持多达27种语言，包括英语和中文。这些模型在多个基准测试中表现出色，特别是在编码和数学方面有显著提升。Qwen2模型的上下文长度支持高达128K个token，适用于处理长文本任务。此外，Qwen2-72B-Instruct模型在安全性方面与GPT-4相当，显著优于Mistral-8x22B模型。

高效能长文本处理AI模型

Jamba 1.5 Open Model Family是AI21公司推出的最新AI模型系列，基于SSM-Transformer架构，具有超长文本处理能力、高速度和高质量，是市场上同类产品中表现最优的。这些模型专为企业级应用设计，考虑了资源效率、质量、速度和解决关键任务的能力。

数学问题的智能助手

Qwen Math Demo 是一个专注于数学问题解答的人工智能模型，它利用先进的自然语言处理技术，能够理解和解决各种数学问题，提供准确的答案和解题过程。该模型适用于教育领域，特别是辅助学生和教师进行数学学习和教学活动。它的优势在于能够处理复杂的数学表达式，提供详细的解题步骤，帮助用户更好地理解数学概念。

AI 数学解题器，帮助学生快速准确解答各种数学问题。

MathGPT Pro 是一款先进的 AI 数学解题器，旨在为全球数百万学生提供快速准确的数学问题解决方案。该产品能够处理各种数学领域的问题，如代数、方程、导数和积分，帮助学生提高学习效率和成绩。其背景技术结合了最新的人工智能算法，确保了高效和准确性，适合任何需要解答数学问题的用户。MathGPT Pro 提供了直观的用户界面，支持图像识别和语音输入，方便用户随时随地进行数学计算。

AI驱动的数学解题助手

Math AI是一款利用人工智能技术提供数学问题解答的应用程序。它通过截图功能，可以快速识别数学问题并提供详细的解题步骤，支持多种学科，包括数学、物理、化学和生物学等。它还提供教育模式，根据用户需求提供不同级别的帮助，并且支持21种语言，满足全球用户的需求。

数学领域的开源AI模型，助力数学竞赛。

Numina Math 7B是由Numina组织开发的AI数学模型，专注于解决高难度的数学问题，特别是在数学竞赛领域。该模型在AI数学奥林匹克竞赛中获得了第一名，显示出其在解决复杂数学问题上的强大能力。Numina是一个非盈利组织，致力于推动数学领域人类和人工智能的发展。

AI数学奥林匹克解决方案

这个GitHub仓库包含了训练和推理代码，用于复制我们在AI数学奥林匹克（AIMO）进展奖1中的获胜解决方案。我们的解决方案由四个主要部分组成：一个用于微调DeepSeekMath-Base 7B以使用工具集成推理（TIR）解决数学问题的配方；两个约100万个数学问题和解决方案的高质量训练数据集；一个自洽解码算法，用于生成具有代码执行反馈的解决方案候选项（SC-TIR）；四个来自AMC、AIME和MATH的精心选择的验证集，以指导模型选择并避免对公共排行榜的过拟合。

数学竞赛问题的解决方案集合

NuminaMath是一套为训练最先进数学语言模型（SOTA math LLMs）而设计的数据库和模型。它包含860k+数学竞赛问题及其解决方案对，每个解决方案都使用了链式思维（Chain of Thought, CoT）推理进行模板化。此外，还有70k+数学竞赛问题，其解决方案由GPT-4通过工具集成推理（Tool-Integrated Reasoning, TIR）生成。NuminaMath通过提供高质量的数学问题和解决方案，为教育工作者和学生提供了一个宝贵的资源，帮助他们提高数学思维和解决问题的能力。

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

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

专注于数学和科学任务的模型

Mathstral 7B 是一个专注于数学和科学任务的模型，基于 Mistral 7B。该模型在数学和科学领域的文本生成和推理方面表现出色，适用于需要高度精确和复杂计算的应用场景。模型的开发团队包括多位专家，确保了其在行业内的领先地位和可靠性。

AI驱动的数学问题解决器

AI Math GPT Solver是一个由GPT-4o提供动力的在线数学问题解决平台，它覆盖了代数、微积分和几何等数学领域，集成了微软数学求解器等领先技术，提供快速、准确的解决方案。该平台通过网页和移动应用程序提供免费、用户友好的服务，允许用户随时随地解决问题。

一个交互式绘图应用，用于数学方程的绘制和计算。

AI Math Notes 是一个开源的交互式绘图应用程序，允许用户在画布上绘制数学方程。应用程序利用多模态大型语言模型（LLM）计算并显示结果。该应用程序使用Python开发，利用Tkinter库创建图形用户界面，使用PIL进行图像处理。灵感来源于Apple在2024年全球开发者大会（WWDC）上展示的'Math Notes'。

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

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

将手写的数学文本转换为LaTeX的API。

MathHandwriting是一个将手写的数学文本转换为LaTeX的API。它提供了一种简单、高效的方式，将手写的数学方程转换为数字格式，方便学生和教师在数字环境中处理和共享数学内容。MathHandwriting通过使用AI技术，实现了将手写的数学方程转换为LaTeX格式的功能，从而提高了数学学习的效率。

一款高效经济的语言模型，具有强大的专家混合特性。

DeepSeek-V2是一个由236B参数构成的混合专家（MoE）语言模型，它在保持经济训练和高效推理的同时，激活每个token的21B参数。与前代DeepSeek 67B相比，DeepSeek-V2在性能上更强，同时节省了42.5%的训练成本，减少了93.3%的KV缓存，并提升了最大生成吞吐量至5.76倍。该模型在8.1万亿token的高质量语料库上进行了预训练，并通过监督式微调（SFT）和强化学习（RL）进一步优化，使其在标准基准测试和开放式生成评估中表现出色。

AI 代码生成工具，助力编程。

天工智码 SkyCode 是一款 AI 代码生成工具，支持各种主流编程语言，助力开发人员更快更好的编码。其功能包括二分查找、排序算法实现、代码优化等，优势在于提高编码效率，定位于提供智能编程辅助。目前提供免费试用服务，用户可以根据实际需求选择付费套餐。

Nara AI | 通过拍照解答数学和物理题

Nara AI是一款通过拍照解答数学和物理题的智能应用。它能快速准确地解答各种难题，提供易于理解的解题步骤和解析。Nara AI已经在印度尼西亚被数百名学生使用，受到广泛好评。价格信息请访问官方网站。

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

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

Grok-1.5带有改进的推理能力和128,000个标记的上下文长度。

Grok-1.5是一种先进的大型语言模型,具有出色的长文本理解和推理能力。它可以处理高达128,000个标记的长上下文,远超以前模型的能力。在数学和编码等任务中,Grok-1.5表现出色,在多个公认的基准测试中获得了极高的分数。该模型建立在强大的分布式训练框架之上,确保高效和可靠的训练过程。Grok-1.5旨在为用户提供强大的语言理解和生成能力,助力各种复杂的语言任务。

24/7人工智能辅导，真实学习，免费数学辅导

Bytelearn是一款提供24/7人工智能辅导的免费数学学习平台。它通过算术、几何、代数、微积分等多个阶段的学习，帮助学生真实学习并在数学考试中取得优异成绩。Bytelearn的独特之处在于，它不仅仅给出答案，还会引导学生逐步理解和解决问题，确保学生真正掌握数学知识。Bytelearn还提供专为学校而设计的解决方案，支持一对一的人工智能辅导、自动差异化学习、有针对性的反馈，让学习过程更加有趣和支持性。

下一代开源和双语大型语言模型

Yi-9B是01.AI研发的下一代开源双语大型语言模型系列之一。训练数据量达3T,展现出强大的语言理解、常识推理、阅读理解等能力。在代码、数学、常识推理和阅读理解等方面表现卓越,是同尺寸开源模型中的佼佼者。适用于个人、学术和商业用途。

扫描数学问题并即时获取逐步解答

使用MathGPT Chrome插件，扫描任何网站上的数学问题并即时获取逐步和清晰的数学解答。只需启用MathGPT，连接您的MathGPT账户，购买MathGPT Unlimited，点击开始扫描，选择您的数学问题，即可获得即时答案。MathGPT是最终的数学作业解答器，且不易被察觉。MathGPT还可以作为积分计算器、代数求解器、方向导数计算器、特征多项式计算器、重积分计算器、偏导数计算器和隐式导数计算器。

数学AI求解器

AI Math是一款在线免费的数学AI求解器，能够帮助您解决各种数学问题。它支持解决算术、代数、几何、三角、微积分、组合、统计概率等各类数学问题。通过AI Math，您可以获得准确的解答，并且详细的步骤说明能够帮助您更好地理解和掌握数学知识。AI Math具有99%的准确率，支持30种语言，随时随地提供24/7的在线服务。

数学文本智能标记数据集

AutoMathText是一个广泛且精心策划的数据集,包含约200GB的数学文本。数据集中的每条内容都被最先进的开源语言模型Qwen进行自主选择和评分,确保高标准的相关性和质量。该数据集特别适合促进数学和人工智能交叉领域的高级研究,作为学习和教授复杂数学概念的教育工具,以及为开发和训练专门处理和理解数学内容的AI模型提供基础。

强大的数学AI解题器

Mathful是一个先进的数学AI解题器，可以帮助您更好地理解数学，找到数学答案，为数学考试做准备等。利用机器学习技术和先进算法生成准确的数学解答。

数学AI解决方案

AI Math是一个在线免费的数学AI解决方案，帮助您克服数学困难，提供99%准确的解决方案。它可以处理算术、代数、几何、三角、微积分、组合、统计概率等各种数学问题。AI Math不仅提供答案，还通过逐步解释帮助您理解解决过程。您可以随时随地访问AI Math，它是教育者和学生的强大支持系统。

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

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