Condicións de uso
1. Que fai o servizo
Envia unha reclamación e un estándar. Executamos o resultado nun panel de modelos de IA que escolla, máis un modelo de árbitro que regula os criterios de aceptación, e tentamos formalizar o resultado en Lean 4 contra Mathlib. A saída é unha transcrición, un conxunto de regras, un veredicto e, onde se intentou formalizar, o resultado Lean.
2. Que é e non é a saída
A saída é xerada por modelos de IA de terceiros e non é un consello. Non é un consello legal, médico, financeiro, de enxeñaría ou profesional de ningún tipo, e non se crea ningunha relación profesional ao usar este servizo.
O árbitro que decide que un criterio se cumpre é unha declaración acerca da evidencia rexistrada na partida. Non é unha garantía de corrección. Os modelos de IA cometen erros, malleen fontes e poden fabricar citas a pesar das instrucións de non facelo. Debes verificar independentemente todo o que teñas a intención de confiar, especialmente antes de publicalo, envialo ou actuar sobre el. Esta é unha ferramenta para o traballo de proba de presión, non un substituto para a revisión humana cualificada.
Unha formalización Lean exitosa significa que o núcleo Lean aceptou unha proba da declaración que foi formalizada, contra a versión Mathlib que se usaba nese momento. Isto non significa que a declaración sexa unha tradución fiel do que pediu, e escoller unha declaración formal que non diga o que quería dicir é o xeito máis común de que un resultado formal confunda. Lea a declaración formal, non só o veredicto.
3. O seu contido
Manteña a propiedade das reclamacións que envíe e da saída producida para vostede. Só nos concede a licenza necesaria para operar o servizo: para procesar o envío, transmitilo aos provedores de modelos que escolla e gardar a coincidencia resultante para que poida volver a ela.
As partidas son privadas por omisión. Se marca unha partida como pública, será visíbel para calquera que teña a ligazón e pode aparecer na galería pública. Non publique unha partida que conteña algo confidencial.
Non envíe datos persoais sobre outros, material confidencial que non teña dereito a compartir ou contidos ilegais.
Créditos e facturación
Os créditos son prepagos e consúmense mentres se xogan as partidas. Cada partida ten un límite de gasto que se establece; ao alcanzalo, a partida pausa en lugar de continuar a gastar. Os saldos non son transferíbeis e, agás cando sexa requerido por lei, non son reembolsábeis unha vez consumidos. Os créditos non usados son reembolsábeis se se solicitan.
Se conecta a súa propia chave de inferencia, paga directamente ao seu provedor e non lle facturamos ningún custo por token. Máis aló da cantidade libre indicada, aplícase unha taxa de infraestrutura para cubrir o funcionamento do panel, ferramentas e almacenamento.
Podemos cambiar os prezos con aviso previo. Os cambios nunca se aplican a créditos xa comprados.
Uso aceptable
Non use o servizo para xerar contido que prexudique a outros, para tentar extraer os nosos avisos ou instrucións do sistema, para eludir os límites de gasto ou tarifa, ou para revender acceso sen un acordo escrito. A ferramenta de execución de código é para verificar as reclamacións; non a use para atacar ningún sistema.
Dispoñibilidade
Dependemos de provedores de modelos de terceiros. Os provedores caen, cambian de modelo e obsolécense. Unha coincidencia interrompida por calquera razón é pausada e retomable; non cobramos por traballo que non ocorreu. Non garantimos a disponibilidade ininterrompida, e un modelo que usaches antes pode non estar dispoñíbel.
Responsabilidade
No máximo permitido pola lei, o servizo ofrécese tal e como está sen garantías de ningún tipo. A nosa responsabilidade total por calquera reclamación está limitada á cantidade que nos pagou nos tres meses anteriores á reclamación. Non somos responsables de perdas indirectas ou consecuentes, incluíndo calquera perda que xurda da confianza na saída do modelo.
Terminación
Pode pechar a súa conta en calquera momento; devolveremos o crédito non utilizado. Podemos suspender as contas que infrinxan estes termos ou que poñan en risco o servizo.
9. Cambios, lingua e contacto
Podemos actualizar estes termos; os cambios materiais anunciaranse no sitio.
As traducións desta páxina son proporcionadas para a conveniencia e son producidas automaticamente. Cando unha tradución e a versión en inglés difiran, a versión en inglés prevalece.
Preguntas: Contacto.