Mistral Large Mistral Large是Mistral AI开发的一款先进的大型语言模型,具备出色的多语言推理能力和强大的上下文理解能力。它在多个基准测试中表现出色,尤其是在多语言处理、推理和知识、数学与编程方面。Mistral Large支持多语言处理,并且能精确遵循指令,还支持函数调用,便于与开发者工具集集成。此外,该模型可通过Azure AI Studio和Azure Machine Learning平 AI项目与工具 2024年01月01日 86 点赞 0 评论 967 浏览
CoachON CoachON是一款基于AI大模型的数学学习平台,专为中小学生设计。它可根据学生特点定制学习计划,提供AI辅导老师实时答疑,结合海量题库、教学视频和模拟考试等功能,帮助学生高效提升数学能力。平台还支持学习社区互动和数据可视化展示,助力个性化学习与持续进步。 AI项目与工具 2025年06月12日 90 点赞 0 评论 964 浏览
MathModelAgent MathModelAgent 是一款基于多智能体协作的数学建模工具,支持自动建模、代码编写、结果验证和论文生成。内置本地代码解释器,兼容多种大语言模型,适用于竞赛、科研、教学等场景,具备高效率与低成本优势。 AI项目与工具 2025年06月11日 81 点赞 0 评论 960 浏览
Satori Satori是一款由MIT和哈佛大学等机构联合开发的7B参数大语言模型,专注于提升推理能力。其采用COAT机制和两阶段训练框架,结合强化学习优化模型性能,具备自回归搜索、数学推理、跨领域任务处理以及自我纠错等核心能力。Satori在数学和逻辑推理任务中表现突出,广泛应用于科研、教育、智能客服等多个领域,代码、数据和模型均已开源。 AI项目与工具 2025年06月12日 79 点赞 0 评论 955 浏览
Gemini Diffusion Gemini Diffusion是谷歌推出的实验性文本扩散模型,通过逐步细化噪声生成文本,具备快速响应、生成更连贯文本和迭代细化等能力。与传统自回归模型不同,它能并行生成文本,提高效率。在外部基准测试中表现优异,速度更快,适用于内容创作、代码生成、数学问题解答和文本编辑等场景。用户需加入等待名单获取访问权限。 AI项目与工具 2025年06月11日 48 点赞 0 评论 955 浏览
鲸咕噜AI创作云 鲸咕噜AI创作云是一款强大的在线转换工具。其主要功能是将PDF文档转换成Word文档,特别是在数学公式识别方面表现尤为出色。同时,鲸咕噜AI创作云还支持对表格、图片的识别。 Ai办公效率 2025年06月05日 24 点赞 0 评论 955 浏览
TheoremExplainAgent TheoremExplainAgent(TEA)是一款基于多模态技术的AI工具,可生成超过5分钟的数学与科学定理解释视频,涵盖多个STEM领域。它结合文本、动画和语音,提升抽象概念的理解效果,并具备自动错误诊断功能。通过TheoremExplainBench基准评估,TEA在准确性、逻辑性和视觉表现上均表现优异,适用于在线教育、课堂教学和学术研究等多种场景。 AI项目与工具 2025年06月12日 13 点赞 0 评论 950 浏览
OpenAI o3 OpenAI o3是一款具备图像推理能力的AI模型,融合了神经符号学习与概率逻辑,支持多模态任务处理。它能够自主调用工具解决复杂问题,擅长编程、数学、科学等领域,同时在安全性方面进行了显著优化。o3在多基准测试中表现优异,提供透明的推理路径和高效的多任务处理能力。 AI项目与工具 2025年06月12日 85 点赞 0 评论 944 浏览
Photomath Photomath是一款基于人工智能技术的数学学习应用,通过手机摄像头扫描数学题目,提供详细的解题步骤和解释。它支持从基础算术到复杂代数、几何和微积分问题的解答,拥有多种解题方法、动画和视觉辅助等功能,适合学生、家长和教师使用,旨在通过互动式学习提升数学能力,并为教学提供辅助支持。 AI项目与工具 2025年06月12日 34 点赞 0 评论 943 浏览
Fireworks f1 Fireworks f1 是一款专为复杂推理任务设计的复合型 AI 模型,通过整合多个开源模型提升性能与可靠性。支持开发者通过提示词快速构建复杂 AI 应用,已在编码、对话及数学领域展现卓越能力。同时提供标准版和轻量版供用户选择,并在 AI Playground 提供免费体验。 AI项目与工具 2025年06月12日 25 点赞 0 评论 934 浏览