Warunki świadczenia usług
1. Co robi usługa
Podajesz roszczenie i standard. Przeprowadzamy to po panelu modeli AI wybranych, plus model referenta, który reguluje kryteria akceptacji, i staramy się formalizować wynik Lean 4 przeciwko Mathlib. Wynik jest transkrypcją, zestawem orzeczeń, werdyktem, i gdzie próbowano formalność, wynik Lean.
2. Co to jest wyjście a nie jest
Wynik generuje się przez modele AI stron trzecich i nie jest doradztwem. Nie jest to legalne, medyczne, finansowe, inżynierii czy profesjonalne porady jakiegokolwiek rodzaju, i żadna z nich nie jest tworzona przez korzystanie z tej usługi.
Wyrok spełnionego kryterium jest oświadczeniem o dowodach zapisanych w tej meczu. To nie jest gwarancja poprawności. AI modele dopuszczają błędów, błędnie czytają źródła, i mogą wymyślić cytaty pomimo instrukcji, aby nie. Musisz niezależnie sprawdzić wszystko, na czym zamierzasz polegać.To narzędzie do pracy testu ciśnienia, a nie zastępuje kwalifikowaną ocenę ludzką.
Udana formalizacja Lean oznacza, że jądro Lean zaakceptowało dowód oświadczenia, które zostało sformalizowane, wbrew wersji Mathlib, które używano w tym czasie. Nie oznacza to, że oświadczenie jest wiernym tłumaczeniem tego, co prosiłeś, a wybór formalnego oświadczenia, które nie mówi, że ma na myśli najbardziej powszechny sposób formalny wynik w błąd. Czytaj oświadczenie formalny, nie tylko werdykt.
3. Twoja zawartość
Utrzymujesz własność roszczeń przedkładanych i wyrobów wyprodukowanych dla Ciebie. Udzielasz nam tylko licencji potrzebnej do obsługi usługi: do przetwarzania swojej składki, przekazywania jej wybranym dostawcom i przechowywania wyników meczu, tak aby można było do niej wrócić.
Mecze są domyślnie prywatne. Jeśli zaznaczysz mecz publiczny, to widać to komukolwiek z linkiem i może pojawić się w naszej publicznej galerii. Nie publikuj meczu zawierającego nic poufnego.
Nie przedkładaj danych osobowych na temat innych, poufnych materiałów, których nie masz prawa do udostępniania lub treści, które są niezgodne z prawem.
4. Zasługi i rachunki
Kredyt jest przedpłatny i jest zużyty w trakcie meczy. Każdy mecz ma określony limit wydatków; osiągnięcie go zawiesza mecz zamiast kontynuować wydatki. Saldy nie są przekazywane i, z wyjątkiem przypadków, gdy wymaga się prawo, są niezwrotne po zużyciu. Niewykorzystany kredyt jest zwrotny na żądanie.
Jeśli połączysz własny klucz do wyników, płacisz bezpośrednio dostawcy i nie płacimy za to opłaty za akcję. Pomimo zgłoszonego bezpłatnego przydziału opłata za infrastrukturę dotyczy obsługi panelu, narzędzi i przechowywania.
Możemy zmienić ceny z zawiadomieniem. Zmiany nigdy nie mają zastosowania do już zakupionych kredytów.
5. Dopuszczalne zastosowanie
Nie używać usługi do generowania treści, które szkodzi innym, próby wyciągnięcia naszych zapytań lub instrukcji systemu, obejścia limitów wydatków lub stawek, lub do odesłania dostępu bez pisemnej umowy. Narzędzie do wykonania kodu jest do weryfikacji roszczeń; nie używać go do atakowania żadnego systemu.
6. Dostępność
Zależymy od dostawców modeli trzecich. Dostawcy idą w dół, zmieniają modele i zmniejszyają ich. Przerwane z jakiegokolwiek powodu jest przerwane i powtarzane; nie pobieramy opłat za pracę, która nie doszła. Nie gwarantujemy nieprzerwanej dostępności, a model, którego używałeś wcześniej może zostać niedostępny.
7. Odpowiedzialność
W najwyższym zakresie dozwolonym przez prawo, usługa jest świadczona tak jak nie jest żadnego rodzaju gwarancji. Nasza całkowita odpowiedzialność za wszelkie roszczenie jest ograniczona do kwoty, którą nam zapłacił w ciągu trzech miesięcy przed powstaniem roszczenia. Nie jesteśmy odpowiedzialni za straty pośrednie lub wynikające z tego, w tym straty wynikające z uzależnienia od produkcji modelu.
8. Zakończenie
Możesz zamknąć swoje konto w dowolnym momencie; zwrócimy zwrot niewykorzystanych kredytów. Możemy zawiesić konta, które naruszają te warunki lub które zagrażają usługom.
9. Zmiany, język i kontakt
Możemy zaktualizować te warunki; istotne zmiany zostaną ogłoszone na stronie.
Tłumaczenia tej strony są dostarczane w wygodę i są maszynowo produkowane. W przypadku gdy tłumaczenie i wersja angielska różni się, wersja angielska reguluje.
Pytania: Kontakt.