数学

1. 首页
2. 数学

MAHOUT

开箱即用的分布式后端，或者可以扩展到其他分布式后端。

Ai编程建站 2026年06月29日 0 点赞 0 评论 673 浏览

AlphaEvolve

AlphaEvolve是谷歌DeepMind开发的通用科学代理，结合大型语言模型与进化算法，用于设计和优化复杂算法。它在数据中心调度、硬件设计、AI训练和数学问题解决等领域取得显著成果，如优化矩阵乘法、提升系统效率等。系统采用自动化评估机制，支持跨领域应用，具备高效计算和持续优化能力。

AI项目与工具 2025年06月11日 98 点赞 0 评论 668 浏览

MathTool

一款功能强大的数学公式编辑器和数学画板工具，MathTool支持多种数学符号和公式的输入、编辑和图形化展示，适用于学生、教师、科研人员以及数学爱好者。

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

Stable Chat

用轻松、幽默的方式写一份，关于运动鞋的销售文案。

创作工具 2026年06月29日 0 点赞 0 评论 665 浏览

k0

k0-math是一款基于强化学习和思维链推理技术的新一代数学推理模型，由月之暗面推出。它在多个数学基准测试中表现出色，特别是在中考、高考、考研及竞赛级数学题库中的成绩超越了OpenAI的o1-mini和o1-preview模型。k0-math具备深入思考、规划解题思路以及自我反思优化的能力，适用于教育辅导、在线教育平台、竞赛培训、学术研究及自动化测试与评分等多个场景。

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

StudyX

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

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

Mathos AI

Mathos AI是一款先进的AI数学工具，覆盖从基础到高级数学领域的多种问题，提供逐步解析、个性化辅导、PDF作业分析及多设备同步等功能。它支持图像识别、语音输入和高级图形计算，旨在优化用户的学习体验，提升解题效率。

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

Mdnice

一款由墨滴软件开发的功能强大的Markdown编辑器，Mdnice具有强大的文章一键排版功能，能够帮助用户高效地进行内容创作和编辑。

排版编辑 2025年06月05日 69 点赞 0 评论 630 浏览

Mathtutor on Groq

Mathtutor on Groq 是一款基于 Groq 架构的 AI 辅导工具，通过语音识别功能接收数学问题，结合强大的数学引擎提供实时解题过程与答案。其主要功能包括语音输入、LaTeX 公式渲染、高精度计算及自然语言处理支持，适用于代数、微积分等领域的学习与教学辅助。此外，它还集成了 xRx 框架、Whisper 和 Llama 模型，确保高效且精准的问题解决能力。Mathtutor on G

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

BFS

BFS-Prover 是一种基于大语言模型的自动定理证明系统，通过改进广度优先搜索算法和长度归一化评分机制，提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构，支持复杂定理的高效验证，并与 Lean4 深度集成，确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域，推动了自动定理证明技术的发展。

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