ຕັ້ງເປົ້າ​ໝາຍ
ຜູ້ຕັດສິນຕັດສິນໃຈເມື່ອມັນໄດ້ເຮັດແລ້ວ.

ແບບຢ່າງ ສະແດງໃຫ້ເຫັນ ວ່າ ສານຕັດສິນ ຕັດສິນຕາມຫຼັກຖານ ບໍ່ແມ່ນ ຕາມສຽງທີ່ ເຊື່ອຖືໄດ້ກວ່າ

ເລີ່ມຕົ້ນ​ການ​ແຂ່ງຂັນ
ພິສູດ​ຄຳ​ເວົ້າ​ທາງ​ຄະນິດສາດ​ບໍ? theorem.chat ແລ່ນ​ແຜງ​ດຽວ​ກັນ ແລະ ຫຼັງຈາກນັ້ນ​ກໍ່​ເຮັດ​ໃຫ້​ຜົນ​ໄດ້ຮັບ​ເປັນ​ທາງການ​ໃນ Lean ຕ້ານ​ກັບ Mathlib, ບ່ອນ​ທີ່​ເຄຣນ​ຕັດສິນ​ໃຈ.
ຫຼັກຖານ, ບໍ່ແມ່ນຄວາມຄິດເຫັນ

ທຸກໆບ່ອນນັ່ງຄົ້ນຫາບົດຂຽນກ່ຽວກັບ arXiv, OpenAlex, Crossref ແລະ Europe PMC, ອ່ານແຫຼ່ງຂໍ້ມູນ, ແລະ ແລ່ນ Python ເພື່ອກວດສອບການຄິດໄລ່ແທນທີ່ຈະຢືນຢັນມັນ. ການກ່າວຫາທີ່ບໍ່ມີຫຍັງກວດສອບຄືນຫຼັງມັນບໍ່ສາມາດແກ້ໄຂມາດຖານໄດ້.

ຕິດ​ຢູ່​ແມ່ນ​ການ​ເຄື່ອນ​ໄຫວ ບໍ່ແມ່ນ​ຄວາມ​ລົ້ມ​ເຫຼວ

ເມື່ອບ່ອນນັ່ງພົບກັບຝາ ມັນຈະຢຸດ ແລະ ສົ່ງຄໍາຖາມສະເພາະໜຶ່ງ ໄປຫາບ່ອນນັ່ງທີ່ຕັ້ງໃຈຕອບ - ພຽງແຕ່ຄໍາຖາມນັ້ນ, ບໍ່ແມ່ນປະຫວັດສາດທັງ ໝົດ. ລາຄາຖືກກວ່າການໃຫ້ແບບຢ່າງທ້າທາຍ, ແລະ ມັນປົກກະຕິແລ້ວຈະປິດບັງ.

ເປົ້າໝາຍ​ຍາວໆ​ຈະ​ຢູ່​ລອດ

ທຸກ​ສິ່ງ​ທຸກ​ຢ່າງ​ທີ່​ໄດ້​ສ້າງ​ຂຶ້ນ​ໄປ​ໃນ​ບັນທຶກ​ແບ່ງປັນ, ດັ່ງນັ້ນ​ບໍ່ມີ​ຫຍັງ​ຖືກ​ນໍາ​ມາ​ໃຊ້​ຄືນ​ໃໝ່ ແລະ ບໍ່ມີ​ຫຍັງ​ຖືກ​ລືມ​ໄປ. ຂໍ້​ມູນ​ທີ່​ກົງ​ກັນ​ຢຸດ​ແລະ ສືບຕໍ່​ໂດຍ​ບໍ່​ສູນ​ເສຍ​ວຽກ - ປິດ​ແທັບ ແລະ ​ກັບ​ມາ​ອີກ​ໃນ​ມື້​ອື່ນ.