AlphaMoatによると、2026年8月のAristotle API(aristotle.harmonic.fun)の月間訪問数は29,869(前月比 +72.6%)で、トラフィックデータのある17,424件のAIサイト中6,572位、汎用AIでは2,225件中923位です。最大の市場はアメリカ合衆国(訪問数の80.2%)。
Aristotle APIは数学問題を自律的に証明し形式化する形式推論エージェントで、数学の超知能を目指します。
数学命題を自動証明・形式化、英題を証明に変換、人間の介入なしで長期間自律実行、形式数学ベンチマークで首位、研究助成プログラムを提供、検証可能な形式結果を出力。
| 月 | 月間訪問数 | 前月比 |
|---|---|---|
| 2026-02 | 3.5万 | — |
| 2026-03 | 4.4万 | +25.4% |
| 2026-04 | 3万 | -31.0% |
| 2026-05 | 2.4万 | -19.7% |
| 2026-06 | 1.3万 | -47.0% |
| 2026-07 | 1.7万 | +33.7% |
| 2026-08 | 3万 | +72.6% |
AlphaMoatによると、2026年8月のAristotle API(aristotle.harmonic.fun)の月間訪問数は29,869(約3万)(前月比 +72.6%)で、トラフィックデータのある17,424件のAIサイト中6,572位、「汎用AI」カテゴリでは923位です。
直近7か月で、Aristotle APIの月間訪問数は2026年2月の3.5万から2026年8月の3万へと、全体で15.0%減少しました。この期間のピークは2026年3月(4.4万)でした。
2026年8月時点で、Aristotle APIの訪問数シェアが高い国は順にアメリカ合衆国 80.2%、ドイツ 15.9%、ブラジル 1.5%です。
「汎用AI」カテゴリで月間訪問数が多いその他のプロダクトはChatGPT(56.4億)、Gemini(26.2億)、Claude(9.5億)、DeepSeek(3.5億)、Grok(2.1億)です。
データ月:2026-08 · 訪問数は第三者によるトラフィック推計値を月単位で集計したもので、規模と傾向の把握に適しています。同一プロダクトの複数ドメインは統合しています。詳しくはデータの方法論をご覧ください。