数据月份 2026-08
据 AlphaMoat 统计,2026-08 Axiom(axiommath.ai)月访问量为 40,855,环比 -24.4%,在全部 17,407 个有流量数据的 AI 网站中排名第 5,676 位,在「行业服务」分类(3,173 个)中排名第 700 位;最大访问来源为美国(占 35.9%)。
月访问量 · 2026-08
4.1万-24.4%
全站排名(17,407 个)
#5,676
「行业服务」排名(3,173 个)
#700
最大市场
美国35.9%
Axiom 是什么
产品介绍
Axiom 打造面向数学推理的 AI 工具 AXLE，让研究者秒级验证证明、抽取定理并尝试证明变换。
主要功能4 项
- 01形式化验证与自然语言推理结合
- 02提供在线实验环境与接口
- 03证明探索定理抽取与变换实验
- 04严谨推理变为可交互日常工具
近 12 个月流量趋势
悬停查看月度数值
最新 4.1万环比-24.4%
2026-06
6.4万
—
2026-07
5.4万
-16.0%
2026-08
4.1万
-24.4%
访问来源 Top 5 分布
2026-08 · 占总访问量比例,倒序排列
美国
14,64735.9%
越南
3,9129.6%
英国
3,1847.8%
加拿大
2,6176.4%
印度
2,4826.1%
「行业服务」分类下的热门产品
点击查看详情,或「+ 对比」与 Axiom 并排对比
数据月份:2026-08 · 访问量为第三方流量估算,按月聚合更新,适合看量级与趋势。同一产品的多个域名已合并统计。口径说明见数据方法。