Giá

Bạn trả tiền cho những token mà match thực sự sử dụng, theo tỷ lệ được công bố cho từng mẫu. Không có đăng ký và không có phí chỗ ngồi.

Tiền gửi trước

Đổi tiền vào tài khoản và tiêu nó khi matches chạy. Mỗi match mang một giới hạn tiêu tiền mà bạn đã đặt trước khi nó bắt đầu; đạt đến giới hạn sẽ tạm dừng match thay vì tiếp tục tiêu tiền, và match tạm dừng sẽ tiếp tục chính xác từ nơi nó dừng lại.

Tiền gửi không hết hạn, và tiền gửi chưa sử dụng có thể được hoàn lại theo yêu cầu.

Tạo tài khoản
Các tài khoản mới nhận được tín dụng khởi đầu - đủ cho một match thực sự.
Đưa chìa khóa của anh đi.

Để kết nối khóa suy luận của bạn và bạn trả tiền cho nhà cung cấp trực tiếp.

Sau khi vượt qua mức miễn phí dưới đây, một khoản phí cơ sở hạ tầng được áp dụng để bao gồm chạy bảng điều khiển, công cụ và lưu trữ. Các cuộc gọi vượt qua giới hạn sẽ được tính theo tỷ lệ, không phải tính toàn bộ.

  • Để miễn phí: $5.00
  • Tiền cơ sở hạ tầng sau đó: 5%
match là bao nhiêu?

Chi phí phụ thuộc vào các mô hình bạn đặt, số lượng ghế có, và số vòng cần thiết cho bảng. Một match ngắn trên các mô hình cấp trung là cent; một match dài trên các mô hình mạnh nhất với thanh chứng minh chính thức là đô la. Tỷ lệ trên triệu token cho mỗi mô hình được công bố đầy đủ.

Thú Mô hình Đầu ra, trên mỗi triệu token
Frontier
Deepest reasoning. Use when the goal is genuinely hard.
99 $9.10 đến $234.00
Strong
Serious capability at a working price.
115 $2.03 đến $7.80
Balanced
Good general reasoning. The sensible default.
100 $0.52 đến $1.95
Fast
Cheap and quick. Good for wide, shallow exploration.
58 $-1300000.0000 đến $0.47
Free
No token cost. Weakest results, fine for a trial run.
15 $0.00

Các token đầu vào rẻ hơn so với đầu ra trên mọi mô hình. Một cấp là một giá trị giá, không phải là một lời hứa chất lượng: chọn chỗ ngồi theo những gì yêu cầu cần.

Xem từng mẫu và giá cả
Những thứ chúng tôi không tính phí
  • Công việc không xảy ra. Một match bị gián đoạn bởi sự cố của nhà cung cấp sẽ bị tạm dừng, không được tính phí.
  • Tìm kiếm văn bản, giải SMT, chạy đại số máy tính và hình thức hóa Lean. Các công cụ là một phần của sản phẩm, không phải là một phần bổ sung.
  • Ghế, người dùng hoặc xuất bản matches. Không có giấy phép cho mỗi ghế hoặc mỗi người dùng.