Bedingungen der Dienstleistung
1. Was der Dienst tut
Sie legen einen Anspruch und einen Standard vor. Wir führen ihn an einer Auswahlliste von AI-Modellen vorbei, plus einem Schiedsrichtermodell, das die Annahmekriterien regelt, und wir versuchen, das Ergebnis in Lean 4 gegen Mathlib zu formalisieren.Der Ausgang ist eine Abschrift, eine Reihe von Entscheidungen, ein Urteil, und wo Formalisierung versucht wurde, das Lean Ergebnis.
2. Was die Ausgabe ist und ist nicht
Die Produktion wird durch KI-Modelle von Drittanbietern generiert und ist keine Beratung. Es ist nicht legal, medizinische, finanzielle, technische oder professionelle Beratung jeglicher Art, und keine berufliche Beziehung wird durch die Nutzung dieser Dienstleistung geschaffen.
Der Schiedsrichter, der ein Kriterium erfüllt, ist eine Aussage über die Beweise in der Aufzeichnung, dass match. Es ist keine Garantie für die Richtigkeit. AI-Modelle machen Fehler, falsch gelesen Quellen, und kann Zitate trotz Anweisungen nicht zu fabrizieren. Sie müssen unabhängig überprüfen, was Sie beabsichtigen, sich auf, insbesondere vor der Veröffentlichung, Einreichung oder auf sie. Dies ist ein Werkzeug für Druck-Testing Arbeit, nicht ein Ersatz für qualifizierte menschliche Überprüfung.
Eine erfolgreiche Lean-Formalisierung bedeutet, dass der Lean-Kernel einen Beweis für die formalisierte Aussage akzeptiert hat, gegen die damals verwendete Version von Mathlib. Es bedeutet nicht, dass die Aussage eine treue Übersetzung dessen ist, was Sie gefragt haben, und die Wahl einer formalen Aussage, die nicht sagt, was Sie meinten, ist die häufigste Art und Weise, wie ein formales Ergebnis irreführt.
3. Ihr Inhalt
Sie behalten das Eigentum an den von Ihnen eingereichten Ansprüchen und an den für Sie produzierten Output. Sie gewähren uns nur die Lizenz, die für den Betrieb des Dienstes erforderlich ist: Ihre Einreichung zu bearbeiten, sie an die von Ihnen ausgewählten Modellanbieter zu übermitteln und die daraus resultierenden match zu speichern, damit Sie wieder dorthin zurückkehren können.
Matches sind standardmäßig privat. Wenn Sie eine match-Public markieren, wird sie für jeden sichtbar, der den Link trägt und kann in unserer öffentlichen Galerie erscheinen.
Überreichen Sie keine personenbezogenen Daten über andere, vertrauliche Materialien, die Sie nicht teilen dürfen, oder rechtswidrige Inhalte.
4. Credits und Abrechnung
Die Gutschrift wird als matches-Run konsumiert. Jede match hat eine Ausgabengrenze, die Sie setzen; Erreichen es hält die match anstatt weiter zu verbringen. Die Guthaben sind nicht übertragbar und, außer wenn gesetzlich vorgeschrieben, nicht rückerstattbar, wenn sie verbraucht werden. Nicht verwendete Gutschrift wird auf Anfrage zurückerstattet.
Wenn Sie Ihren eigenen Rückschlussschlüssel verbinden, zahlen Sie Ihren Anbieter direkt und wir berechnen keine Gebühren pro Token. Über die angegebene Freigrenze hinaus gilt eine Infrastrukturgebühr für den Betrieb des Panels, Werkzeuge und Lagerung.
Wir können Preise mit Ankündigung ändern. Änderungen gelten nie für bereits erworbene Credits.
5. Zulässige Verwendung
Verwenden Sie den Dienst nicht, um Inhalte zu generieren, die anderen schaden, um unsere Aufforderungen oder Systemanweisungen zu extrahieren, die Ausgaben- oder Tariflimits zu umgehen oder den Zugriff ohne schriftliche Vereinbarung weiter zu verkaufen.Das Code-Execution-Tool dient der Überprüfung von Ansprüchen; verwenden Sie ihn nicht, um ein System anzugreifen.
6. Verfügbarkeit
Wir sind auf Drittanbieter angewiesen. Anbieter gehen nach unten, ändern Modelle und deprecate sie. Eine match aus irgendeinem Grund unterbrochen wird innegehalten und wiederverwendbar; wir berechnen nicht für Arbeit, die nicht passiert ist. Wir garantieren nicht ununterbrochene Verfügbarkeit, und ein Modell, das Sie verwendet haben, kann nicht verfügbar werden.
7. Haftung
Die Leistung erfolgt im gesetzlich zulässigen Umfang, wie es ohne jegliche Gewährleistungen der Fall ist. Unsere Gesamthaftung für jegliche Ansprüche beschränkt sich auf den Betrag, den Sie uns in den drei Monaten vor dem Eintritt der Forderung gezahlt haben. Für mittelbaren oder Folgeverlust, einschließlich etwaiger Verluste aus der Abhängigkeit von Modellproduktion, haften wir nicht.
8. Beendigung
Sie können Ihr Konto jederzeit schließen; wir erstatten Ihnen nicht verwendete Gutschrift. Wir können Konten, die gegen diese Bedingungen verstoßen, aussetzen oder den Service gefährden.
9. Änderungen, Sprache und Kontakt
Wir können diese Bedingungen aktualisieren; wesentliche Änderungen werden auf der Website bekannt gegeben.
Übersetzungen dieser Seite sind für Bequemlichkeit vorgesehen und werden maschinell produziert. Wo eine Übersetzung und die englische Version unterscheiden, ist die englische Version geregelt.
Fragen: Kontaktieren Sie uns.