产品库

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

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

强大的数学AI解题器

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

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

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

最强大的为学生打造的AI

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

AI智能辅导，学霸随身

Studdy AI是一款AI智能辅导应用，帮助用户解决数学问题并提供个性化学习支持。它通过简单易懂的步骤分解解题过程，可解决代数、几何、微积分、统计学、物理学等各种数学问题。Studdy AI具有高准确率的数学AI，帮助用户进行有针对性的练习，提升数学成绩。该应用已经在SAT数学考试中取得了800分的成绩，并在解决应用题方面比ChatGPT减少了60%的错误。用户可以随时随地通过Studdy AI获得问题解答和学习支持。

手机拍照即可做题解题App

这是一个帮助用户解决数学题目的App。它具有拍照做题的功能,用户只需要使用手机拍摄数学题目,App就可以自动识别题目并给出解题步骤。该App包含基础计算器、科学计算器、图形计算器等多种功能,还可进行脑筋训练、提供考试培训等服务。它具有人工智能解题引擎,可以智能识别各类数学题型并给出步骤详细的解法提示。该App适用于各阶段学生、职场白领以及需要频繁进行数学计算的专业人员。

你的数学助手

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

免费数学学习应用

Math-X是一款免费的数学学习应用。它提供无限的数学学习资源，让你可以按照自己的速度探索数学的无限世界。无论是解决普通题目还是复杂的应用题，Math-X都能助你轻松应对。它提供实时的解答，24/7在线服务。同时，它还提供全面的课本解析，让你不仅能得到答案，还能理解解题过程。Math-X将释放你的数学超能力！

绘图，问答，图片处理一站式 AI 服务

小门道 AI 是一个提供 AI 服务的网站，包括 Midjourney 和 Stable Diffusion 绘图，chatgpt 对话，抠图，去除水印，魔法抹除，图片变清，无损放大等功能。我们提供智能问答功能，可联网搜索，任务式 (基于 AutoGPT)，学术助理，上传文件，数学解题等。同时，我们还提供抠图、放大变清、转矢量图、人脸融合等图片处理功能。产品定价根据具体功能和使用情况而定，定位于提供高质量的 AI 服务。

学生最强大的AI助手，立即写作、解题、编程等

Caktus AI是学生们的最强大的AI助手，可以帮助他们进行写作、解题、编程等各种学习任务。它提供了优质的学术资源，可以帮助学生撰写更好的论文并生成引用。此外，Caktus AI还能够提供数学、科学和物理等学科的步骤解答，帮助学生解决难题。同时，它也是学习编程的绝佳工具，支持多种编程语言，并提供代码解释和转换功能。Caktus AI还可以个性化写作风格、准备文档和与AI聊天等功能。

拍照搜题，解答更轻松

搜题助手是一款能够帮助用户解答作业问题的产品。用户只需拍照上传问题，搜题助手将提供答案、数学解题器、解释和视频等帮助。无论是数学、科学、历史、英语等各科作业问题，都能得到解答。搜题助手提供便捷的学习工具，帮助用户更好地学习。

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

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

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

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