收集全球10,000⁺个好用的AI软件
-
GatekeepGatekeep是一个提供个性化学习视频的平台，利用人工智能技术简化数学等学科的学习过程。该产品通过创建AI驱动的视频，帮助用户更快速地理解和掌握复杂... -
ChadViewChadview是一个基于ChatGPT的实时会议助手，用于技术面试。它能够在Zoom、Google Meet和Teams等视频会议中实时回答问题，帮... -
WolframAlphaWolfram|Alpha是一个计算智能引擎，能够提供数学、科学、历史、地理等领域的专业级知识和功能。它基于Wolfram语言和人工智能技术，能够计算... -
WolframAlphaWolfram|Alpha是一个计算智能引擎，能够提供数学、科学、历史、地理等领域的专业级知识和功能。它基于Wolfram语言和人工智能技术，能够计算...
-
SmolLM2-1.7BSmolLM2是一系列轻量级的语言模型，包含135M、360M和1.7B参数的版本。这些模型能够在保持轻量级的同时解决广泛的任务，特别适合在设备上运行... -
SnapXamSnapXam是一个使用人工智能技术的数学学习工具，可以帮助用户理解和解决从算术到微积分的数学问题。它节省了理解数学概念和查找解释视频的时间。用户可以... -
AI Math NotesAI Math Notes 是一个开源的交互式绘图应用程序，允许用户在画布上绘制数学方程。应用程序利用多模态大型语言模型（LLM）计算并显示结果。该应... -
AI Math GPT Solver Powered by GPT-4oAI Math GPT Solver是一个由GPT-4o提供动力的在线数学问题解决平台，它覆盖了代数、微积分和几何等数学领域，集成了微软数学求解器等领... -
AMchatAMchat是一个集成了数学知识和高等数学习题及其解答的大语言模型。它基于InternLM2-Math-7B模型，通过xtuner微调，专门设计用于解... -
MathΣtralMathΣtral是一款为数学推理和科学发现而设计的7B规模的AI模型，拥有32k的上下文窗口，发布于Apache 2.0许可下。它在多步复杂逻辑推理... -
AI数学解题器AI数学解题器是由数学AI和数学GPT模型（如GPT-4o）驱动的在线工具，旨在提供广泛的数学问题解决方案。它利用先进的人工智能技术，为学生和教师提供... -
NuminaMathNuminaMath是一套为训练最先进数学语言模型（SOTA math LLMs）而设计的数据库和模型。它包含860k+数学竞赛问题及其解决方案对，每... -
aimo-progress-prize这个GitHub仓库包含了训练和推理代码，用于复制我们在AI数学奥林匹克（AIMO）进展奖1中的获胜解决方案。我们的解决方案由四个主要部分组成：一个用... -
Numina Math 7BNumina Math 7B是由Numina组织开发的AI数学模型，专注于解决高难度的数学问题，特别是在数学竞赛领域。该模型在AI数学奥林匹克竞赛中获... -
Math AIMath AI是一款利用人工智能技术提供数学问题解答的应用程序。它通过截图功能，可以快速识别数学问题并提供详细的解题步骤，支持多种学科，包括数学、物理... -
MathGPT ProMathGPT Pro 是一款先进的 AI 数学解题器，旨在为全球数百万学生提供快速准确的数学问题解决方案。该产品能够处理各种数学领域的问题，如代数、... -
Qwen2-MathQwen2-Math是一系列基于Qwen2 LLM构建的专门用于数学解题的语言模型。它在数学相关任务上的表现超越了现有的开源和闭源模型，为科学界解决需... -
Qwen Math DemoQwen Math Demo 是一个专注于数学问题解答的人工智能模型，它利用先进的自然语言处理技术，能够理解和解决各种数学问题，提供准确的答案和解题过... -
Qwen2.5-MathQwen2.5-Math是一系列专门针对数学问题设计的开源大语言模型，包括基础模型和指令微调模型，支持中英双语，能够通过思维链（CoT）和工具集成推理... -
PhotomathPhotomath是一款教育类APP，它通过扫描数学问题，提供详细的解题步骤和解释，帮助用户理解数学概念。该应用支持从小学至大学各个阶段的数学学习，包...
AI爱好者的一站式人工智能AI工具箱，累计收录全球10,000⁺好用的AI工具软件和网站，方便您更便捷的探索前沿的AI技术。本站持续更新好的AI应用，力争做全球排名前三的AI网址导航网站，欢迎您成为我们的一员。
