产品库

数学文本智能标记数据集

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

提高大学生自学效率和质量的智能学习助手

夸克App推出的AI学习助手基于自研大模型，通过智能化的解题思路和讲解方式，提升大学生自学效率和质量。采用夸克宝宝的虚拟形象进行题目讲解，提供“考点分析”“详解步骤”“答案总结”等详细内容。并通过夸克网盘实现学习资料备份和使用，以及夸克扫描王提取核心复习内容。覆盖英语等学科的选择题、填空题、阅读题等常考题型，后续将加入数学等学科。

提升大型语言模型解决数学问题的能力

ChatGLM-Math 是一个基于自我批评流程定制的数学问题解决模型，旨在提高大型语言模型（LLMs）在数学问题解决方面的能力。该模型通过训练一个通用的Math-Critique模型来提供反馈信号，并采用拒绝采样微调和直接偏好优化来增强LLM的数学问题解决能力。它在学术数据集和新创建的挑战性数据集MathUserEval上进行了实验，显示出在保持语言能力的同时，显著提升了数学问题解决能力。

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

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

快速训练和微调大型语言模型

Unsloth 是一个旨在提高大型语言模型（LLMs）训练和微调速度的平台。它通过手动推导所有计算密集型数学步骤并手写GPU内核，实现了无需硬件更改即可显著加快训练速度。Unsloth 支持多种GPU，包括NVIDIA、AMD和Intel，并提供开源版本供用户在Google Colab或Kaggle Notebooks上免费试用。它还提供了不同级别的定价方案，包括免费版、Pro版和企业版，以满足不同用户的需求。

星辰语义大模型，智能对话助手

TeleChat是由中电信人工智能科技有限公司研发的星辰语义大模型，具备强大的对话生成能力，支持多轮对话，适用于多种场景的智能问答和内容生成。模型经过大量高质量中英文语料训练，具备优秀的通用问答、知识类、代码类、数学类问答能力。

万亿参数MoE文本大模型

abab 6.5系列包含两个模型：abab 6.5和abab 6.5s，均支持200k tokens的上下文长度。abab 6.5包含万亿参数，而abab 6.5s则更高效，能在1秒内处理近3万字的文本。它们在知识、推理、数学、编程、指令遵从等核心能力测试中表现出色，接近行业领先水平。

基于7B参数的强大对话智能语言模型

360Zhinao是由奇虎360开源的一系列7B规模的智能语言模型,包括基础模型和三个不同长度上下文的对话模型。这些模型经过大规模中英文语料预训练,在自然语言理解、知识、数学、代码生成等多种任务上表现出色,并具有强大的长文本对话能力。模型可用于各种对话式应用的开发和部署。

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

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

领先的代码生成大语言模型

CodeGemma是谷歌公司推出的先进大语言模型，专注于生成代码、理解和追踪指令，旨在为全球开发人员提供高质量的代码辅助工具。包括20亿参数的基础模型，70亿参数的基础模型和用于指导追踪的70亿参数模型，针对代码开发场景进行优化和微调。在各种编程语言中表现卓越，具有超凡的逻辑和数学推理能力。

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

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

一个新的高效开源大型语言模型标准

DBRX是一个由Databricks的Mosaic研究团队构建的通用大型语言模型(LLM),在标准基准测试中表现优于所有现有开源模型。它采用Mixture-of-Experts (MoE)架构,使用362亿个参数,拥有出色的语言理解、编程、数学和逻辑推理能力。DBRX旨在推动高质量开源LLM的发展,并且便于企业根据自身数据对模型进行定制。Databricks为企业用户提供了交互式使用DBRX、利用其长上下文能力构建检索增强系统,并基于自身数据构建定制DBRX模型的能力。

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

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

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

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

Inflection-2.5是Pi的升级版个人AI，具有与世界领先LLMs如GPT-4和Gemini竞争的能力

Inflection-2.5是Inflection公司推出的升级版个人AI模型，它结合了强大的原始能力和独特的情感微调。该模型在训练时仅使用了GPT-4的40%计算资源，但在性能上接近GPT-4。Inflection-2.5在编程和数学等智力领域取得了显著进步，并集成了实时网络搜索功能，以提供高质量的新闻和最新信息。

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

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

谷歌7B参数指令调整模型

Gemma-7B-IT是谷歌开发的7B参数指令调整模型，采用Gemini架构，专为提升数学、逻辑推理和代码生成能力。该模型在普通笔记本上即可运行，无需大量AI算力，适合多种应用场景。

谷歌2B参数指令调整模型

Gemma-2B-IT是谷歌推出的2B参数指令调整模型，基于Gemini架构，专为提高数学、推理和代码处理能力而设计。该模型在普通笔记本上即可运行，无需庞大的AI算力，适用于多种应用场景。

通过Bytelearn无限制的实时辅导，真正学习并在数学考试中取得好成绩！💪

通过Bytelearn无限制的实时辅导，真正学习并在数学考试中取得好成绩！与只提供作业答案的系统不同，Bytelearn会逐步指导你解决数学问题，并帮助你理解。24/7提供实时辅导，有专业的导师团队支持。Byte AI辅导员和我们的高能导师随时为您提供帮助。Bytelearn不仅可以解决文字问题、几何图形、绘图等问题，还可以帮助您解决各种数学问题。适用于从六年级到微积分的各个数学课程，包括六年级、七年级、八年级、代数I、几何、代数II、预备微积分、微积分和统计学。准备好迎接数学考试的挑战吧！

强大的数学AI解题器

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

一键截图解答作业问题的AI助手

TutorEva是一款AI助手插件，通过一键截图并上传问题，即可获得作业问题的解答和解析。支持各类学科，如数学、化学、经济学、心理学、计算机科学等。其准确度超越GPT-4，并能提供语音和图像指导。节省时间，解决学习难题。

多语言预训练语言模型

「书生·浦语2.0」InternLM2是一个面向中文和英文的大型多语言预训练语言模型。它具有语言理解、自然语言生成、多模式推理、代码理解等强大的能力。模型采用Transformer架构并进行海量数据的预训练,在长文本理解、对话、数学运算等多个方向上都达到了业界领先水平。该系列模型包含多种规模,用户可以选择合适的模型进行下游任务微调或构建聊天机器人等应用。

Google预计将推出的付费语言模型服务

Bard Advanced是Google预计将推出的语言模型服务,基于更强大的Gemini Ultra模型打造。用户需要通过订阅Google One获得Bard Advanced的访问权限。相比免费版Bard,Bard Advanced拥有更先进的数学和推理技能,能够更高质量地回答用户的问题,并支持自定义对话机器人的创建。Bard Advanced为用户提供更加智能和专业的语言生成服务。

AI辅助SAT数学学习

Math99th是一款AI辅助的数字SAT数学学习平台，提供超过50,000个个性化测试题，针对765-800分数段进行精准备考训练，还有详尽的分析数据和个性化辅导支持。产品由ICPC世界总决赛选手、数学奥林匹克奖牌获得者、亚马逊、阿里巴巴、麦肯锡等公司的校友共同打造。

GradesAI是一个人工智能驱动的学习工具

GradesAI 是一款人工智能驱动的学习工具，可以生成预测性模拟考试，帮助学生准备真实考试。它还提供各种互动和吸引人的学习工具，如测验、闪存卡、摘要、数学辅导等。主要功能包括 PEG 算法生成预测性练习考试、用户友好的仪表板跟踪进度、智能闪存卡帮助记忆要点、数学向导解释复杂方程、实时消息支持等。适合各年级学生使用，提高学习效率，取得更好成绩。

学习助手，快速获取知识

DaHelp Quest是一款革命性的学习助手应用，可以帮助用户更智能、更快速地学习。通过录制和转录讲座、会议、图片等内容，轻松高效地生成摘要和笔记。支持各种媒体格式，包括文章、视频、音频、PPT、文档、数学公式、PDF和书籍。具有详细摘要生成、自动转录和全面的信息处理功能。

个人AI辅导，提高成绩

Jagoda是你的个人AI辅导员，直接在聊天中进行辅导，帮助你理解和解决问题。提供超过30个学科的辅导，涵盖当前课程内容。支持20多种语言，根据学校和年级水平进行个性化辅导，促进自主学习。提供详细的解题步骤，并且每次答案后都可以提出额外问题。支持拍照识别复杂数学公式的功能。注册即可获得首次免费聊天，月费12.99欧元。

由中国电信推出的千亿参数大模型

星辰语义大模型是中国电信推出的千亿参数大模型，具备强大的生成和理解能力。通过缓解多轮幻觉、增强关键信息注意力、强化知识图谱和知识溯源能力，提升模型在推理和回答准确性方面的表现。支持长文本生成和理解、知识问答、逻辑推理、数学能力和代码能力等多项功能，适用于办公、生产协同、客服等场景。

小型语言模型用于推理和理解任务

Orca 2 是一个用于研究目的的助手，通过提供单轮响应来帮助推理和理解任务，如数据推理、阅读理解、数学问题解决和文本摘要。该模型特别擅长推理。我们公开发布 Orca 2，以促进在开发、评估和对齐更小的语言模型方面的进一步研究。

让数学变得简单

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