เงื่อนไขการใช้งาน
1. สิ่งที่บริการทำ
คุณส่งคำร้องขอและมาตรฐาน เราจะทำมันผ่าน แพลตฟอร์มของโมเดล AI ที่คุณเลือก บวกกับโมเดลผู้พิพากษา ที่กำหนดกฎเกณฑ์การยอมรับ และเราพยายามที่จะ ทำให้ผลลัพธ์เป็นรูปธรรม ใน Lean 4 กับ Mathlib ผลลัพธ์คือการตีพิมพ์ กลุ่มของคำสั่ง คำตัดสิน และที่ที่การทำเป็นรูปธรรมถูกพยายาม ผลลัพธ์ Lean
2. สิ่งที่ออกมาคืออะไรและไม่
ผลลัพธ์ที่ได้มาจากโมเดล AI ของบุคคลที่สาม และไม่ใช่คำแนะนำ มันไม่ใช่คำแนะนำด้านกฎหมาย ทางการแพทย์ ทางการเงิน วิศวกรรม หรือความรู้ด้านอาชีพ แบบใดๆ และไม่มีความสัมพันธ์ทางอาชีพ ถูกสร้างขึ้นโดยการใช้บริการนี้
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 Formalization สำเร็จ หมายถึง เครน Lean ได้ยอมรับการพิสูจน์ของคำกล่าวที่ถูกทำการพิมพ์แบบ Formalization ด้วย ต่อกับรุ่น Mathlib ที่ใช้อยู่ในเวลานั้น มันไม่ได้หมายความว่าคำกล่าวนั้นเป็นคำแปลที่ถูกต้องของสิ่งที่คุณถาม และการเลือกคำกล่าวแบบ Formal ที่ไม่บอกสิ่งที่คุณหมายถึง นั้นเป็นวิธีที่พบบ่อยที่สุดในการทำให้ผลลัพธ์แบบ Formal ผิดพลาด อ่านคำกล่าวแบบ Formal ไม่ใช่แค่คำตัดสินใจ
3. เนื้อหาของคุณ
คุณยังคงเป็นเจ้าของของคำร้องที่คุณส่ง และผลลัพธ์ที่ผลิตขึ้นสำหรับคุณ คุณให้สิทธิ์กับเราเพียงแค่สิทธิ์ที่จำเป็นในการทำงานบริการ: ในการประมวลผลการส่งของคุณ ส่งมันไปยังผู้ให้บริการแบบจำลองที่คุณเลือก และเก็บผลลัพธ์ match ดังนั้นคุณสามารถกลับไปยังมันได้
ภาพ Matches นั้นเป็นภาพส่วนตัวโดยปริยาย หากคุณทำการกำหนดเป็นภาพสาธารณะ match ภาพจะแสดงให้ทุกคนเห็น และอาจจะปรากฏในแกลเลอรีสาธารณะของเรา อย่าโพสต์ภาพ match ที่มีความลับ
อย่าส่งข้อมูลส่วนตัวของคนอื่นๆ ข้อมูลลับที่คุณไม่ได้รับอนุญาตให้แบ่งปัน หรือเนื้อหาที่ผิดกฎหมาย
4. เครดิตและค่าใช้จ่าย
เครดิตถูกจ่ายล่วงหน้า และถูกใช้ในขณะที่ matches ทำงาน ทุกๆ match มีจำนวนจำกัดในการใช้ที่คุณตั้งไว้ หากถึงจำนวนนี้ match จะหยุดการใช้งาน แทนที่จะใช้ต่อไป จำนวนเงินที่เหลือจะไม่สามารถย้ายไปได้ และนอกจากกรณีที่กฎหมายกำหนดให้ใช้ จำนวนเงินที่เหลือจะไม่สามารถคืนได้เมื่อใช้แล้ว จำนวนเงินที่เหลือจะถูกคืนตามคำขอ
ถ้าคุณเชื่อมต่อกุญแจการคาดการณ์ของคุณเอง คุณจะจ่ายค่าบริการโดยตรงกับผู้ให้บริการ และเราจะไม่คิดค่าบริการต่อโทเคน นอกเหนือจากสิทธิ์ที่ได้กล่าวไว้แล้ว ค่าโครงสร้างพื้นฐานจะถูกเรียกเก็บเพื่อปกป้องการทำงานของแพลตฟอร์ม เครื่องมือและพื้นที่เก็บข้อมูล
เราอาจเปลี่ยนราคาโดยแจ้งให้ทราบ และการเปลี่ยนแปลงจะไม่ใช้กับเครดิตที่ซื้อมาแล้ว
การใช้งานที่ยอมรับได้
อย่าใช้บริการนี้เพื่อสร้างเนื้อหาที่ทำร้ายผู้อื่น, เพื่อพยายามดึงคำสั่งหรือคำสั่งของระบบของเรา, เพื่อหลีกเลี่ยงการใช้จ่ายหรือการจำกัดอัตรา, หรือเพื่อขายสิทธิ์โดยไม่มีข้อตกลงเป็นลายลักษณ์อักษร เครื่องมือประมวลผลโค้ดนี้ใช้เพื่อตรวจสอบข้อกล่าวหา อย่าใช้มันเพื่อโจมตีระบบใดๆ
ความพร้อมใช้งาน
เราพึ่งพาการให้บริการแบบจำลองของบุคคลที่สาม บริการเหล่านี้จะล้มเหลว เปลี่ยนแบบจำลอง และทำลายมัน match ที่ถูกหยุดชะงักเพราะเหตุใดก็ตาม จะถูกหยุดชั่วคราวและสามารถทำต่อได้ เราจะไม่คิดค่าบริการสำหรับงานที่ไม่เกิดขึ้น เราจะไม่รับประกันความสามารถในการใช้งานที่ไม่ถูกขัดจังหวะ และแบบจำลองที่คุณใช้มาก่อนอาจจะไม่สามารถใช้งานได้
ความรับผิดชอบ
บริการนี้จะถูกให้บริการโดยไม่มีการรับประกันในรูปแบบใด ๆ ความรับผิดชอบทั้งหมดของเราต่อการร้องเรียนใด ๆ จะจำกัดอยู่กับจำนวนเงินที่คุณจ่ายให้เราในช่วงสามเดือนก่อนที่คำร้องเรียนจะเกิดขึ้น เราจะไม่รับผิดชอบต่อการสูญเสียโดยตรงหรือโดยอ้อม รวมถึงการสูญเสียที่เกิดจากการเชื่อมั่นในผลลัพธ์ของโมเดล
ปิดการใช้งาน
คุณสามารถปิดบัญชีของคุณได้ทุกเวลา เราจะคืนเงินที่ไม่ใช้แล้ว เราอาจจะระงับบัญชีที่ละเมิดเงื่อนไขนี้ หรือที่ทำให้บริการเสี่ยง
9. เปลี่ยนแปลงภาษาและติดต่อ
เราอาจปรับปรุงเงื่อนไขเหล่านี้ ความเปลี่ยนแปลงที่สำคัญจะประกาศบนเว็บไซต์
การแปลภาษาของหน้านี้ ถูกจัดทำขึ้นเพื่อความสะดวกสบาย และถูกสร้างขึ้นโดยเครื่อง หากมีการแปลภาษาและเวอร์ชันภาษาอังกฤษแตกต่างกัน เวอร์ชันภาษาอังกฤษจะใช้เป็นหลัก
คำถาม: ติดต่อเรา.