Ціни

Ви платите за маркери match, які насправді використовуються, за опублікованою ціною за модулю. У програмі немає підписки і плати за сидіння.

Попередньо оплачений кредит

Підвищити ваш баланс і витрачайте його під час запуску matches. Кожне match - це обмеження витрат, яке ви встановите перед початком, - досягнення обмеження призупиняє match, замість продовження витрат, і призупинка match поновлює рівень, точно у якому вона зупинилася.

Верхні суми починаються з 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 осіб призупинено, а не оброблено.
  • Пошук літератури, розв'язання SMT, запуск комп'ютерів і формальність Lean. Інструменти є частиною продукту, а не додаванням.
  • Серти, користувачі або опубліковані matches. Немає для кожного чи ліцензійного випадку.