Prix

Vous payez pour les jetons un match utilise réellement, au tarif publié par modèle. Il n'y a pas d'abonnement et aucun frais de siège.

Crédit prépayé

Remplissez votre solde et dépensez-le comme matches run. Chaque match porte une limite de dépenses que vous fixez avant de commencer; atteindre la limite fait pause la match plutôt que de continuer à dépenser, et une pause match reprend exactement où elle s'est arrêtée.

Les suppléments commencent à $5. Le crédit n'expire pas et le crédit inutilisé est remboursable sur demande.

Créer un compte
Les nouveaux comptes commencent à être crédités — assez pour un vrai match.
Apportez votre propre clé

Connectez votre propre clé d'inférence et vous payez votre fournisseur directement. Nous ne vous facturerons rien par jeton.

Après l'allocation gratuite ci-dessous, une redevance d'infrastructure s'applique pour couvrir le fonctionnement du panneau, les outils et le stockage. L'appel qui franchit le seuil est calculé au prorata, non facturé entier.

  • Allocation gratuite: $5.00
  • Frais d'infrastructure après cela: 5%
Quels coûts match

Le coût dépend de quels modèles vous êtes assis, combien de sièges il y a, et combien de tours le panneau a besoin. Un court match sur les modèles de niveau intermédiaire est centimes; un long sur les modèles les plus forts avec une barre formelle-proof est dollars. Le taux par million de jetons pour chaque modèle est publié en entier.

Niveau Modèles Produit, par million de jetons
Frontier
Deepest reasoning. Use when the goal is genuinely hard.
 99 $9.10 à $234.00
Strong
Serious capability at a working price.
 115 $2.03 à $7.80
Balanced
Good general reasoning. The sensible default.
 100 $0.52 à $1.95
Fast
Cheap and quick. Good for wide, shallow exploration.
 58 $-1300000.0000 à $0.47
Free
No token cost. Weakest results, fine for a trial run.
 15 $0.00

Les jetons d'entrée sont moins chers que la production sur chaque modèle. Un niveau est une fourchette de prix, pas une promesse de qualité : choisir des sièges selon ce dont la revendication a besoin.

Voir chaque modèle et taux
Ce que nous ne facture pas pour
  • Un match interrompu par une panne de fournisseur est interrompu, non facturé.
  • Recherches documentaires, résolution SMT, essais d'algèbres et formalisation Lean. Les outils font partie du produit, pas un add-on.
  • Sièges, utilisateurs ou publiés matches. Il n'y a pas de licence par siège ou par utilisateur.