基于LLaMa 2和Code Llama训练的数学领域的开源LLM,发布了7B、13B、34B、70B四个版本的模型,同时发布了训练数据集。能力评分跟WizardMath接近。
rStar-Math 系统采用了蒙特卡洛树搜索(MCTS)的方法,结合了基于 SLM 的数学策略模型和过程奖励模型(PPM),旨在提升数学问题的求解能力和深度思考能力。
Mathful.com是一个免费的人工智能数学解题平台,能够快速、轻松地解决数学作业问题,提供即时的逐步解答,帮助用户更好地理解数学概念,找到数学答案,并为数学考试做好准备。
Gauthmath是一款免费的即时数学题解答工具,提供准确的逐步解答和解释,帮助用户完成作业。用户可以通过下载应用或访问网站,输入数学问题或使用数学扫描功能进行求解。该工具利用人工智能技术,并提供实时辅导员协助解答数学问题。
中文Mixtral混合专家大模型,基于Mistral.ai发布的Mixtral模型,经过中文增量训练和指令精调,支持长文本处理与多种应用框架。
Socratic是一个学习平台,通过提供答案、数学解题器、解释和视频,帮助学生解决作业问题,覆盖数学、科学、历史、英语等多个学科。用户只需拍摄作业问题的照片,应用程序便会提供相关学习资源,利用Google AI,确保推荐最适合的学习材料。Socratic还与教师合作提供视觉解释,帮助用户理解各学科的重要概念。
AI Math是一个免费的在线平台,用户可以输入数学问题,系统会迅速提供解答,旨在帮助学生理解数学概念并提高他们的数学能力。
Mathberet是一个自托管的数字数学笔记本,使用React和Typescript开发,旨在为需要图形绘制、草图和LaTeX书写的平台的数学学生提供支持。
Albert Bro是一个智能数学辅导工具,用户可以拍摄数学问题,获取逐步解决方案,并清晰地理解数学概念,旨在帮助用户轻松克服数学难题。该项目可在网页和iOS平台上使用。
"Claude 3"是为工作相关任务特别设计的下一代人工智能工具,强调其在操作中的安全性和准确性。这个先进的AI系统通过claude.ai访问,提供了一个多功能平台,用户可以利用各种功能,包括图像分析和处理长文档。
Numberly 是一个免费的在线数学助手,可以即时解决数学方程和单位换算,作为浏览器扩展与工作环境无缝集成,提供实时解决方案,无需离开当前浏览器窗口。
我们的涂色页旨在为儿童提供一个愉快的创意平台,通过个性化定制孩子的名字和肯定语,不仅让他们享受创作生动艺术作品的乐趣,还提升了自信心。