数据月份 2026-10
Axiom
axiommath.ai
Axiom
Axiom Mathaxiommath.ai数学推理与定理证明 AI
访问官网 ↗

据 AlphaMoat 统计,2026年10月 Axiom(axiommath.ai)月访问量为 57,522,环比 -9.3%,在全部 17,609 个有流量数据的 AI 网站中排名第 4,557 位,在「行业服务」分类(3,112 个)中排名第 520 位;最大访问来源为美国(占 73.9%)。

月访问量 · 2026-10
5.8万-9.3%
全站排名(17,609 个)
#4,557
「行业服务」排名(3,112 个)
#520
最大市场
美国73.9%

Axiom 是什么

产品介绍

Axiom 打造面向数学推理的 AI 工具 AXLE,让研究者秒级验证证明、抽取定理并尝试证明变换。

主要功能

平台把形式化验证与自然语言推理结合,提供在线实验环境与接口,帮助数学家与工程师在证明探索、定理抽取与变换实验中快速迭代,把严谨推理变成可交互的日常工具。

近 12 个月流量趋势

悬停查看月度数值
最新 5.8万环比-9.3%同比-10.7%
-2.3万4.6万7.0万26-0626-0726-09
月份月访问量环比
2026-066.4万—
2026-075.4万-16.0%
2026-084.1万-24.4%
2026-096.3万+55.1%
2026-105.8万-9.3%

访问来源 Top 5 分布

2026-10 · 占总访问量比例,倒序排列
美国
42,52873.9%
印度
6,36411.1%
德国
2,0283.5%
越南
1,1692.0%
荷兰
1,1382.0%

「行业服务」分类下的热门产品

点击查看详情,或「+ 对比」与 Axiom 并排对比
Ashby
Ashby
ashbyhq.com
2844.4万
+8.6%

将招聘流程、人才关系与分析整合起来的 AI 招聘平台

+ 对比
Mercor
Mercor
mercor.com
1416.4万
+34%

把专业人才连接到模型研究、训练与评测项目的平台

+ 对比
Paradox
Paradox
paradox.ai
1143.8万
+0%

用对话式智能体自动推进候选人从申请到入职

+ 对比
Eightfold AI
Eightfold AI
eightfold.ai
1098.7万
-5.7%

用人才情报与智能体辅助企业招聘、发展和调配员工

+ 对比
Doximity
Doximity
doximity.com
995.5万
-0.3%

为医疗专业人士整合临床沟通、远程医疗与智能记录

+ 对比
AlphaEngine
AlphaEngine
alphaengine.top
977.3万
+1670.8%

为专业投资者提供检索与研究工具的 AI 投研平台

+ 对比

常见问题

Axiom 每月有多少访问量?

据 AlphaMoat 统计,2026年10月,Axiom(axiommath.ai)月访问量为 57,522(约 5.8万),环比 -9.3%;在 17,609 个有流量数据的 AI 网站中排名第 4,557 位,在「行业服务」分类中排名第 520 位。

Axiom 的用户主要来自哪些国家?

2026年10月,Axiom 访问量占比最高的国家依次是 美国 73.9%、印度 11.1%、德国 3.5%。

和 Axiom 类似的 AI 产品有哪些?

在「行业服务」分类中,月访问量最高的其他产品有 Ashby(2844.4万)、Mercor(1416.4万)、Paradox(1143.8万)、Eightfold AI(1098.7万)、Doximity(995.5万)。

数据月份:2026-10 · 访问量为第三方流量估算,按月聚合更新,适合看量级与趋势。同一产品的多个域名已合并统计。口径说明见数据方法。