가격

매치가 실제로 사용하는 토큰에 대해 모델당 발표된 요금으로 지불합니다. 구독 및 좌석 요금이 없습니다.

선불 크레딧

잔액을 충전하고 경기가 진행되는 동안 사용해 보세요. 모든 경기는 시작하기 전에 설정한 지출 제한이 있습니다. 제한에 도달하면 지출을 계속하지 않고 경기를 일시 중단하며 일시 중단된 경기는 중단된 곳에서 다시 시작합니다.

크레딧은 만료되지 않으며, 사용되지 않은 크레딧은 요청 시 환불됩니다.

계정 만들기

새로운 계정은 시작 크레딧을 얻을 - 진짜 일치에 충분한.

자신의 열쇠를 가져오십시오

자신의 추론 키를 연결하고 공급자에게 직접 지불합니다. 우리는 토큰 당 청구하지 않습니다.

아래의 무료 허용량을 초과하면 패널, 도구 및 스토리지를 실행하는 데 필요한 인프라 수수료가 부과됩니다. 임계값을 초과하는 호출은 전체 청구가 아닌 비율에 따라 청구됩니다.

무료 허용량: $5.00
그 후 인프라 수수료: 5%

매치 비용은 얼마인가?

비용은 어떤 모델을 앉히고, 얼마나 많은 좌석이 있고, 패널이 필요로 하는 라운드가 얼마나 많은지에 따라 달라집니다. 중간 수준 모델의 짧은 일치는 센트이고, 형식적 증명 바가 있는 가장 강력한 모델의 긴 일치는 달러입니다. 각 모델의 백만 토큰 당 비용은 전체적으로 게시됩니다.

두 가지 디자인 선택은 숫자를 낮추고: 패널은 공유 레지스트리에서 작동하는 대신 각 라운드 전체 기록을 다시 읽는, 그래서 비용이 라운드 번호와 함께 아니라 설립 된 것과 함께 성장; 그리고 갇힌 시트는 전체 가격에 자신을 재정의하는 대신 다른 시트에 한 질문을 전달.

모든 모델 및 요금 보기

우리가 청구하지 않는 것

일어나지 않은 작업. 공급자 중단으로 인해 중단된 일치는 청구되지 않고 일시 중단됩니다.
문헌 검색, SMT 해결, 컴퓨터 대수학 실행 및 린 형식화. 도구는 제품의 일부이며 추가 기능이 아닙니다.
시트, 사용자 또는 게시된 일치 항목. 시트당 또는 사용자당 라이선스는 없습니다.