Preisgestaltung

Sie zahlen für die Tokens eine match tatsächlich verwendet, zum veröffentlichten pro-Modell-Tarif. Es gibt kein Abonnement und keine Sitzgebühr.

Vorbezahlte Gutschrift

Auffüllen Sie Ihr Guthaben und verbringen Sie es als matches Lauf. Jede match trägt eine Ausgabengrenze, die Sie vor dem Start gesetzt; Erreichen der Grenze hält die match anstatt weiter zu verbringen, und eine Pause match wieder genau dort, wo es aufgehört hat.

Top-ups beginnen bei $5. Credit nicht abläuft, und ungenutzte Kredit wird auf Anfrage zurückerstattet.

Ein Konto erstellen
Neue Konten werden an Krediten vergeben — genug für eine echte match.
Bringen Sie Ihren eigenen Schlüssel mit

Verbinden Sie Ihren eigenen Rückschlussschlüssel und Sie zahlen Ihren Anbieter direkt. Wir berechnen Ihnen nichts pro Token.

Über die unten stehende kostenlose Kontingent hinaus gilt eine Infrastrukturgebühr für das Führen des Panels, der Werkzeuge und der Lagerung. Der Anruf, der die Schwelle überschreitet, wird proteriert, nicht vollständig in Rechnung gestellt.

  • Freier Zuschuß: $5.00
  • Infrastrukturgebühr danach: 5%
Was kostet match?

Die Kosten hängen davon ab, welche Modelle Sie sich setzen, wie viele Sitze es gibt und wie viele Runden das Panel benötigt. Eine kurze match auf mittlere Modelle ist Cents; eine lange auf die stärksten Modelle mit einem formal-proof Bar ist Dollar. Die Per-Million-Token-Rate für jedes Modell ist in voller Höhe veröffentlicht.

Tierart Modelle Produktion je Million Token
Frontier
Deepest reasoning. Use when the goal is genuinely hard.
 99 $9.10 zu $234.00
Strong
Serious capability at a working price.
 115 $2.03 zu $7.80
Balanced
Good general reasoning. The sensible default.
 100 $0.52 zu $1.95
Fast
Cheap and quick. Good for wide, shallow exploration.
 58 $-1300000.0000 zu $0.47
Free
No token cost. Weakest results, fine for a trial run.
 15 $0.00

Input Token sind billiger als Output auf jedem Modell. Ein Level ist ein Preisband, kein Qualitätsversprechen: Pick Sitze nach dem, was der Anspruch braucht.

Jedes Modell und Preis anzeigen
Was wir nicht verlangen
  • Eine match durch einen Anbieterausfall unterbrochene Arbeit wird innegehalten, nicht in Rechnung gestellt.
  • Literatur-Suchen, SMT-Lösung, Computer-Algebra läuft und Lean Formalisierung. Die Werkzeuge sind Teil des Produkts, nicht ein Add-On.
  • Sitze, Benutzer oder veröffentlicht matches. Es gibt keine pro Sitz oder pro Benutzer Lizenz.