收集全球10,000⁺个好用的AI软件
-
Uknow.AIUknow.AI是一款面向学生和家长的教育类APP,通过手机拍照即可识别数学题型并给出答案和解析,支持多种数学计算和练习方式,旨在提高学习效率和数学解...
-
My Math Solver AIAI数学求解器是一款利用人工智能解决各种数学问题的先进工具。它由Math GPT模型(如GPT-4o)驱动,提供全面的数学问题解决方案。该产品通过在线...
-
FrontierMathFrontierMath是一个数学基准测试平台,旨在测试人工智能在解决复杂数学问题上的能力极限。它由超过60位数学家共同创建,覆盖了从代数几何到Zer...
-
AI Homework HelperAI Homework Helper是一个在线工具,旨在帮助学生解决他们的家庭作业问题。用户可以上传图片或PDF格式的作业,AI会即时提供准确的解决方...
-
ProcessBenchProcessBench是一个专注于数学推理错误的识别工具。它通过分析数学问题的解决步骤来识别过程中的错误,这对于教育领域尤其是数学教育具有重要意义。...
-
mathtutor-on-groqMath Tutor on Groq是一个由Groq驱动的AI数学家教项目,它利用8090的xRx框架、Whisper和Llama 3.3 70b模型...
-
GatekeepGatekeep是一个提供个性化学习视频的平台,利用人工智能技术简化数学等学科的学习过程。该产品通过创建AI驱动的视频,帮助用户更快速地理解和掌握复杂...
-
Teach Me AnythingTeach Me Anything 是一个专注于提供多样化知识视频的在线学习平台。该平台通过生动有趣的视频形式,帮助用户学习各种科学、数学和自然现象等...
-
Math-GPTMathGPT是一款先进的AI数学求解工具,旨在帮助学生、教师和专业人士轻松解决复杂的数学问题。它利用先进的机器学习算法,能够以极高的准确率和速度理解...
-
OKMath AIOKMath AI Math Solver 是一款先进的AI数学解题工具,旨在为学生提供准确的数学问题解决方案。该产品利用强大的AI技术,结合超过10...
-
rStar-MathrStar-Math是一项研究,旨在证明小型语言模型(SLMs)能够在不依赖于更高级模型的情况下,与OpenAI的o1模型相媲美甚至超越其数学推理能力...
-
Confucius-o1-14BConfucius-o1-14B是由网易有道团队开发的推理模型,基于Qwen2.5-14B-Instruct优化而成。它采用两阶段学习策略,能够自动生...
-
DeepScaleR-1.5B-PreviewDeepScaleR-1.5B-Preview 是一个经过强化学习优化的大型语言模型,专注于提升数学问题解决能力。该模型通过分布式强化学习算法,显著提...
-
Light-R1-14B-DSLight-R1-14B-DS 是由北京奇虎科技有限公司开发的开源数学模型。该模型基于 DeepSeek-R1-Distill-Qwen-14B 进行...
-
混元T1混元T1 是腾讯推出的超大规模推理模型,基于强化学习技术,通过大量后训练显著提升推理能力。它在长文处理和上下文捕捉上表现突出,同时优化了计算资源的消耗...
-
AskViaAsk Via是一款基于AI技术的聊天机器人,可以帮助用户回答问题、完成任务。通过与WhatsApp无缝集成,使用GPT-3.5技术,Ask Via能...
-
MAVISMAVIS是一个针对多模态大型语言模型(MLLMs)的数学视觉指令调优模型,主要通过改进视觉编码数学图表、图表-语言对齐和数学推理技能来增强MLLMs...
-
Gemini ProGemini Pro是DeepMind推出的一款高性能多模态AI模型,专为广泛的任务设计,具有高达两百万token的长上下文窗口,能够处理大规模文档、...
-
Yuan2-M32-hf-int4Yuan2.0-M32是一个具有32个专家的混合专家(MoE)语言模型,其中2个处于活跃状态。引入了新的路由网络——注意力路由器,以提高专家选择的效率...
-
Yuan2.0-M32-hf-int8Yuan2.0-M32-hf-int8是一个具有32个专家的混合专家(MoE)语言模型,其中2个是活跃的。该模型通过采用新的路由网络——注意力路由器,...