产品库

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

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

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

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

AI驱动的数学问题解决器

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

AI数学奥林匹克解决方案

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

数学AI解决方案

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

AlphaGeometry: AI解决几何问题的突破

AlphaGeometry是一个超越了现有技术水平的几何问题AI系统，它通过结合神经语言模型的预测能力和规则驱动的推理引擎，能够解决复杂的几何问题。该系统采用神经符号学方法，由神经语言模型和符号推理引擎组成，共同寻找复杂几何定理的证明。通过生成10亿个随机几何对象图形，并从中推导出所有的关系，最终得到了1亿个独特的训练样本，其中900万个包含了额外的构造。AlphaGeometry的语言模型能够在面对国际数学奥林匹克竞赛的几何问题时做出良好的建议。该系统已经成为世界上第一个能够达到国际数学奥林匹克竞赛铜牌水平的AI模型。

Mac上的原生、高性能AI应用程序

BoltAI是一款专为Mac设计的原生、高性能AI应用程序，它允许用户在单个应用程序中切换不同的顶级AI服务和本地模型。它通过提供直观的聊天界面、强大的AI命令和内联AI功能，增强了从写作、开发到管理和创业等各个职业领域的生产力。BoltAI的主要优点包括原生集成、快速响应、高度可定制以及对用户隐私的尊重。此外，它还提供了一个提示库，帮助用户充分利用AI辅助功能。

将学习资料转化为个性化测验

Quizzio是一个教育技术平台，它使用人工智能将用户的学习资料转化为个性化的测验，帮助用户发现知识盲点并测试对学习内容的理解。这个平台通过AI分析用户上传的学习材料，生成定制的测验，提供即时的反馈和改进建议，从而提高学习效率和学术表现。Quizzio的主要优点包括个性化学习体验、AI反馈、进度跟踪和移动友好设计。它适合所有希望提高学习效率和成绩的学生，尤其是那些寻求个性化学习路径和即时反馈的学习者。

一键生成个性化的涂色页

SoColoring是一个AI驱动的平台，它允许用户通过简单的文本输入来创建个性化的涂色页。这个平台特别适合儿童和教育工作者，因为它能够激发孩子们的绘画兴趣，同时提供一种寓教于乐的方式。SoColoring利用人工智能技术，将文本转换为可打印的涂色图案，极大地简化了传统涂色页的制作过程。产品背景信息显示，SoColoring在2024年保留所有权利，并且提供了多种语言选项，包括中文。价格方面，用户可以访问定价页面了解更多详情。

AI生成演示文稿、脚本、测验和论文

KindlePPT是一个AI驱动的工具，可以快速生成吸引人的演示文稿、脚本、测验和论文，是教育工作者、商业专业人士以及需要快速制作引人入胜内容的任何人的核心解决方案。它提供直观的工具和可定制的模板，增强了沟通和观众参与度。此外，它还提供免费功能，如退出计划器、课程票创建器和摘要器，以进一步支持您的内容创作过程。

高效OCR阅读工具，快速获取书籍精华。

小虫快读是一款基于OCR和AI大语言模型的高效阅读工具，通过手机相机拍摄书籍页面，利用先进的OCR技术自动识别文字，AI大语言模型几秒内生成书籍的核心内容和精华总结，并通过AI语音播放功能，让用户轻松听书，解放双眼，提升学习效率。

AI时代的技能学习平台

Novela是一个专注于AI时代技能学习的在线平台，提供早期访问服务，用户可以免费试用。它旨在帮助用户掌握AI相关的技能，以适应未来职场的需求。

AI国际象棋机器人，智能对弈与教学

元萝卜AI下棋机器人是商汤科技旗下家用机器人品牌，通过AI科技为孩子的健康、学习、快乐成长保驾护航。产品具备陪练涨棋、棋力闯关、巅峰对决、在线对弈、残局挑战、AI打谱、AI习题精练、棋局分享等功能，旨在通过真实棋盘棋子的交互，保护孩子视力，同时提高棋艺水平。

手机拍题，秒出解答

Uknow.AI是一款面向学生和家长的教育类APP，通过手机拍照即可识别数学题型并给出答案和解析，支持多种数学计算和练习方式，旨在提高学习效率和数学解题能力。

智能舞蹈练习工具，助力少儿舞蹈学习

大象起舞是一个专为少儿设计的舞蹈智能练习工具，结合了最新的人工智能技术，通过视频分析和动作捕捉技术，帮助孩子们更准确地学习和练习舞蹈动作。产品通过实时反馈和个性化指导，提高孩子们的舞蹈技能，同时增加学习的乐趣。

AI技术动手实践Excel教程

ai-by-hand-excel是一个通过Excel进行AI技术实践的资源库，它通过提供一系列Excel文件，让用户能够手动执行和理解AI模型的关键操作，如Softmax、LeakyReLU、Backpropagation和Transformer等。这个资源库适合于希望深入了解AI模型内部工作机制的初学者和教育工作者，能够帮助他们通过实际操作来加深对AI技术的理解。

通过扫描问题提供数学解题步骤和解释。

Photomath是一款教育类APP，它通过扫描数学问题，提供详细的解题步骤和解释，帮助用户理解数学概念。该应用支持从小学至大学各个阶段的数学学习，包括代数、几何、三角学、统计学和微积分等。Photomath不仅帮助用户解决作业问题，还通过提供学习资源和文章，帮助用户克服数学焦虑，提高学习效率。

AI生成汉语词汇新颖解释及图像。

汉语新解是一个基于AI技术的项目，它使用李继刚的Prompt模板对中文名词进行二次翻译，并生成美观的图像。该项目不仅提供了智能词汇解释功能，还支持SVG图像生成，使得每个解释都配有独特的视觉化展示。此外，它还提供了预设模板、图像下载与复制功能，以及响应式设计，以适配不同设备的屏幕，提供流畅的用户体验。

多功能AI超级应用，涵盖社交、电商、娱乐和教育。

BNA AI Super App是一款集成了多种智能服务的超级应用，它不仅提供社交功能，如分享帖子、写博客、聊天和视频通话，还涵盖了AI电商和娱乐服务。此外，该应用还提供40种语言的AI教学服务，帮助用户学习不同的语言。BNA AI Super App以其强大的AI功能和多语言支持，满足了不同用户群体的需求。

AI驱动的播客转录与洞察工具

HyperCatcher是一款利用人工智能技术为播客听众提供转录服务的应用程序。它能够在后台自动转录用户收听的播客内容，并提供搜索和参考的文本。此外，它还具备即时获取讨论话题来源、笔记链接、上下文操作等高级功能，帮助用户更深入地学习和理解播客内容。

数学问题的智能助手

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

AI技术与纸质书的结合，让阅读体验无限扩展。

BookLed是一款结合了AI技术与纸质书的产品，它通过内置的电子硬件和页面识别传感器，能够识别用户正在阅读的页面，并在用户翻页时将页码信息发送至电脑。随后，通过Python代码调用OpenAI API，利用生成性AI技术丰富和扩展用户的阅读体验。所有相关代码均为开源，可在GitHub上下载。

简化复杂研究，让知识触手可及。

Jotlify是一个致力于将复杂的研究论文转化为易于理解的故事和洞察的平台。它通过AI技术，将学术论文转化为引人入胜的故事，帮助学生、研究人员、专业人士和好奇的头脑轻松获取有价值的信息。Jotlify的主要优点包括：简化了阅读体验，通过AI问答提供即时详细答案，允许用户上传自己的论文进行分析，以及提供先进的搜索和合并功能。

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

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

AI驱动的数学解题助手

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

智能生成考试复习题

Zenquiz是一款将学习笔记转换为考试复习题的在线工具。它利用AI技术帮助学生、教师和企业用户提高学习效率和教学体验，通过个性化的选择题、判断题和填空题来强化记忆并准备考试。产品背景是教育领域的数字化转型，主要优点包括个性化学习、节省时间、增强记忆和提升参与度。

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

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

AI赋能心理咨询，提升咨询效率与质量。

Therapartners是一款专注于心理咨询领域的AI技术产品。它通过提供AI咨询转录、AI咨询总结、AI逐字稿分析和AI在线Partner等服务，帮助咨询师更高效、更精准地进行心理咨询工作。产品利用AI大模型技术，结合全球心理咨询行业知识库，为咨询师提供实时反馈和深度见解，同时支持中英双语，极大地提升了咨询整理效率，赋能咨询师专注于提供更高质量的心理咨询服务。

AI驱动的旅行翻译助手

Travel Echo是一款AI驱动的翻译应用程序，专为旅行者设计，能够将对话翻译成100多种语言，帮助用户在不同语言环境中进行有效沟通。它通过先进的AI技术提供准确的翻译，支持音频播放和音标转录，帮助用户自信地与当地人交流。

利用AI生成个性化学习卡片，提升学习效率。

ZapCardz是一款AI驱动的学习卡片应用，旨在通过智能技术帮助用户更高效地学习。它通过AI生成个性化的学习卡片，支持用户学习新语言，无需手动创建卡片，同时提供手动创建和修改功能。应用界面友好，支持用户在移动中随时更新和个性化卡片，并通过互动学习方式提高学习动力。