产品库

数学文本智能标记数据集

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

数学AI解决方案

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

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

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

教育AI助教，帮助教师提高效率和教学质量

MagicSchool AI是一款基于生成式AI的教育助手平台，旨在帮助教师提高效率和教学质量。MagicSchool AI为教师提供了50多种智能工具，包括编写课程计划、批改学生作业、个性化数学问题生成、制作评分标准、制定IEP、差异化教学、生成测验等。MagicSchool AI还提供了Chrome浏览器插件，方便教师随时随地使用这些工具。

最强大的为学生打造的AI

Caktus AI是一个全新的教育助手,专为学生提供写作、解题、编程等强大功能,助你轻松完成作业。它可以根据你的写作风格,为你生成各种高质量的文章;同时它也可用于数学、科学等题目的步步解答,无需编码就可以与它进行交互;此外,它还支持多种编程语言,能帮助你学习代码。Caktus AI让你拥有一个私人教育伙伴,它将成为你永远的知识后盾。

AI Teachakey: 用人工智能更聪明地工作

AI Teachakey是一款利用人工智能技术提供教育解决方案的产品。它包括课程计划生成器、评估生成器、课程生成器、讲义生成器等功能，帮助教育者提高工作效率，优化教学流程，提升学生学习成果。AI Teachakey还提供数学、物理和化学求解器，帮助解决复杂的数学问题和挑战性的物理、化学概念。AI Teachakey在教育领域的定位是革命性创新的技术，旨在提供智能化的教育解决方案。

提高全球儿童的数据科学和机器学习素养

HAILabs致力于提高K12学生的人工智能、数据和数据科学素养。通过互动活动、项目和个性化内容，让孩子们在1:1人工智能导师的指导下，以自己的节奏取得优秀成绩。通过Hello AI-HAILabs.ai，将应用数学、统计学以及令人兴奋的人工智能和数据科学引入孩子们的生活。平台根据最新的儿童学习研究成果，在儿童心理学家和教育专家的指导下开发，帮助孩子们熟悉人工智能和数据科学，并享受学习的过程。

连接过去，启迪未来

通过与历史上最具影响力的人物进行对话，获取他们的思想、信仰和观点，用以指导自己的决策。我们提供与艺术家、作家、历史人物、科学家和数学家等不同类别的虚拟人物进行交流，提供沉浸式、互动的教育体验。

拍照即识别数学、化学和语言，提供智能解答

SorSor是一款AI助手应用，通过拍照识别数学、化学和语言，提供即时解答。它拥有现代化的AI技术，可以快速解答数学方程和化学公式，并提供学习辅助功能。用户友好的界面设计让学习变得更轻松愉快，节省时间和精力。SorSor的速度和效率无与伦比，准确的结果能够快速呈现，让学习过程更加高效。SorSor还以平易近人的价格让教育技术更加普及，为用户提供出色的产品和性价比。快来使用SorSor，探索无尽的知识世界吧！

计算智能，万事通

Wolfram|Alpha是一个计算智能引擎，能够提供数学、科学、历史、地理等领域的专业级知识和功能。它基于Wolfram语言和人工智能技术，能够计算和解答各种问题。Wolfram|Alpha的优势在于其强大的算法和知识库，广泛应用于学生、专业人士和教育机构。定价和定位请访问官方网站获取更多信息。

一个完全开源的大型语言模型，提供先进的自然语言处理能力。

MAP-NEO是一个完全开源的大型语言模型，它包括预训练数据、数据处理管道（Matrix）、预训练脚本和对齐代码。该模型从零开始训练，使用了4.5T的英文和中文token，展现出与LLaMA2 7B相当的性能。MAP-NEO在推理、数学和编码等具有挑战性的任务中表现出色，超越了同等规模的模型。为了研究目的，我们致力于实现LLM训练过程的完全透明度，因此我们全面发布了MAP-NEO，包括最终和中间检查点、自训练的分词器、预训练语料库以及高效稳定的优化预训练代码库。

Question AI Homework Helper是一个免费的AI作业助手，可以帮助你解答问题。

Question AI Homework Helper是一个免费的AI作业助手，旨在帮助学生解答各种问题。它使用人工智能技术，能够快速准确地回答各种学科的问题。无论是数学、科学、历史还是其他学科，Question AI Homework Helper都能够提供详细且易于理解的答案。它的主要优点是快速、准确和免费。不需要注册或登录，只需输入问题即可获取答案。

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

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版和企业版，以满足不同用户的需求。

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

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

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

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提示格式。

您的智能AI语音驱动型预算助手

Blahget是一款先进的AI预算助手,可简化财务管理。它利用GPT-4驱动的语音识别技术,实现无缝跟踪支出和收入。从今天开始您的智能预算之旅吧。它可以通过语音快速创建、编辑和删除记录,支持搜索、筛选和排序等操作,并可执行数学计算。迄今已记录超过10万条数据条目。

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

在线作图工具，实时协作

ProcessOn 是一款专业在线作图工具和知识分享社区，支持 AI 生成思维导图、流程图等多种图形，实现多人实时在线协作。功能丰富，支持 Markdown、LaTeX 数学公式插入，可导出为大纲、Word 等格式。团队协作共享，提升工作效率。免费使用，提供团队版服务。

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,展现出强大的语言理解、常识推理、阅读理解等能力。在代码、数学、常识推理和阅读理解等方面表现卓越,是同尺寸开源模型中的佼佼者。适用于个人、学术和商业用途。

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

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