サービス条件
1. サービスの目的
クライアントはクレームと標準を提出します。 それを選択したAIモデルのパネルを通して実行します。 さらに、受容基準を決める審査員モデルを加え、Lean 4とMathlibの間で結果を形式化しようとします。 出力は、記録、判断の集合、判断、形式化を試みた場合は、リーン結果です。
２．出力の内容と内容のない内容
出力は第三者ＡＩモデルによって生成され，アドバイスではない。 法律的，医療的，財務的，技術的，またはどのような専門的な助言でもなく，このサービスを使用することでプロの関係を作り出すことはない。
基準を満たす裁判官の判断は、その試合の記録にある証拠についての言明です。正確性を保証するものではありません。AIモデルは間違いを犯し、出典を誤読し、指示に反して引用を作り出すこともあります。 あなたは独立して 信頼するものを確認しなければなりませんこれは圧力試験のためのツールであり、人間による評価の代わりではありません。
Lean 形式化が成功したとは、Lean カーネルが形式化された文の証明を受け入れたことを意味します。これは、当時使用されていた Mathlib バージョンに対してです。それは、その文が要求されたものの忠実な翻訳であることを意味しません。意図したことを言いませんでした形式文を選択することは、形式的結果を誤解する最も一般的な方法です。判断だけでなく、形式文を読んでください。
あなたのコンテンツ
あなたが提出したクレームとあなたに生成された出力の所有権はあなたにあります。あなたはサービスを運営するために必要なライセンスだけを私たちに与えます: あなたの提出を処理し、あなたが選択したモデルプロバイダにそれを送信し、結果のマッチを保存して、それを返すことができます。
対戦は標準でプライベートです。対戦を公開にすると、リンクを持つ誰でも見ることができ、公開ギャラリーに表示される可能性があります。 機密情報を含む対戦は公開しないでください。
他人の個人情報や、共有権限がない機密資料、違法なコンテンツを送信しないでください。
クレジットと請求
クレジットは予め支払いされ、試合が進行するときに消費されます。すべての試合には設定された消費制限があり、それに達すると消費を続ける代わりに試合を一時停止します。残高は移動できません。法律で要求される場合を除いて、一度消費した後は返金できません。未使用のクレジットは要求に応じて返金できます。
これは、 ユーザが自分の推論キーを接続すると、 プロバイダに直接支払い、トークンごとの料金を請求しません。 指定されたフリーアクセスを超えると、 パネル、ツール、ストレージの運用にインフラストラクチャ料金が適用されます。
価格は変更されますが 既に購入したクレジットには 変更は適用されません
許容される使用
サービスを他人に害を与えるコンテンツを生成するために使用しないこと、プロンプトやシステム指示を抽出しようとすること、消費や料金制限を回避するために使用しないこと、書面上の合意なしにアクセスを再販売するために使用しないこと。コード実行ツールは主張を検証するためのものであり、システムを攻撃するために使用してはいけません。
利用可能性
私たちはサードパーティモデルプロバイダに依存しています。プロバイダはダウンし、モデルを変更し、廃止します。どんな理由で中断されたマッチは一時停止され、再開できます。起こらなかった作業は料金を請求しません。中断なしの利用可能性を保証できません。以前に使用したモデルは利用できなくなる可能性があります。
責任
法律で許される限り、サービスは保証なしに提供されます。クレームに対する我々の総責任は、クレームが発生する前の 3 ヶ月間にお客様が支払った金額に限られます。モデル出力を信頼することによって生じる損失を含む間接的または結果的な損失に対しては、我々は責任を負いません。
終了
あなたはいつでもアカウントを閉鎖できます。未使用クレジットは返金します。この条件を破ったり、サービスを危険にさらしたアカウントは停止されます。
9. 変更・言語・連絡
これらの条件は変更される場合がある。
このページの翻訳は便利さを目的として機械で作成されています。翻訳と英語版の違いがある場合は、英語版が優先されます。
質問: 連絡先.