Τιμή

Πληρώνετε για τα μάρκα ένα match στην πραγματικότητα χρησιμοποιεί, με τη δημοσιευμένη τιμή ανά μοντέλο.

Προπληρωμή πίστωσης

Top up your balance and spend it as matches run. Every match carries a spending limit you set before it starts; reaching the limit pauses the match rather than continuing to spend, and a paused match resumes exactly where it stopped.

Οι κορυφαίες επιχειρήσεις ξεκινούν από $5. Η πίστωση δεν λήγει και η αχρησιμοποίητη πίστωση επιστρέφεται κατόπιν αιτήματος.

Δημιουργία λογαριασμού
Οι νέοι λογαριασμοί αρχίζουν να δίνουν αρκετά χρήματα για ένα πραγματικό match.
Φέρε το δικό σου κλειδί.

Συνδέστε το δικό σας κλειδί συμπερασματικών και πληρώνετε τον πάροχο σας άμεσα.

Πέρα από το παρακάτω δωρεάν επίδομα, ένα τέλος υποδομής ισχύει για την κάλυψη της λειτουργίας του πίνακα, τα εργαλεία και την αποθήκευση.

  • Δωρεάν επίδομα: $5.00
  • Τέλος υποδομής μετά από αυτό: 5%
Τι match κοστίζει

Το κόστος εξαρτάται από το ποια μοντέλα θα καθίσετε, πόσες θέσεις υπάρχουν, και πόσες γύροι χρειάζεται ο πίνακας. Ένα μικρό match σε μοντέλα μεσαίας κλίμακας είναι σεντς.Μεγάλη σε σύγκριση με τα ισχυρότερα μοντέλα με μια επίσημη-απόδειξη μπαρ είναι δολάρια.

Βαθμίδα Μοντέλα Παραγωγή, ανά εκατομμύριο μάρκες
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

Μια βαθμίδα είναι μια ζώνη τιμών, όχι μια υπόσχεση ποιότητας: επιλέξτε καθίσματα από ό, τι χρειάζεται ο ισχυρισμός.

Δείτε κάθε μοντέλο και ρυθμό
Για τι δεν χρεώνουμε;
  • Μια match διακοπτόμενη από διακοπή παρόχου διακόπτεται, δεν χρεώνεται.
  • Literature lookups, SMT λύση, computer-algebra τρέχει και Lean επισημοποίηση. Τα εργαλεία είναι μέρος του προϊόντος, όχι ένα add-on.
  • Καθίσματα, χρήστες ή δημοσιευμένα matches. Δεν υπάρχει άδεια ανά κάθισμα ή ανά χρήστη.