SocraticLM SocraticLM 是一款基于苏格拉底教学法的人工智能模型,由中科大与科大讯飞联合开发。它通过提问引导学生主动思考,具备多轮对话能力和个性化教学功能。模型在 SocraTeach 数据集上训练,教学性能优于 GPT-4,整体质量提升 12%。其综合评估系统涵盖五项教学维度,适用于数学教学、个性化辅导及在线教育平台,为教育技术发展提供了新思路。 AI项目与工具 2025年06月12日 47 点赞 0 评论 155 浏览
Luzia Luzia是由西班牙初创公司Amperity开发的一款人工智能聊天机器人,主要服务于西语和葡语市场。它具备个性化设计和人性化交流的特点,能够模拟不同角色以适应各种对话场景。此外,Luzia还集成了数学问题解答、PDF阅读器和图像识别等多种实用工具,增强了其实用性和用户体验。 AI项目与工具 2025年06月12日 45 点赞 0 评论 159 浏览
九章随时问 九章随时问是学而思推出的AI数学学习工具,支持7×24小时答疑服务,提供拍照、语音、文字等多种提问方式。采用苏格拉底式教学法,通过分步引导和启发式提问,培养学生独立思考能力。系统能精准识别薄弱知识点,推荐相应教学资源,覆盖小初高全学段,适用于自主学习、家庭辅导、教学辅助等多场景,提升学习效率与教育公平性。 AI项目与工具 2025年06月12日 42 点赞 0 评论 159 浏览
OpenMath OpenMath-Nemotron是由英伟达推出的一系列开源数学推理模型,专为解决复杂数学问题设计,涵盖从基础到奥林匹克级别的题目。其基于大规模数据集OpenMathReasoning训练,具备长推理、多模式推理和工具集成推理能力。模型支持多种应用场景,包括数学教育、竞赛训练、学术研究和工业应用。项目提供GitHub、HuggingFace和arXiv等资源,适用于需要高精度数学推理的AI系统开发 AI项目与工具 2025年06月11日 56 点赞 0 评论 164 浏览
InfiMM InfiMM-WebMath-40B是由字节跳动与中国科学院联合推出的大规模多模态数据集,涵盖大量数学和科学内容,包括文本、公式、符号及图像。该数据集通过筛选、清洗和标注优化,可显著提升多模态模型的数学推理能力。它适用于数学题库生成、学习工具开发、论文理解及科学研究等多个应用场景。 --- AI项目与工具 2025年06月12日 100 点赞 0 评论 173 浏览
Mathtutor on Groq Mathtutor on Groq 是一款基于 Groq 架构的 AI 辅导工具,通过语音识别功能接收数学问题,结合强大的数学引擎提供实时解题过程与答案。其主要功能包括语音输入、LaTeX 公式渲染、高精度计算及自然语言处理支持,适用于代数、微积分等领域的学习与教学辅助。此外,它还集成了 xRx 框架、Whisper 和 Llama 模型,确保高效且精准的问题解决能力。Mathtutor on G AI项目与工具 2025年06月12日 18 点赞 0 评论 179 浏览
讯飞星火X1 讯飞星火X1是科大讯飞推出的基于全国产算力平台训练的大型语言模型,具备深度推理和“慢思考”能力,适用于数学、代码、逻辑推理、文本生成等任务。支持快慢思考统一模型,部署简便,算力需求低。广泛应用于教育、医疗、健康管理等领域,提供精准的智能服务与解决方案。 AI项目与工具 2025年06月12日 99 点赞 0 评论 181 浏览
Kimi Kimi-VL是月之暗面推出的轻量级多模态视觉语言模型,支持图像、视频、文档等多种输入形式。其基于轻量级MoE架构和原生分辨率视觉编码器,具备强大的图像感知、数学推理和OCR能力。在长上下文(128K)和复杂任务中表现优异,尤其在多模态推理和长视频理解方面超越同类模型。适用于智能客服、教育、医疗、内容创作等多个领域。 AI项目与工具 2025年06月11日 30 点赞 0 评论 190 浏览
Versatile Versatile-OCR-Program是一款开源多模态OCR工具,支持从教育材料中提取文本、公式、表格等结构化数据,输出为JSON或Markdown格式,准确率高达90%-95%。它基于DocLayout-YOLO、Google Vision和MathPix等技术,支持多语言处理,适用于教育数据集制作、教学辅助、AI模型训练及个人学习等场景。 AI项目与工具 2025年06月11日 77 点赞 0 评论 191 浏览