ເງື່ອນໄຂການໃຊ້ງານ
1. ການບໍລິການເຮັດຫຍັງ
ທ່ານສາມາດສະເຫນີຄໍາຮ້ອງຂໍແລະມາດຕະຖານ. ພວກເຮົາຂັບລົດມັນຜ່ານແຜງຂອງ AI ແບບທີ່ທ່ານເລືອກ, ເພີ່ມແບບ referee ທີ່ກໍານົດໄວ້ໃນເງື່ອນໄຂການຍອມຮັບ, ແລະພວກເຮົາພະຍາຍາມເພື່ອ formalize ຜົນໄດ້ຮັບໃນ Lean 4 ຕ້ານ Mathlib. ຜົນໄດ້ຮັບແມ່ນ transcript, ຊຸດຂອງຄໍາຕັດສິນ, ຕັດສິນໃຈ, ແລະບ່ອນທີ່ formalization ໄດ້ພະຍາຍາມ, ຜົນໄດ້ຮັບ Lean.
2. ຜົນໄດ້ຮັບແມ່ນຫຍັງແລະບໍ່
ຜົນໄດ້ຮັບແມ່ນຖືກສ້າງຂຶ້ນໂດຍແບບ AI ຂອງພາກສ່ວນທີສາມແລະບໍ່ແມ່ນຄໍາແນະນໍາ. ມັນບໍ່ແມ່ນກົດໝາຍ, ທາງການແພດ, ການເງິນ, ວິສະວະກໍາຫຼືຄໍາແນະນໍາມືອາຊີບຂອງປະເພດໃດຫນຶ່ງ, ແລະບໍ່ມີຄວາມສໍາພັນມືອາຊີບແມ່ນຖືກສ້າງຂຶ້ນໂດຍການນໍາໃຊ້ການບໍລິການນີ້.
ຄໍາຕັດສິນຂອງສານທີ່ກໍານົດເງື່ອນໄຂທີ່ຕອບສະຫນອງແມ່ນຄໍາເວົ້າກ່ຽວກັບຫຼັກຖານກ່ຽວກັບບັນທຶກໃນການແຂ່ງຂັນນັ້ນ. ມັນບໍ່ແມ່ນການຮັບປະກັນຄວາມຖືກຕ້ອງ. ແບບ AI ເຮັດຜິດພາດ, ອ່ານແຫຼ່ງທີ່ມາຜິດ, ແລະສາມາດສ້າງການອ້າງອີງເຖິງເຖິງແມ່ນວ່າຄໍາແນະນໍາບໍ່. ທ່ານຕ້ອງກວດສອບຢ່າງອິດສະຫຼະທຸກສິ່ງທຸກຢ່າງທີ່ທ່ານຢາກເຊື່ອຖື, ກ່ອນທີ່ຈະພິມອອກມາ, ສົ່ງມັນເຂົ້າໄປ, ຫຼື ປະຕິບັດຕາມມັນ. ສິ່ງນີ້ແມ່ນເຄື່ອງມືເພື່ອທົດສອບຄວາມກົດດັນຂອງວຽກ, ບໍ່ແມ່ນການທົດແທນການທົບທວນຄືນຂອງຄົນທີ່ມີຄຸນນະພາບ.
ການເຮັດໃຫ້ເປັນຮູບແບບຢ່າງມີຜົນສຳເລັດຂອງ Lean ຫມາຍຄວາມວ່າ Lean kernel ໄດ້ຮັບການພິສູດຂໍ້ກ່າວຫາທີ່ໄດ້ເຮັດໃຫ້ເປັນຮູບແບບໂດຍກົງກັບສະບັບຂອງ Mathlib ທີ່ໃຊ້ໃນເວລານັ້ນ. ມັນບໍ່ໝາຍຄວາມວ່າຂໍ້ກ່າວຫານັ້ນແມ່ນການແປທີ່ຖືກຕ້ອງຂອງສິ່ງທີ່ທ່ານໄດ້ຖາມ ແລະ ການເລືອກຂໍ້ກ່າວຫາທີ່ເປັນຮູບແບບທີ່ບໍ່ເວົ້າເຖິງສິ່ງທີ່ທ່ານໝາຍເຖິງແມ່ນວິທີທີ່ໃຊ້ໄດ້ຫຼາຍທີ່ສຸດທີ່ຜົນທີ່ເປັນຮູບແບບຈະເຮັດໃຫ້ຜິດພາດ. ອ່ານຂໍ້ກ່າວຫາທີ່ເປັນຮູບແບບ, ບໍ່ແມ່ນພຽງແຕ່ການຕັດສິນໃຈເທົ່ານັ້ນ.
ເນື້ອໃນ
ທ່ານຮັກສາສິດຂອງການຮ້ອງຂໍທີ່ທ່ານສະເໜີ ແລະ ຜົນອອກມາທີ່ໄດ້ຜະລິດໃຫ້ທ່ານໄວ້. ທ່ານໃຫ້ອະນຸຍາດແກ່ພວກເຮົາພຽງແຕ່ເພື່ອປະຕິບັດບໍລິການ: ເພື່ອປະມວນຜົນການສະເໜີຂອງທ່ານ, ສົ່ງມັນໄປຫາຜູ້ສະໜອງແບບທີ່ທ່ານໄດ້ເລືອກ, ແລະ ເກັບຜົນທີ່ໄດ້ມາທີ່ກົງກັນເພື່ອໃຫ້ທ່ານສາມາດກັບມາໃຊ້ມັນໄດ້.
ຂໍ້ມູນທີ່ຄົບກັນແມ່ນເປັນສ່ວນຕົວຕາມປັບເດີມ. ຖ້າທ່ານກຳນົດຂໍ້ມູນທີ່ຄົບກັນເປັນສາທາລະນະ ມັນຈະຖືກສະແດງໃຫ້ຜູ້ໃດຜູ້ໜຶ່ງເຫັນໂດຍໃຊ້ລິ້ງ ແລະ ອາດຈະປາກົດຢູ່ໃນແຄມເປນສາທາລະນະຂອງພວກເຮົາ. อย่าເຜີຍແຜ່ຂໍ້ມູນທີ່ຄົບກັນທີ່ມີເນື້ອໃນລັບໃດໆເລີຍ.
อย่าส่งข้อมูลส่วนตัวเกี่ยวกับคนอื่น, สาระที่คุณไม่ได้รับอนุญาตให้แบ่งปัน, หรือเนื้อหาที่ผิดกฎหมาย.
4. ສິນເຊື່ອແລະຄ່າທໍານຽມ
ເງິນຝາກແມ່ນຈ່າຍລ່ວງໜ້າ ແລະ ຖືກໃຊ້ໃນເມື່ອເກມແລ່ນ. ເກມທຸກໆເກມມີຂໍ້ຈໍາກັດການໃຊ້ຈ່າຍທີ່ເຈົ້າຕັ້ງຄ່າ; ເຖິງວ່າຈະຢຸດການຫຼີ້ນແທນທີ່ຈະສືບຕໍ່ໃຊ້ຈ່າຍ. ເງິນຝາກບໍ່ສາມາດໂອນໄດ້ ແລະ, ຍົກເວັ້ນບ່ອນທີ່ຕ້ອງການໂດຍກົດໝາຍ, ບໍ່ສາມາດຖອນຄືນໄດ້ເມື່ອໃຊ້. ເງິນຝາກທີ່ບໍ່ໄດ້ໃຊ້ແມ່ນຖອນຄືນໄດ້ຕາມຄໍາຮ້ອງຂໍ.
ຖ້າທ່ານເຊື່ອມຕໍ່ກັບກູໂກການຄິດໄລ່ຂອງທ່ານເອງ, ທ່ານຈະຈ່າຍຄ່າບໍລິການຂອງທ່ານໂດຍກົງ ແລະ ພວກເຮົາຈະບໍ່ຄິດຄ່າໃຊ້ຈ່າຍຕໍ່ໂຕຄອນໃດໆ. ນອກຈາກຄ່າໃຊ້ຈ່າຍຟຣີທີ່ກ່າວໄວ້ແລ້ວ ຄ່າພື້ນຖານໂຄງລ່າງຈະຖືກນຳໃຊ້ເພື່ອປົກປ້ອງການແລ່ນຂອງແຜງ, ເຄື່ອງມື ແລະ ບ່ອນເກັບມ້ຽນ.
ພວກເຮົາສາມາດປ່ຽນລາຄາໂດຍແຈ້ງການ. ການປ່ຽນແປງບໍ່ເຄີຍນໍາໃຊ້ໃຫ້ສິນເຊື່ອໄດ້ຊື້ແລ້ວ.
ການໃຊ້ງານທີ່ຍອມຮັບໄດ້
อย่าใช้บริการนี้เพื่อสร้างເນື້ອຫາທີ່ເຮັດໃຫ້ຄົນອື່ນເສຍຫາຍ, ເພື່ອພະຍາຍາມດຶງເອົາ ຄຳ ແນະ ນຳ ຫຼື ຄຳ ແນະ ນຳ ຂອງລະບົບຂອງພວກເຮົາ, ເພື່ອຫຼີກເວັ້ນການໃຊ້ຈ່າຍຫຼື ຈຳກັດອັດຕາ, ຫຼືເພື່ອຂາຍການເຂົ້າເຖິງຄືນໃໝ່ໂດຍບໍ່ໄດ້ລົງນາມໃນຂໍ້ຕົກລົງ. ເຄື່ອງມືການປະຕິບັດລະຫັດແມ່ນເພື່ອກວດສອບການຮຽກຮ້ອງ; อย่าใช้มันເພື່ອໂຈມຕີລະບົບໃດໆ.
ມີຄວາມສາມາດ
ພວກເຮົາອີງໃສ່ຜູ້ສະໜອງແບບສາມຝ່າຍ. ຜູ້ສະໜອງຈະລົ້ມລົງ, ປ່ຽນແບບ ແລະ ຖອນພວກມັນອອກໄປ. ການກົງກັນຂ້າມທີ່ຖືກຢຸດຊົ່ວຄາວຍ້ອນເຫດຜົນໃດກໍ່ຕາມຈະຖືກຢຸດຊົ່ວຄາວ ແລະ ສືບຕໍ່ໄດ້; ພວກເຮົາບໍ່ຄິດຄ່າໃຊ້ຈ່າຍສຳລັບວຽກທີ່ບໍ່ໄດ້ເກີດຂຶ້ນ. ພວກເຮົາບໍ່ຮັບປະກັນຄວາມສາມາດໃຊ້ງານທີ່ບໍ່ຖືກຢຸດຊົ່ວຄາວ ແລະ ແບບທີ່ທ່ານໃຊ້ກ່ອນໜ້ານີ້ອາດຈະບໍ່ສາມາດໃຊ້ງານໄດ້ອີກຕໍ່ໄປ.
ພັນທະ
ເຖິງຢ່າງເຕັມທີ່ອະນຸຍາດໂດຍກົດຫມາຍ, ການບໍລິການແມ່ນສະຫນອງໃຫ້ເປັນຄືກັບວ່າບໍ່ມີການຮັບປະກັນຂອງປະເພດໃດຫນຶ່ງ. ພັນທະທັງໝົດຂອງພວກເຮົາສໍາລັບການຮ້ອງທຸກໃດໆແມ່ນຈໍາກັດໃຫ້ກັບຈໍານວນທີ່ທ່ານໄດ້ຈ່າຍໃຫ້ພວກເຮົາໃນສາມເດືອນກ່ອນທີ່ຄໍາຮ້ອງຂໍໄດ້ເກີດຂຶ້ນ. ພວກເຮົາບໍ່ຮັບຜິດຊອບສໍາລັບການສູນເສຍໂດຍກົງຫຼືຜົນສະທ້ອນ, ລວມທັງການສູນເສຍໃດໆທີ່ເກີດຈາກອີງໃສ່ການອອກແບບຜົນຜະລິດ.
ຍົກເລີກ
ທ່ານສາມາດປິດບັນຊີຂອງທ່ານໄດ້ທຸກເວລາ; ພວກເຮົາຈະຈ່າຍຄືນເງິນທີ່ໃຊ້ບໍ່ໄດ້. ພວກເຮົາສາມາດຢຸດການໃຊ້ບັນຊີທີ່ລະເມີດເງື່ອນໄຂເຫຼົ່ານີ້ຫຼືທີ່ເຮັດໃຫ້ການບໍລິການມີຄວາມສ່ຽງ.
9. ການປ່ຽນແປງ, ພາສາແລະຕິດຕໍ່
ພວກເຮົາອາດຈະປັບປຸງເງື່ອນໄຂເຫຼົ່ານີ້; ການປ່ຽນແປງທີ່ສໍາຄັນຈະຖືກປະກາດໃນເວັບໄຊ.
ການແປຂອງໜ້ານີ້ແມ່ນໄດ້ສະໜອງໃຫ້ເພື່ອຄວາມສະດວກ ແລະ ຖືກຜະລິດໂດຍເຄື່ອງຈັກ. ເມື່ອການແປ ແລະ ສະບັບພາສາອັງກິດແຕກຕ່າງກັນ, ສະບັບພາສາອັງກິດຈະເປັນທີ່ໃຊ້ໄດ້.
ຄໍາຖາມ: ຕິດຕໍ່ພວກເຮົາ.