# 数学
21 个相关产品 · 中文解读 · 按热度排序
截至 2026-09-11,KanonAgent 库内有 21 个带「数学」标签的 AI agent 与工具,本页按真实热度排序。标签由中文拆解自动归纳,不是人工打的;数据可经公开 API 复核。
Ramanujan – Multi-Model Agent for Research in Computational Maths
面向计算数学研究的多模型AI代理，能自主执行复杂数学推理与验证任务
StudyWeL: AI Subject Helper Pro
StudyWeL 是一个面向全科目的 AI 学习辅导工具，能将复杂知识点拆解为清晰步骤，并提供代数、微积分等题目的分步解答。
Jacobian – I built tools to help anyone explore and solve conjectures
一个帮助任何人探索和证明数学猜想的工具，面向数学研究者、学生和爱好者，解决数学证明过程复杂、难以协作的痛点
Ensemble Prover - Open-Source Python Autonomous Theorem Prover
开源的Python自主定理证明器，能自动推导数学定理，供数学研究者和AI推理系统开发者使用
Jacobian: Pure maths library and tools for agents
一个专为 AI Agent 设计的纯数学库与工具集，帮助 Agent 更精准地处理数学计算与逻辑推理，主要面向需要高精度数学能力的 AI 开发者
Math-GPT.fr
Math-GPT.fr 是一个法语数学解题工具，支持拍照上传题目，提供从中学到大学阶段的详细分步解答，完全免费。
greenIntegrallab
greenIntegrallab 是面向数学与工程用户的积分计算工具，提供高精度数值积分算法，支持自动误差控制，适合科研与工程计算场景。
Fluxa
Fluax 是面向学生与工程爱好者的函数计算工具，支持输入函数表达式后自动绘图、求导、积分与极值分析。
Context-aware AI social workspace to learn math
一个面向数学学习的上下文感知AI社交协作空间，支持用户通过互动式对话与AI共同推导证明、解决问题，适合学生、教师与数学爱好者。
Wyrm Math — solve algebra by touch
通过触控操作解代数题的 Android 应用，禁止非法操作，引导正确解题路径，适合数学学习者
Send your agent to solve open math missions
可执行开放数学任务的AI代理系统，让AI自动探索并解决复杂数学问题，适合科研与教育场景
How to Get a Fable CoT for the Jacobian Conjecture Refutation
一个用于探索雅可比猜想反例的Fable CoT（形式化推理链）工具，面向数学研究者与形式化验证开发者，支持在浏览器中交互式构建和验证数学证明路径。
Maith – open math research with AI
Maith 是一个面向开放数学研究的 AI 协作平台，旨在推动数学领域的可复现与集体智慧创新。
Jacobian – I built tools to help anyone explore and solve conjectures
Jacobian 是一个帮助用户探索和验证数学猜想的工具，面向数学研究者与爱好者，支持交互式推导与证明辅助
TrueMath
基于生成式AI的数学引擎，可精确求解符号数学问题，辅助教育与科研
EduViz
无声数学动画工具，用于教学幻灯片与课程，帮助学生直观理解数学概念
Geometry Solver
Chrome扩展，快速识别几何图形并提供AI驱动的解题过程与答案
MinMax Arena
MinMax Arena 是一个结合人类与 AI 代理的数学谜题竞技场，通过机器验证确保数学记录的准确性，适合数学爱好者与 AI 研究者。
Ensemble Prover - Open-Source Python Autonomous Theorem Prover
Ensemble Prover 是一个开源的 Python 自主定理证明器，能自动推理数学命题，适合数学研究者和 AI 领域的逻辑验证任务。
Math-GPT.fr
法语AI数学求解器，支持分步解析数学问题，帮助学生理解解题过程
Ramanujan – Multi-Model Agent for Research in Computational Maths
Ramanujan：面向计算数学研究的多模型AI代理，能自动推理、验证与探索数学问题，助力科研突破。
其他标签
常见问题
「数学」这个标签是怎么归的?
标签来自每个产品的中文拆解(解决什么场景、面向谁),由模型从产品自述里归纳,不是人工逐条打的,也不接受付费打标。
这里的排序依据是什么?
按库内真实热度:投票数 / MRR / 增速,取产品实际有的那个。不是编辑推荐,也不卖位置。
数据多久更新?
追踪持续进行(分钟级),本页于 2026-09-11 生成。全部数字可经公开只读 API 复核:https://kanonagent.com/data