მომსახურების პირობები
1. რას აკეთებს სერვისი
You submit a claim and a standard. We run it past a panel of AI models you select, plus a referee model that rules on acceptance criteria, and we attempt to formalise the result in Lean 4 against Mathlib. The output is a transcript, a set of rulings, a verdict, and where formalisation was attempted, the Lean result.
2. რა არის და რა არაა გამონატანი
Output is generated by third-party AI models and is not advice. It is not legal, medical, financial, engineering or professional advice of any kind, and no professional relationship is created by using this service.
The referee ruling a criterion met is a statement about the evidence on record in that match. It is not a guarantee of correctness. AI models make mistakes, misread sources, and can fabricate citations despite instructions not to. You must independently verify anything you intend to rely on, particularly before publishing it, submitting it, or acting on it. This is a tool for pressure-testing work, not a substitute for qualified human review.
Lean- ის წარმატებული ფორმალიზაცია ნიშნავს, რომ Lean- ის ბირთვმა მიიღო ფორმალიზაციის დადასტურება, რომელიც Mathlib ვერსიის გამოყენების დროს იყო. ეს არ ნიშნავს, რომ ეს განცხადება თქვენი თხოვნის ზუსტი თარგმანია და ფორმალური განცხადების არჩევა, რომელიც არ ამბობს რასაც ნიშნავთ, არის ყველაზე გავრცელებული ფორმალური შედეგის შეცდომების მიზეზი. წაიკითხეთ ფორმალური განცხადება, არა მხოლოდ განაჩენი.
3. თქვენი შინაარსი
You keep ownership of the claims you submit and of the output produced for you. You grant us only the licence needed to operate the service: to process your submission, transmit it to the model providers you selected, and store the resulting match so you can return to it.
Matches- ები ნაგულისხმევად პირადი არიან. თუ თქვენ match- ს საზოგადოებრივად შეარჩიეთ, ის ყველასთვის ხილული გახდება და შეიძლება გამოჩნდეს ჩვენს საზოგადოებრივ გალერეაში. არ გამოაქვეყნოთ match- ები, რომლებიც რამე კონფიდენციალურს შეიცავს.
არ გაგზავნოთ სხვა პიროვნებების შესახებ პირადი მონაცემები, კონფიდენციალური მასალა, რომლის გაზიარებასაც არ გაქვთ უფლება, ან აკრძალული შინაარსი.
კრედიტები და გადარიცხვები
კრედიტი წინასწარ გადახდილია და matches- ის მუშაობის დროს იხარჯება. ყოველ match- ს აქვს ხარჯვის ლიმიტი, რომელიც თქვენ ადგენთ; მის მიღწევისას match- ს შეჩერება ხდება ხარჯვის გაგრძელების ნაცვლად. ბალანსი არ გადაეცემა და, გარდა კანონით მოთხოვნილი შემთხვევებისა, არ იხდება უკან, როდესაც ის უკვე გამოყენებულია. არაგამოყენებული კრედიტი იხდება მოთხოვნის შემთხვევაში.
თუკი საკუთარი დასკვნის გასაღების დაკავშირება გადაწყვიტეთ, თქვენ პირდაპირ გადაიხდით თქვენს პროვაიდერს და ჩვენ არ დავაზარალებთ ტოკენს. უფასო ოდენობის გადაჭარბების შემთხვევაში, ინფრასტრუქტურის გადასახადი მოქმედებს პანელების, ინსტრუმენტების და საცავის მუშაობის დაფარვისთვის.
We may change prices with notice. Changes never apply to credit already purchased.
გამოყენება
არ გამოიყენოთ სერვისი სხვას ზიანის მიყენების მიზნით, ჩვენი თხოვნების ან სისტემური ინსტრუქციების ამოღების მიზნით, ხარჯვის ან ფასის საზღვრების გადალახვისთვის, ან წვდომის გადასაყიდად წერილით შეთანხმების გარეშე. კოდის შესრულების ხელსაწყო არის მოთხოვნების შემოწმების მიზნით; არ გამოიყენოთ ის სისტემის დაბომბვისთვის.
ხელმისაწვდომობა
ჩვენ დამოკიდებულნი ვართ მესამე მხარის მოდელების მიმწოდებელზე. მიმწოდებელი წყვეტს მუშაობას, ცვლის მოდელებს და უშვებს მათ. match- ის შეწყვეტა ნებისმიერი მიზეზით შეჩერებულია და აღდგება; ჩვენ არ ვიღებთ გადასახადს იმ სამუშაოსთვის, რომელიც არ მოხდა. ჩვენ არ ვამბობთ, რომ შეუფერხებლად იქნება ხელმისაწვდომი და წინასწარ გამოყენებული მოდელები შეიძლება არ იყოს ხელმისაწვდომი.
პასუხისმგებლობა
კანონით დაშვებული მაქსიმალური ზომით, სერვისი მიეწოდება როგორც არის, არანაირი გარანტიის გარეშე. ჩვენი სრული პასუხისმგებლობა ნებისმიერი მოთხოვნის შემთხვევაში შეზღუდულია იმ თანხით, რომელიც თქვენ გადაუხადეთ ჩვენ 3 თვის განმავლობაში მოთხოვნის დაწყებამდე. ჩვენ არ ვართ პასუხისმგებლები არაპირდაპირი ან შედეგიანი ზარალის გამო, მათ შორის ნებისმიერი ზარალის გამო, რომელიც მოდის მოდელის გამონატანზე დამოკიდებულების გამო.
დასრულება
თქვენ შეგიძლიათ ნებისმიერ დროს დახუროთ თქვენი ანგარიში; ჩვენ დაგიბრუნებთ არგამოყენებულ კრედიტს. ჩვენ შეგვიძლია შევაჩეროთ ანგარიშები, რომლებიც ამ პირობებს არღვევს ან სერვისს რისკს უქმნის.
ცვლილებები, ენა და კონტაქტიName
ჩვენ შეგვიძლია ამ პირობების განახლება; მასობრივი ცვლილებები საიტზე გამოცხადდება.
ამ გვერდის თარგმანები მოსახერხებელია და ავტომატურად არის შექმნილი. თუ თარგმანი და ინგლისური ვერსია განსხვავდება, ინგლისური ვერსია მოქმედებს.
კითხვები: კონტაქტი.