Socratic by Google官网 – AI辅助学习平台

Mathful.com是一个免费的人工智能数学解题平台，能够快速、轻松地解决数学作业问题，提供即时的逐步解答，帮助用户更好地理解数学概念，找到数学答案，并为数学考试做好准备。

MathGPTPro是一个专注于高阶数学问题解决的AI工具，旨在简化复杂的数学难题，结合了人工智能的强大能力与数学专业知识。

x-math是一个由GPT-4驱动的24/7数学辅导工具，提供逐步指导和问题解决服务，让数学变得简单无压力。无论何时何地，您都可以获得个性化的帮助。

MathSolverAI 是一个综合性的工具，可用于解决各种数学问题，从基础算术到复杂方程。它采用机器学习算法来识别手写内容并求解方程。

这是最大的约 100 万个数学竞赛问题解决方案对的集合，难度从初级挑战赛到数学奥林匹克预选赛不等。

Albert Bro是一个聊天机器人，旨在帮助用户理解数学问题，提供逐步的解题方案，以及支持照片和草图上传，以便更好地解答用户的数学疑问。

AI Math是一个免费的在线平台，用户可以输入数学问题，系统会迅速提供解答，旨在帮助学生理解数学概念并提高他们的数学能力。

基于LLaMa 2和Code Llama训练的数学领域的开源LLM，发布了7B、13B、34B、70B四个版本的模型，同时发布了训练数据集。能力评分跟WizardMath接近。

Gauthmath是一款免费的即时数学题解答工具，提供准确的逐步解答和解释，帮助用户完成作业。用户可以通过下载应用或访问网站，输入数学问题或使用数学扫描功能进行求解。该工具利用人工智能技术，并提供实时辅导员协助解答数学问题。

photomath.app是一款强大的数学帮助应用，用户可以通过扫描或输入数学问题来获取详细解答和步骤，从而帮助理解数学作业和学习数学概念。

rStar-Math 系统采用了蒙特卡洛树搜索（MCTS）的方法，结合了基于 SLM 的数学策略模型和过程奖励模型（PPM），旨在提升数学问题的求解能力和深度思考能力。

图像到标题是一个利用人工智能技术生成图像描述的工具，用户只需上传图片，AI模型即可分析内容并生成引人注目的标题。该工具适用于社交媒体、博客文章、数字营销等多种场景，帮助用户轻松创建内容。

Numberly 是一个免费的在线数学助手，可以即时解决数学方程和单位换算，作为浏览器扩展与工作环境无缝集成，提供实时解决方案，无需离开当前浏览器窗口。

利用大型语言模型（LLM）作为数学问题的黑箱求解器，为数学问题提供自动化解决方案，探索数学与人工智能的结合

MathMate是一个智能AI，可以帮助用户掌握数学知识。作为一个有趣的学习伙伴，它提供问题解决方案、逐步解释和互动练习。MathMate能够根据用户的学习风格进行调整，使学习数学变得有趣和高效。