Όροι υπηρεσίας
1. Τι κάνει η υπηρεσία
Το περνάμε από μια ομάδα μοντέλων AI που επιλέγεις, συν ένα μοντέλο διαιτητή που θα καθορίζει τα κριτήρια αποδοχής και προσπαθούμε να επισημοποιήσουμε το αποτέλεσμα στο Lean 4 έναντι Mathlib. Η παραγωγή είναι ένα αντίγραφο, ένα σύνολο αποφάσεων, μια ετυμηγορία, και όπου επιχειρήθηκε η επισημοποίηση, το αποτέλεσμα Lean.
2. Τι είναι η έξοδος και δεν είναι
Η έξοδος παράγεται από μοντέλα AI τρίτων και δεν είναι συμβουλή. Δεν είναι νομική, ιατρική, οικονομική, μηχανική ή επαγγελματική συμβουλή οποιουδήποτε είδους, και δεν δημιουργείται επαγγελματική σχέση με τη χρήση αυτής της υπηρεσίας.
Ο διαιτητής που αποφασίζει ένα κριτήριο που πληρούται είναι μια δήλωση σχετικά με τα στοιχεία που καταγράφονται σε αυτό το match. Δεν είναι μια εγγύηση ορθότητας. Τα μοντέλα AI κάνουν λάθη, λάθος ανάγνωση πηγές, και μπορούν να κατασκευάσουν αναφορές παρά τις οδηγίες να μην. Πρέπει να ελέγξεις ανεξάρτητα οτιδήποτε σκοπεύεις να βασιστείς.Αυτό είναι ένα εργαλείο για την άσκηση δοκιμών πίεσης, όχι υποκατάστατο της ειδικής ανθρώπινης αναθεώρησης.
Μια επιτυχής επισημοποίηση των Lean σημαίνει ότι ο πυρήνας Lean δέχθηκε μια απόδειξη της δήλωσης που επισημοποιήθηκε, κατά της έκδοσης των Mathlib σε χρήση εκείνη την εποχή. Δεν σημαίνει ότι η δήλωση είναι μια πιστή μετάφραση του τι ζητήσατε, και επιλέγοντας μια επίσημη δήλωση που δεν λέει αυτό που εννοούσε είναι ο πιο κοινός τρόπος που ένα επίσημο αποτέλεσμα παραπλανά. Διαβάστε την επίσημη δήλωση, όχι μόνο την ετυμηγορία.
3. Το περιεχόμενό σας
Μας δίνετε μόνο την άδεια που απαιτείται για τη λειτουργία της υπηρεσίας: να επεξεργαστείτε την υποβολή σας, να την μεταδώσετε στους παρόχους μοντέλων που επιλέξατε και να αποθηκεύσετε τα αποτελέσματα match ώστε να μπορέσετε να επιστρέψετε σε αυτήν.
Matches είναι ιδιωτικά εξ ορισμού. Αν σημειώσετε ένα match κοινό γίνεται ορατό σε οποιονδήποτε με το σύνδεσμο και μπορεί να εμφανιστεί στο κοινό μας. Μην δημοσιεύσετε ένα match που περιέχει τίποτα εμπιστευτικό.
Μην υποβάλλετε προσωπικά δεδομένα σχετικά με άλλους, εμπιστευτικό υλικό που δεν έχετε δικαίωμα να μοιραστείτε ή περιεχόμενο που είναι παράνομο.
4. Πιστωτικές και χρέωση
Credit is prepaid and is consumed as matches run. Every match has a spending limit you set; reaching it pauses the match rather than continuing to spend. Balances are not transferable and, except where required by law, are non-refundable once consumed. Unused credit is refundable on request.
Εάν συνδέσετε το δικό σας κλειδί συμπερασμάτων, πληρώνετε άμεσα τον πάροχο σας και δεν χρεώνουμε ανά-τόκε χρέωση.
Οι αλλαγές δεν ισχύουν ποτέ για την πίστωση που έχει ήδη αγοραστεί.
5. Αποδεκτή χρήση
Μην χρησιμοποιείτε την υπηρεσία για να δημιουργήσετε περιεχόμενο που βλάπτει άλλους, για να προσπαθήσετε να αποσπάσετε τις εντολές ή τις οδηγίες του συστήματος μας, για να παρακάμψετε τα όρια δαπανών ή συντελεστών, ή για να μεταπωλήσετε την πρόσβαση χωρίς γραπτή συμφωνία. Το εργαλείο εκτέλεσης κώδικα είναι για την επαλήθευση απαιτήσεων; μην το χρησιμοποιήσετε για να επιτεθείτε σε κανένα σύστημα.
6. Διαθεσιμότητα
Εξαρτόμαστε από τρίτους παρόχους μοντέλων. Οι πάροχοι πηγαίνουν κάτω, αλλάζουν μοντέλα, και τους αποπροσανατολίζουν. Ένα match διακόπτεται για οποιονδήποτε λόγο είναι παύση και επαναπλήρωση? δεν χρεώνουμε για εργασία που δεν συνέβη. Δεν εγγυόμαστε αδιάκοπη διαθεσιμότητα, και ένα μοντέλο που χρησιμοποιήθηκαν πριν μπορεί να γίνει μη διαθέσιμο.
7. Ευθύνη
Στο μέγιστο βαθμό που επιτρέπεται από το νόμο, η υπηρεσία παρέχεται όπως και χωρίς εγγυήσεις οποιουδήποτε είδους. Η συνολική ευθύνη για οποιαδήποτε απαίτηση περιορίζεται στο ποσό που μας πληρώσατε κατά τους τρεις μήνες πριν από την εμφάνιση της απαίτησης. Δεν είμαστε υπεύθυνοι για έμμεση ή επακόλουθη απώλεια, συμπεριλαμβανομένης τυχόν απώλειας που προκύπτει από την εξάρτηση από την παραγωγή μοντέλου.
8. Λήξη
Μπορείτε να κλείσετε το λογαριασμό σας ανά πάσα στιγμή, θα επιστρέψουμε την αχρησιμοποίητη πίστωση.
9. Αλλαγές, γλώσσα και επαφή
Μπορούμε να ενημερώσουμε αυτούς τους όρους· οι αλλαγές υλικού θα ανακοινωθούν στην ιστοσελίδα.
Οι μεταφράσεις αυτής της σελίδας παρέχονται για ευκολία και παράγονται από μηχανήματα.
Ερωτήσεις: Επικοινωνήστε μαζί μας.