产品库

快速查找定理

Moogle是一个用于快速查找定理的网站。它提供强大的搜索功能，帮助用户更快地找到所需的数学定理。Moogle还提供定理的详细介绍和应用示例，方便用户理解和应用。Moogle是数学学习和研究的强大工具。

手机拍题，秒出解答

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

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

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

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

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

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

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

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

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

让数学变得简单

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

你的数学助手

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

智能AI解答数学问题，帮助你更好地完成作业

Mathly是一个基于人工智能的数学作业帮助工具。通过拍照上传问题，我们的AI可以解答数学问题并以易懂的方式解释答案。不仅如此，我们的AI还能回答你的追问，并生成类似的问题以检查你的理解。Mathly将帮助你更轻松地学习数学，理解问题并提高成绩。请通过官方网址了解更多信息。

扫描作业和解决数学问题，照片求解器，物理化学，雅思托福GRE

Homeworkify是您的终极作业助手，旨在帮助各年龄段的学生轻松完成作业。无论您在数学问题、科学项目还是论文写作方面遇到困难，Homeworkify都能让您的学术之旅更加顺利和愉快。Homeworkify拥有多种功能和用户友好的界面，是学生追求卓越学业的完美伴侣。

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

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

Goedel-Prover 是一款开源的自动化定理证明模型，专注于数学问题的形式化证明。

Goedel-Prover 是一款专注于自动化定理证明的开源大型语言模型。它通过将自然语言数学问题翻译为形式化语言（如 Lean 4），并生成形式化证明，显著提升了数学问题的自动化证明效率。该模型在 miniF2F 基准测试中达到了 57.6% 的成功率，超越了其他开源模型。其主要优点包括高性能、开源可扩展性以及对数学问题的深度理解能力。Goedel-Prover 旨在推动自动化定理证明技术的发展，并为数学研究和教育提供强大的工具支持。

OpenThinker-32B 是一款强大的开源推理模型，专为提升开放数据推理能力而设计。

OpenThinker-32B 是由 Open Thoughts 团队开发的一款开源推理模型。它通过扩展数据规模、验证推理路径和扩展模型大小来实现强大的推理能力。该模型在数学、代码和科学等推理基准测试中表现卓越，超越了现有的开放数据推理模型。其主要优点包括开源数据、高性能和可扩展性。该模型基于 Qwen2.5-32B-Instruct 进行微调，并在大规模数据集上训练，旨在为研究人员和开发者提供强大的推理工具。

提供字幕下载、解析、生成、翻译及格式转换等功能的一站式字幕服务平台

熊猫字幕是一个专注于字幕服务的平台，其功能覆盖字幕下载、解析、生成、翻译及格式转换等。该平台为用户提供了便捷的字幕获取和处理方式，无论是学习外语、制作视频还是其他需要字幕的场景，都能满足用户的需求。它的重要性在于满足了用户对字幕的多样化需求，提高了视频内容的可访问性和可理解性。目前，熊猫字幕以免费的形式提供服务，旨在为广大用户提供便利。

网易有道开发的轻量级推理模型，可在单个GPU上部署，具备类似o1的推理能力。

Confucius-o1-14B是由网易有道团队开发的推理模型，基于Qwen2.5-14B-Instruct优化而成。它采用两阶段学习策略，能够自动生成推理链，并总结出逐步的问题解决过程。该模型主要面向教育领域，尤其适合K12数学问题的解答，能够帮助用户快速获取正确解题思路和答案。模型具备轻量化的特点，无需量化即可在单个GPU上部署，降低了使用门槛。其推理能力在内部评估中表现出色，为教育领域的AI应用提供了强大的技术支持。

将YouTube视频快速转换为AI生成的笔记，节省时间，专注学习。

Swiftnotes.ai 是一款专注于提升学习效率的工具，它利用AI技术将YouTube视频内容快速转换为结构化的笔记。这种技术能够帮助用户节省大量的手动笔记时间，同时通过内嵌的引用链接，用户可以快速跳转到视频的关键部分。该产品的定位是为学生、研究人员和知识工作者提供高效的学习解决方案，目前暂未明确其是否收费，但其高效、便捷的特性使其在教育领域具有重要价值。

一个帮助用户练习绘画技巧、激发创意的在线绘画工具。

WhatToDraw.art 是一个专注于绘画练习的在线平台。它通过简单有趣的挑战，如绘制圆形、使用绘画生成器和转盘工具等，帮助用户提升绘画技巧。该平台的核心技术在于其评分系统，能够实时分析用户作品的准确性，如圆形的半径一致性和平滑度。其主要优点是提供了一个互动性强、易于上手的学习环境，适合所有年龄段的绘画爱好者。该产品免费开放，旨在通过趣味性的方式激发用户的创造力和艺术兴趣。

在线学习Python、AI、大模型、AI写作绘画课程，零基础轻松入门。

Mo是一个专注于 AI 技术学习和应用的平台，旨在为用户提供从基础到高级的系统学习资源，帮助各类学习者掌握 AI 技能，并将其应用于实际项目中。无论你是大学生、职场新人，还是想提升自己技能的行业专家，Mo都能为你提供量身定制的课程、实战项目和工具，带你深入理解和应用人工智能。

碎片式学习体系化 AI 知识，激活你的 AI 生产力

卡片就是力量，一张卡片，一份知识！Mo 卡片通过轻松的卡片学习方式，掌握 AI 核心知识和实用技能，让你快速成长；每日更新 AI 实事卡片，足不出户了解 AI 奇闻；AI 变现新方式，手把手教你赚钱，开启兼职新大陆；每月福利活动，参加就有奖励拿，月月都有新玩法！浙江大学团队精心打造的学习生态，帮助你边学边赚，轻松跨越 AI 时代的门槛！

基于思维导图变化的首个AI生成平台，让AI与你的思维方式对齐。

Minduck是一个创新的AI平台，通过视觉思维工具引导AI生成过程，使用户能够以清晰、有组织的步骤将想法变为现实。它旨在帮助那些在技术面前感到挣扎的人，通过自然的方式创造、探索和构建想法，释放AIGC的潜力。该平台强调个性化和直观的用户体验，提供免费试用，定位为教育、创作和商业领域中的创意和学习工具。

一款通过反思和AI技术提升阅读效果的APP

2Read App是一款旨在提升用户阅读体验的移动应用程序。它通过同步Kindle高亮、提供每日回顾功能以及利用AI技术生成词汇解释、高亮洞察和内容摘要等方式，帮助用户更好地理解和记忆阅读内容。该产品的核心优势在于其结合了传统阅读与现代技术，使用户能够更深入地反思和吸收书籍中的知识。产品定位为阅读爱好者和终身学习者，价格方面，基础功能免费，但AI功能需要购买相应的AI积分。其背景信息显示，该APP由1truejishnu开发，致力于通过技术创新推动个人成长和知识获取。

强大的AI数学解题器，提供准确答案和逐步解决方案。

OKMath AI Math Solver 是一款先进的AI数学解题工具，旨在为学生提供准确的数学问题解决方案。该产品利用强大的AI技术，结合超过1000万道数学练习题的庞大数据库，通过自训练的AI模型和多重交叉验证算法，确保每个问题的解答都是准确无误的。其主要优点包括高准确率、详细的逐步解答、以及广泛的数学问题覆盖范围。OKMath不仅适用于学生的学习和作业辅导，也适用于教师的教学辅助和家长的辅导。该产品的定位是为所有水平的学习者提供一个全面的数学学习工具，帮助他们更好地理解和掌握数学知识。

AI定制的环境音混合，帮助提升专注力和生产力。

Project Ambience是一款利用人工智能技术为用户提供定制化环境音的应用程序。它通过创建不同的环境空间，如专注、学习、放松和睡眠等，帮助用户在各种场景下提高专注力和生产力。该产品的核心优势在于其AI算法能够根据用户的需求和偏好生成个性化的环境音混合，从而创造出最佳的工作和学习氛围。产品背景信息显示，它是由Zeee Studio开发，旨在解决用户在工作和学习中容易受到干扰的问题。价格方面，Project Ambience提供免费版本和一次性付费的附加服务，用户可以根据自身需求选择合适的方案。其定位是为追求高效工作和学习的用户提供一个简单易用且高效的工具。

基于PRIME方法训练的7B参数语言模型，专为提升推理能力而设计。

PRIME-RL/Eurus-2-7B-PRIME是一个基于PRIME方法训练的7B参数的语言模型，旨在通过在线强化学习提升语言模型的推理能力。该模型从Eurus-2-7B-SFT开始训练，利用Eurus-2-RL-Data数据集进行强化学习。PRIME方法通过隐式奖励机制，使模型在生成过程中更加注重推理过程，而不仅仅是结果。该模型在多项推理基准测试中表现出色，相较于其SFT版本平均提升了16.7%。其主要优点包括高效的推理能力提升、较低的数据和模型资源需求，以及在数学和编程任务中的优异表现。该模型适用于需要复杂推理能力的场景，如编程问题解答和数学问题求解。

一个提供多样化知识视频的在线学习平台

Teach Me Anything 是一个专注于提供多样化知识视频的在线学习平台。该平台通过生动有趣的视频形式，帮助用户学习各种科学、数学和自然现象等领域的知识。其主要优点在于内容的多样性和趣味性，能够激发用户的学习兴趣。产品背景信息显示，该平台旨在通过视觉化的方式，使复杂的知识变得易于理解和记忆。目前，该平台是免费提供的，适合所有希望扩展知识面的用户。

一款高效率的2.4亿参数轻量级语言模型

YuLan-Mini是由中国人民大学AI Box团队开发的一款轻量级语言模型，具有2.4亿参数，尽管仅使用1.08T的预训练数据，但其性能可与使用更多数据训练的行业领先模型相媲美。该模型特别擅长数学和代码领域，为了促进可复现性，团队将开源相关的预训练资源。

AI数学家教，实时计算和渲染LaTeX格式数学问题

Math Tutor on Groq是一个由Groq驱动的AI数学家教项目，它利用8090的xRx框架、Whisper和Llama 3.3 70b模型以及Elevenlabs的TTS技术，以实时对话的方式回应学生的数学问题。Groq的高速度使得复杂问题的响应几乎瞬间完成，提供了流畅的学习体验。该项目还可以通过内部数学引擎解决代数和微积分问题，然后将解决方案作为上下文提供给AI，以提高回应的准确性。

AI驱动的在线成语学习平台，趣味互动学习中国传统文化

成语游戏大全是一个集成了多种成语游戏的在线学习平台，旨在通过趣味互动的方式让学习成语变得简单有趣。平台提供了成语闯关、成语接龙、成语消消乐等多种游戏，结合成语词典和成语故事，形成了完整的学习体系。通过游戏化学习，可以提升语言能力、文化素养、思维能力，并培养学习兴趣。产品背景信息显示，成语游戏大全适合各年龄层的用户，特别是在校学生、语言学习者和文化爱好者，有助于提升语文成绩、中文水平和对中华传统文化的理解和欣赏。

用于强化学习验证的数学问题数据集

RLVR-GSM-MATH-IF-Mixed-Constraints数据集是一个专注于数学问题的数据集，它包含了多种类型的数学问题和相应的解答，用于训练和验证强化学习模型。这个数据集的重要性在于它能够帮助开发更智能的教育辅助工具，提高学生解决数学问题的能力。产品背景信息显示，该数据集由allenai在Hugging Face平台上发布，包含了GSM8k和MATH两个子集，以及带有可验证约束的IF Prompts，适用于MIT License和ODC-BY license。

将你的Notion笔记转化为互动学习系统

NotionFlashcard是一个集成到Notion的在线学习工具，它通过间隔重复和主动回忆技术，帮助用户将笔记转化为长期记忆。这个工具的主要优点在于它能够让用户在不改变笔记习惯的情况下，通过Notion平台直接创建、复习和跟踪学习进度。NotionFlashcard由意大利开发者Luca Landriscina创建，他之前开发了Crammate，一个AI驱动的抽认卡生成器。NotionFlashcard提供了免费模板和付费订阅服务，付费服务包括无限抽认卡组、智能间隔重复、进度跟踪与分析等功能。