Solvely.ai Solvely.ai是一款以AI驱动的数学学习平台，提供从基础到高级数学问题的即时解答，支持文本、图片和截图提问，并具备自动绘图和个性化辅导功能。该平台通过图像识别技术优化学习体验，提供逐步解决方案和互动式学习内容，适用于K-12至高等教育阶段的学生及教师。 AI项目与工具 2025年06月12日 26 点赞 0 评论 113 浏览
StudyX StudyX是一款基于AI技术的学生学习辅助工具，提供多学科作业解答、数学解题分析、AI辅导和社区互动等功能。支持文字、图片和PDF输入，具备个性化学习空间和全天候专家支持，适用于各类学生群体，有效提升学习效率和知识掌握能力。 AI项目与工具 2025年06月12日 60 点赞 0 评论 114 浏览
QANDA QANDA是一款由韩国Mathpresso公司开发的AI学习应用，主要面向学生，提供数学及其他学科的即时解答与详细解析。用户可通过拍照或输入问题，获取分步解答、常见错误提示及个性化辅导。应用还支持多语言、学习数据分析和类似题目推荐，适用于家庭作业、考试复习、日常学习及教学辅助等多种场景，帮助用户提升学习效率和理解能力。 AI项目与工具 2025年06月12日 80 点赞 0 评论 127 浏览
OpenR OpenR是一个由多家知名高校联合开发的开源框架，专注于通过强化学习和搜索技术提升大型语言模型的推理能力。它集成了数据获取、强化学习训练及非自回归解码功能，支持多种搜索算法和在线强化学习训练，能够有效提高模型的推理效率和精度。同时，其自动化数据处理能力减少了人工标注的需求，适用于数学问题求解、代码生成、自然语言处理等多种应用场景。 AI项目与工具 2025年06月12日 40 点赞 0 评论 127 浏览
源2.0 源2.0-M32是由浪潮信息开发的一种混合专家模型（MoE），包含32个专家，采用“注意力路由器”技术，显著提升了模型的效率和准确性。该模型在代码生成、数学问题解决、科学推理等多个领域表现出色，尤其在ARC-C和MATH基准测试中超越了其他模型。源2.0-M32具有高效的计算能力和广泛的适用性，适用于多种复杂任务。 AI项目与工具 2025年06月12日 31 点赞 0 评论 140 浏览
AReaL AReaL-boba 是由蚂蚁技术研究院与清华大学联合推出的开源强化学习训练框架，具备高效训练、推理能力提升、低资源训练等核心功能。其 7B 模型在数学推理任务中表现突出，且支持大规模模型的低成本复现。框架集成 SGLang 推理系统，采用数据蒸馏与工程优化技术，提升训练效率。适用于教育、自然语言处理、智能体开发等领域，具有高度可复现性和开源特性。 AI项目与工具 2025年06月12日 46 点赞 0 评论 140 浏览
KwaiYii快意大模型 KwaiYii快意大模型是快手AI团队研发的大规模语言模型，它在多个权威Benchmark上展现出卓越的性能，尤其在中英文跨学科专业能力、数理逻辑及代码能力方面表现突出。 Ai平台模型 1970年01月01日 0 点赞 0 评论 141 浏览
Step R Step R-mini是一款由阶跃星辰推出的推理模型，具备主动规划、尝试与反思能力，适用于数学、逻辑推理、代码开发及文学创作等多种场景。模型基于慢思考机制，支持深度推理与多步骤验证，表现优异。其技术特点包括强化学习、数据质量优化、测试时计算扩展及模型规模增长，实现文理兼修，广泛应用于教育、科研、企业办公等领域。 AI项目与工具 2025年06月12日 43 点赞 0 评论 144 浏览
Math24o Math24o 是 SuperCLUE 开源的高中奥林匹克数学竞赛级别数学推理测评基准，基于 2024 年全国高中数学竞赛预赛试题，包含 21 道高难度解答题。评测通过程序自动判断答案一致性，客观评估模型正确率。支持自动化评估流程，适用于教育、学术研究和模型优化等领域，为数学推理能力的提升提供重要工具。 AI项目与工具 2025年06月12日 22 点赞 0 评论 145 浏览
Kimi探索版 Kimi探索版是一款基于深度推理的AI搜索工具，具备强大的搜索、分析及自我优化能力。它能够将复杂问题分解成多个子问题，通过逐步推理与数据整合生成精确解答，并支持数学建模、编程处理及多语言交流。此外，其自我反思机制进一步提升了答案的准确性，广泛适用于学术研究、市场分析、学习辅导和技术支持等场景。 AI项目与工具 2025年06月12日 24 点赞 0 评论 149 浏览
