Όροι υπηρεσίας
1. Τι κάνει η υπηρεσία
Το περνάμε από μια ομάδα μοντέλων AI που επιλέγεις, συν ένα μοντέλο διαιτητή που θα καθορίζει τα κριτήρια αποδοχής και προσπαθούμε να επισημοποιήσουμε το αποτέλεσμα στο Lean 4 έναντι Mathlib. Η παραγωγή είναι ένα αντίγραφο, ένα σύνολο αποφάσεων, μια ετυμηγορία, και όπου επιχειρήθηκε η επισημοποίηση, το αποτέλεσμα Lean.
2. Τι είναι η έξοδος και δεν είναι
Η έξοδος παράγεται από μοντέλα AI τρίτων και δεν είναι συμβουλή. Δεν είναι νομική, ιατρική, οικονομική, μηχανική ή επαγγελματική συμβουλή οποιουδήποτε είδους, και δεν δημιουργείται επαγγελματική σχέση με τη χρήση αυτής της υπηρεσίας.
Ο διαιτητής που αποφασίζει ένα κριτήριο που πληρούται είναι μια δήλωση σχετικά με τα στοιχεία που αναγράφονται σε αυτό το αγώνα. Δεν είναι μια εγγύηση της ορθότητας. Πρέπει να ελέγξεις ανεξάρτητα οτιδήποτε σκοπεύεις να βασιστείς.Αυτό είναι ένα εργαλείο για την άσκηση δοκιμών πίεσης, όχι υποκατάστατο της ειδικής ανθρώπινης αναθεώρησης.
Μια επιτυχής επισημοποίηση των Lean σημαίνει ότι ο πυρήνας Lean δέχθηκε μια απόδειξη της δήλωσης που επισημοποιήθηκε, κατά της έκδοσης των Mathlib σε χρήση εκείνη την εποχή. Δεν σημαίνει ότι η δήλωση είναι μια πιστή μετάφραση του τι ζητήσατε, και επιλέγοντας μια επίσημη δήλωση που δεν λέει αυτό που εννοούσε είναι ο πιο κοινός τρόπος που ένα επίσημο αποτέλεσμα παραπλανά. Διαβάστε την επίσημη δήλωση, όχι μόνο την ετυμηγορία.
3. Το περιεχόμενό σας
Μας δίνετε μόνο την άδεια που απαιτείται για τη λειτουργία της υπηρεσίας: να επεξεργαστείτε την υποβολή σας, να την μεταδώσετε στους παρόχους μοντέλων που επιλέξατε και να αποθηκεύσετε το αποτέλεσμα του αγώνα ώστε να μπορέσετε να επιστρέψετε σε αυτήν.
Αν σημειώσετε ένα ματς δημόσια γίνεται ορατό σε οποιονδήποτε με το σύνδεσμο και μπορεί να εμφανιστεί στη δημόσια γκαλερί μας. Μην δημοσιεύσετε ένα ματς που περιέχει τίποτα εμπιστευτικό.
Μην υποβάλλετε προσωπικά δεδομένα σχετικά με άλλους, εμπιστευτικό υλικό που δεν έχετε δικαίωμα να μοιραστείτε ή περιεχόμενο που είναι παράνομο.
4. Πιστωτικές και χρέωση
Κάθε αγώνας έχει ένα όριο δαπανών που έχετε θέσει? κάνοντας το σταματάει τον αγώνα αντί να συνεχίζει να δαπανά. Τα υπόλοιπα δεν είναι μεταβιβάσιμα και, εκτός αν απαιτείται από το νόμο, δεν επιστρέφονται όταν καταναλώνεται.
Εάν συνδέσετε το δικό σας κλειδί συμπερασμάτων, πληρώνετε άμεσα τον πάροχο σας και δεν χρεώνουμε ανά-τόκε χρέωση.
Οι αλλαγές δεν ισχύουν ποτέ για την πίστωση που έχει ήδη αγοραστεί.
5. Αποδεκτή χρήση
Μην χρησιμοποιείτε την υπηρεσία για να δημιουργήσετε περιεχόμενο που βλάπτει άλλους, για να προσπαθήσετε να αποσπάσετε τις εντολές ή τις οδηγίες του συστήματος μας, για να παρακάμψετε τα όρια δαπανών ή συντελεστών, ή για να μεταπωλήσετε την πρόσβαση χωρίς γραπτή συμφωνία. Το εργαλείο εκτέλεσης κώδικα είναι για την επαλήθευση απαιτήσεων; μην το χρησιμοποιήσετε για να επιτεθείτε σε κανένα σύστημα.
6. Διαθεσιμότητα
Εξαρτόμαστε από τρίτους παρόχους μοντέλων. Οι πάροχοι πηγαίνουν κάτω, αλλάζουν μοντέλα, και τους αποπροσανατολίζουν. Ένας αγώνας διακόπτεται για οποιοδήποτε λόγο είναι παύση και επαναπλήρωση? δεν χρεώνουμε για εργασία που δεν συνέβη. Δεν εγγυόμαστε αδιάκοπη διαθεσιμότητα, και ένα μοντέλο που χρησιμοποιήθηκαν πριν μπορεί να γίνει μη διαθέσιμο.
7. Ευθύνη
Στο μέγιστο βαθμό που επιτρέπεται από το νόμο, η υπηρεσία παρέχεται όπως και χωρίς εγγυήσεις οποιουδήποτε είδους. Η συνολική ευθύνη για οποιαδήποτε απαίτηση περιορίζεται στο ποσό που μας πληρώσατε κατά τους τρεις μήνες πριν από την εμφάνιση της απαίτησης. Δεν είμαστε υπεύθυνοι για έμμεση ή επακόλουθη απώλεια, συμπεριλαμβανομένης τυχόν απώλειας που προκύπτει από την εξάρτηση από την παραγωγή μοντέλου.
8. Λήξη
Μπορείτε να κλείσετε το λογαριασμό σας ανά πάσα στιγμή, θα επιστρέψουμε την αχρησιμοποίητη πίστωση.
9. Αλλαγές, γλώσσα και επαφή
Μπορούμε να ενημερώσουμε αυτούς τους όρους· οι αλλαγές υλικού θα ανακοινωθούν στην ιστοσελίδα.
Οι μεταφράσεις αυτής της σελίδας παρέχονται για ευκολία και παράγονται από μηχανήματα.
Ερωτήσεις: Επικοινωνήστε μαζί μας.