価格

実際にマッチが使用するトークンに対して、モデルごとの公開価格で支払います。サブスクリプションやシート料はありません。

プリペイドカード

バランスを補充して試合が進むにつれ使ってください。 すべての試合は始まる前に設定した使用制限を持っています。制限に達すると、使用を続ける代わりに試合を一時停止します。一時停止した試合は、中断した場所から再開します。

5ドルから充電できます クレジットは無期限で 使用していないクレジットは 要求に応じて返金できます

アカウントを作成
新規アカウントは クレジットを得る 実際のマッチに十分な
鍵を持って来い

あなた自身の推論鍵を接続し、プロバイダに直接支払います。トークンごとに料金はかかりません。

下記のフリーアクセス許容量を超えると、パネル、ツール、ストレージの運用にインフラストラクチャー料金が適用されます。 しきい値を越える通話は割り当てられ、全体の料金は課されません。

  • 自由給与: $5.00
  • それ以降のインフラ料金: 5%
どれくらいかかる？

コストは、どのモデルを座らせるか、座る人数、パネルが必要とするラウンド数に依存します。中間のモデルの短いマッチはセントで、形式証明バーを持つ最も強いモデルの長いマッチはドルです。各モデルの百万トークン当たりのコストは完全に公開されています。

２つの設計選択は数を低くする。

すべてのモデルと料金を見る
私たちが請求しないもの
  • 起こらなかった作業。プロバイダのオフにより中断されたマッチは一時停止され、請求されません。
  • 文献検索、SMT解析、コンピュータ代数の実行、リーン形式化。ツールはアドオンではなく、プロダクトの一部です。
  • シート、ユーザ、または公開されたマッチ。シートごとのライセンスもユーザごとのライセンスもありません。