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