Socratic是一个学习平台，通过提供答案、数学解题器、解释和视频，帮助学生解决作业问题，覆盖数学、科学、历史、英语等多个学科。用户只需拍摄作业问题的照片，应用程序便会提供相关学习资源，利用Google AI，确保推荐最适合的学习材料。Socratic还与教师合作提供视觉解释，帮助用户理解各学科的重要概念。
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能够根据用户的学习风格进行调整，使学习数学变得有趣和高效。
Gemini是由谷歌DeepMind开发的生成性人工智能聊天机器人，能够基于大量公开数据进行训练，能够与用户进行人类般的对话并生成文本，适用于多种问题的回答和任务的执行。
QuantPrep AI 是一款基于AI的Chrome扩展，专为GRE和GMAT数学备考设计。它能够分析你屏幕上的数学题目，并提供解题提示和策略，而不是直接给出答案，帮助用户提高解题能力和思维方式。
