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 tym match. To nie jest gwarancja poprawności. AI modele popełniają błędy, błędnie czytają źródła i mogą wymyślać cytaty pomimo instrukcji 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ść
Właścicielstwo do przedłożonych przez Ciebie roszczeń i wyrobów. Udzielasz nam tylko licencji potrzebnej do obsługi usługi: do przetwarzania swojej składki, przekazywania jej wybranym dostawcom i przechowywania wynikających match, aby można go powrócić.
Matches są prywatne. Jeśli zaznaczysz match publicznie, to staje się widoczne dla każdego z linkiem i może pojawić się w naszej publicznej galerii. Nie publikuj match 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. kredyty i rachunki
Kredyt jest przedpłatny i jest zużyty jako matches run. Każdy match ma określony limit wydatków; dotarcie do niego przerwa match zamiast kontynuować wydatki. Saldy nie są przekazywane i, z wyjątkiem wymagań ustawowych, są niezwrotne po zużyciu. Niewykorzystane kredyty są zwracane 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ą na dół, zmieniają modele i zwalczają ich. match przerwanych z jakiegokolwiek powodu jest zatrzymany i powtarzany; nie bierzemy opłat za pracę, która nie doszła do tego. 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.