数学

1. 首页
2. 数学

360Zhinao2

360Zhinao2-7B是一款由360公司开发的大规模AI语言模型，具备强大的语言理解和生成能力，支持多语言交流和复杂的数学逻辑推理。其核心特性包括灵活的上下文处理、高效的训练技术和广泛的适用性，可应用于智能客服、教育辅助、内容创作和信息检索等多个领域。

AI项目与工具 2025年06月12日 89 点赞 0 评论 613 浏览

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。

AI项目与工具 2025年06月12日 50 点赞 0 评论 620 浏览

Math.Now

一个由Math GPT提供支持的免费AI数学解题工具，它专为解决各种数学难题而设计，覆盖了代数、几何、微积分等多个领域。

教育学习 2025年06月05日 98 点赞 0 评论 662 浏览

SCoRe

SCoRe是一种由谷歌DeepMind提出的基于强化学习的多轮训练方法，旨在提高大型语言模型的自我纠错能力。它通过模型自动生成的数据进行训练，并采用正则化约束与奖励机制，有效提升了模型在数学、编程等任务中的准确性。此外，SCoRe能够适应训练与推理过程中的数据分布差异，展现出较强的灵活性与实用性。

AI项目与工具 2025年06月12日 42 点赞 0 评论 674 浏览

Qwen2.5

Qwen2.5-Coder是一款开源代码生成模型，覆盖多种规模参数，支持超过40种编程语言，擅长代码生成、推理、修复及多语言支持。其旗舰模型在多项基准测试中表现优异，具备强大的长上下文处理能力和人类偏好对齐特性。适用于日常编程、代码学习、教育、代码审查及自动化测试等场景。

AI项目与工具 2025年06月12日 87 点赞 0 评论 687 浏览

九章随时问

九章随时问是学而思推出的AI数学学习工具，支持7×24小时答疑服务，提供拍照、语音、文字等多种提问方式。采用苏格拉底式教学法，通过分步引导和启发式提问，培养学生独立思考能力。系统能精准识别薄弱知识点，推荐相应教学资源，覆盖小初高全学段，适用于自主学习、家庭辅导、教学辅助等多场景，提升学习效率与教育公平性。

AI项目与工具 2025年06月12日 42 点赞 0 评论 778 浏览

GeoGebra

一款适用于各级教育的免费动态数学软件，它将几何、代数、统计、微积分等多种数学功能集成于一体。

教育学习 2025年06月05日 22 点赞 0 评论 1130 浏览