Qiymətləndirmə

Siz match-in həqiqətən istifadə etdiyi tokenlər üçün, model başına çap olunmuş qiymətə ödəyirsiniz. Üzvlük və yer haqqı yoxdur.

Ödənilmiş kredit

Hesabınızı doldurun və matches-in işlədiyi kimi xərcləyin. Hər match-də başlamazdan əvvəl təyin etdiyiniz xərcləmə həddi var; həddi keçdikdə xərcləmə davam etmədən match dayanır və dayanmış match dayandığı yerdə davam edir.

Top-up $5-dan başlayır. Kreditlər vaxtı bitmir və istifadə edilməmiş kreditlər istənilən halda geri qaytarıla bilər.

Hesab Yarat
Yeni hesablar kredit almağa başlayır - real match üçün kifayət qədər.
Öz açarınızı gətirin

Özünüzün təyin açarını qoşun və provayderinizə doğrudan-düzgün ödəyin. Token başına heç bir ödəniş tələb etmirik.

Aşağıdakı azad icazədən sonra, panelin, alətlərin və saxlamanın işləmələrinə görə infrastruktur ödənişi tətbiq olunur. Bu həddi keçən zənglər nisbi olaraq hesablanır, bütün zənglər hesablanmır.

  • Pulsuz: $5.00
  • Infrastruktur xərcləri: 5%
match-in qiyməti

Qiymətlər hansı modelləri yerləşdirdiyinizə, nə qədər yer olduğunuza və panelin nə qədər dövrə ehtiyacı olduğuna bağlıdır. Orta səviyyəli modellərdə qısa match sentdir; formal-proof bar ilə ən güclü modellərdə uzun match dollardır. Hər model üçün milyon-tokenlik qiymət tam olaraq dərc edilir.

Tərcümə Modellər Çıxış, milyon tokena görə
Frontier
Deepest reasoning. Use when the goal is genuinely hard.
 99 $9.10 to $234.00
Strong
Serious capability at a working price.
 115 $2.03 to $7.80
Balanced
Good general reasoning. The sensible default.
 100 $0.52 to $1.95
Fast
Cheap and quick. Good for wide, shallow exploration.
 58 $-1300000.0000 to $0.47
Free
No token cost. Weakest results, fine for a trial run.
 15 $0.00

Giriş tokenləri hər modeldə çıxış tokenlərindən ucuzdur. Bir səviyyə qiymət aralığıdır, keyfiyyət vədi deyil: tələbin ehtiyaclarına görə yerləri seçin.

Hər model və dərəcəni gör
Nə üçün pul ödəmirik
  • İş görülmədi. Provayderin kəsilməsi ilə kəsilmiş match-lər fasilə verilmiş, hesablanmamışdır.
  • Kitabxana axtarışları, SMT həlli, kompüter-algebra işləmə və Lean formalizasiyası. Vasitələr məhsulun bir hissəsidir, əlavə deyil.
  • Yerlər, istifadəçilər və ya yayımlanmış matches. Yer başına və ya istifadəçi başına lisenziyası yoxdur.