数学

1. 首页
2. 数学

AlphaEvolve

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

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

MathTool

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

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

MAHOUT

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

Ai编程建站 2026年08月13日 0 点赞 0 评论 745 浏览

k0

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

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

StudyX

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

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

Stable Chat

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

创作工具 2026年08月13日 0 点赞 0 评论 737 浏览

Mathos AI

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

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

Mdnice

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

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

Kimi探索版

Kimi探索版是一款基于深度推理的AI搜索工具，具备强大的搜索、分析及自我优化能力。它能够将复杂问题分解成多个子问题，通过逐步推理与数据整合生成精确解答，并支持数学建模、编程处理及多语言交流。此外，其自我反思机制进一步提升了答案的准确性，广泛适用于学术研究、市场分析、学习辅导和技术支持等场景。

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

BFS

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

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