数学

KwaiYii快意大模型

KwaiYii快意大模型是快手AI团队研发的大规模语言模型,它在多个权威Benchmark上展现出卓越的性能,尤其在中英文跨学科专业能力、数理逻辑及代码能力方面表现突出。

源2.0

源2.0-M32是由浪潮信息开发的一种混合专家模型(MoE),包含32个专家,采用“注意力路由器”技术,显著提升了模型的效率和准确性。该模型在代码生成、数学问题解决、科学推理等多个领域表现出色,尤其在ARC-C和MATH基准测试中超越了其他模型。源2.0-M32具有高效的计算能力和广泛的适用性,适用于多种复杂任务。

AReaL

AReaL-boba 是由蚂蚁技术研究院与清华大学联合推出的开源强化学习训练框架,具备高效训练、推理能力提升、低资源训练等核心功能。其 7B 模型在数学推理任务中表现突出,且支持大规模模型的低成本复现。框架集成 SGLang 推理系统,采用数据蒸馏与工程优化技术,提升训练效率。适用于教育、自然语言处理、智能体开发等领域,具有高度可复现性和开源特性。

QANDA

QANDA是一款由韩国Mathpresso公司开发的AI学习应用,主要面向学生,提供数学及其他学科的即时解答与详细解析。用户可通过拍照或输入问题,获取分步解答、常见错误提示及个性化辅导。应用还支持多语言、学习数据分析和类似题目推荐,适用于家庭作业、考试复习、日常学习及教学辅助等多种场景,帮助用户提升学习效率和理解能力。

OpenR

OpenR是一个由多家知名高校联合开发的开源框架,专注于通过强化学习和搜索技术提升大型语言模型的推理能力。它集成了数据获取、强化学习训练及非自回归解码功能,支持多种搜索算法和在线强化学习训练,能够有效提高模型的推理效率和精度。同时,其自动化数据处理能力减少了人工标注的需求,适用于数学问题求解、代码生成、自然语言处理等多种应用场景。

StudyX

StudyX是一款基于AI技术的学生学习辅助工具,提供多学科作业解答、数学解题分析、AI辅导和社区互动等功能。支持文字、图片和PDF输入,具备个性化学习空间和全天候专家支持,适用于各类学生群体,有效提升学习效率和知识掌握能力。

Solvely.ai

Solvely.ai是一款以AI驱动的数学学习平台,提供从基础到高级数学问题的即时解答,支持文本、图片和截图提问,并具备自动绘图和个性化辅导功能。该平台通过图像识别技术优化学习体验,提供逐步解决方案和互动式学习内容,适用于K-12至高等教育阶段的学生及教师。