Termos de serviço
1. O que o serviço faz
Você apresenta uma reclamação e um padrão. Nós o executamos passando por um painel de modelos de IA que você seleciona, mais um modelo de árbitro que regras sobre critérios de aceitação, e nós tentamos formalizar o resultado em Lean 4 contra Mathlib. A saída é uma transcrição, um conjunto de decisões, um veredicto e onde a formalização foi tentada, o resultado Lean.
2. O que a saída é e não é
A saída é gerada por modelos de IA de terceiros e não é conselho. Não é aconselhamento legal, médico, financeiro, de qualquer tipo, nem profissional, e nenhuma relação profissional é criada por meio deste serviço.
O árbitro que decide um critério cumprido é uma declaração sobre as evidências registradas nessa correspondência. Não é uma garantia de correção. Os modelos de IA cometem erros, fontes de leitura errada, e podem fabricar citações apesar de instruções não a. Deve verificar de forma independente tudo o que pretende confiar em, particularmente antes de publicá-lo, de a apresentar ou de agir sobre ele. Trata-se de uma ferramenta para o trabalho de teste de pressão, não de um substituto para a revisão humana qualificada.
Uma formalização de Lean bem sucedida significa que o núcleo Lean aceitou uma prova da declaração que foi formalizada, contra a versão de Mathlib em uso naquele tempo. Não significa que a declaração é uma tradução fiel do que você pediu, e escolher uma declaração formal que não diga o que você quer dizer é a forma mais comum de um resultado formal erroneia. Leia a declaração formal, não só o veredicto.
3. Seu conteúdo
Você mantém a propriedade das reivindicações que você submete e da saída produzida para você. Você nos concede apenas a licença necessária para operar o serviço: processar sua submissão, transmiti-la aos fornecedores de modelos selecionados e armazenar a correspondência resultante para que você possa voltar para ele.
As correspondências são privadas por padrão. Se você marcar um público de correspondência, torna-se visível para qualquer um com o link e pode aparecer na nossa galeria pública. Não publicar uma partida contendo qualquer coisa confidenciais.
Não envie dados pessoais sobre outros, material confidencial que não tem direito a partilhar, ou conteúdo que seja ilegal.
4. Créditos e facturação
O crédito é pré-pago e é consumido como jogos de corrida. Cada partida tem um limite de gastos que você estabelece; alcançar ele pausa a partida em vez de continuar a gastar. Os saldos não são transferíveis e, exceto quando exigido pela lei, são não reembolsáveis uma vez consumidos. crédito não utilizado é reembolsável a pedido.
Se você conectar sua própria chave de inferência, você paga seu fornecedor diretamente e nós facturamos nenhum custo por token. Passado o subsídio de graça declarado uma taxa de infraestrutura aplica-se para cobrir a execução do painel, ferramentas e armazenamento.
Podemos mudar os preços com aviso prévio. As alterações nunca se aplicam ao crédito já comprado.
5. Uso aceitável
Não use o serviço para gerar conteúdo que prejudica outros, tentar extrair nossas indicações ou instruções do sistema, para evadir os limites de gastos ou taxas, ou revender o acesso sem um acordo escrito. A ferramenta de execução de código é para verificar as reclamações; não utilize-a para atacar qualquer sistema.
6. Disponibilidade
Nós dependemos de fornecedores de modelos de terceiros. Fornecedores descem, mudem modelos e despregá-los. Uma partida interrompida por qualquer razão é pausada e resumável; nós não cobramos por trabalho que não aconteceu. Nós não garantimos disponibilidade ininterrupta, e um modelo que você usou antes pode ficar não disponível.
7. Responsabilidade
Na medida em que a lei nos permite, o serviço é prestado como não tem qualquer tipo de garantia. Nossa responsabilidade total por qualquer reclamação é limitada ao montante que nos pagou nos três meses antes da reivindicação. Não somos responsáveis por perda indireta ou consequente, incluindo qualquer perda decorrente da dependência da produção modelo.
8. Terminação
Você pode fechar sua conta em qualquer momento; nós reembolsaremos crédito não utilizado. Podemos suspender contas que violam estes termos ou que colocam o serviço em risco.
9. Alterações, língua e contacto
Podemos atualizar estes termos; alterações materiais serão anunciadas no site.
As traduções desta página são fornecidas para conveniência e são produzidas por máquina. Quando uma tradução e a versão em inglês diferem, a versão em inglês governa.
Perguntas: Contacte-nos.