Ընդհանուր

Դուք վճարում եք այն տոկոսների համար, որոնք match-ը իրականում օգտագործում է, ըստ մոդելի հրապարակված արժեքի։ Ոչ մի գրանցում և ոչ մի տեղային վճար չկա։

Ընդունելություն

Ավելացրեք ձեր հաշիվը և ծախսեք այն, երբ matches-ը աշխատում է։ Յուրաքանչյուր match-ը պարունակում է ծախսման սահմանափակում, որը դուք սահմանել եք մինչև այն սկսելը։ Լրացուցիչ գումար ծախսելու փոխարեն, match-ը դադարեցնում է ծախսումը, երբ այն հասնում է սահմանափակմանը, և դադարեցված match-ը շարունակում է այնտեղ, որտեղ դադարել է։

Ավելացնելը սկսվում է $5-ից։ Կրեդիտը չի ավարտվում, և չօգտագործված վարկերը կարող են վերադարձվել խնդրանքի դեպքում։

Կերտել հաշիվ
New accounts get starting credit — enough for a real 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-ը, որը խափանվել է ծառայության մատակարարի կողմից, դադարեցվել է, բայց հաշիվ չի տրվել։
  • Լեզվաբանական որոնումներ, SMT լուծումներ, համակարգչային ալգեբրա և Lean ֆորմալացում։ Ապրանքները արտադրանքի մաս են, ոչ թե հավելված։
  • Աշխատասենյակներ, օգտատերեր կամ հրապարակված matches. Ոչ մի յուրաքանչյուր աշխատասենյակի կամ յուրաքանչյուր օգտատիրոջ համար լիցենզիա չկա։