ສິ່ງທີ່ແພລດຟອມສາມາດເຮັດໄດ້

arXiv, OpenAlex, Crossref, Europe PMC ແລະ Semantic Scholar - ແຫຼ່ງຕົ້ນຕໍ, ບໍ່ແມ່ນ blog restatements ຂອງພວກເຂົາເຈົ້າ. ຄະນິດສາດ, physics, CS, ຊີວະວິທະຍາ, ຢາ, ເສດຖະກິດ.

ບ່ອນນັ່ງແມ່ນຖືກບອກໃຫ້ກວດເບິ່ງສິ່ງທີ່ໄດ້ພິສູດແລ້ວກ່ອນທີ່ຈະພະຍາຍາມມັນເອງ, ຍ້ອນວ່າການ ນຳເອົາຜົນໄດ້ຮັບທີ່ຮູ້ຈັກຄືນໃໝ່ຈະສູນເສຍເງິນຂອງທ່ານ.

ການຄົ້ນຫາດ້ວຍຕົນເອງດ້ວຍຂໍ້ຈໍາກັດທີ່ແທ້ຈິງ - ຖາມກ່ຽວກັບ arxiv.org ແລະທ່ານໄດ້ຮັບ arxiv.org, ບໍ່ວ່າເຄື່ອງຈັກຈະຮູ້ສຶກວ່າກັບຄືນມາ.

ຫນ້າ​ແມ່ນ​ຖືກ​ດາວໂຫລດ ແລະ ອ່ານ, ສະນັ້ນ​ການ​ອ້າງອີງ​ສາມາດ​ອ້າງອີງ​ເຖິງ​ຂໍ້​ຄວາມ​ທີ່​ມັນ​ອີງ​ໃສ່​ໄດ້.

Python ທີ່ມີ sympy, mpmath ແລະ numpy, ດັ່ງນັ້ນບ່ອນນັ່ງສາມາດກວດສອບຂອບເຂດ, ຊອກຫາຕົວຢ່າງ counterexample ຫຼື ກວດສອບບາດກ້າວ algebraic ແທນທີ່ຈະຢືນຢັນມັນ.

ແລ່ນ​ໂດຍ​ບໍ່​ມີ​ການ​ເຂົ້າ​ເຖິງ​ເຄືອຂ່າຍ, ຈໍາກັດ CPU ແລະ ​ຄວາມ​ຈຳ.

ເວັບໄຊ​ນີ້​ຈັດການ​ກັບ​ການ​ກ່າວ​ອ້າງ​ທີ່​ມີ​ຫຼັກຖານ, ບ່ອນ​ທີ່​ຫຼັກຖານ​ແມ່ນ​ແຫຼ່ງ​ຫຼື ການ​ວັດແທກ. ທິດສະດີ​ແມ່ນ​ບໍ່​ຄື​ນັ້ນ: ມັນ​ຕ້ອງການ​ຂໍ້​ພິສູດ​ທີ່​ເຄຣນ​ຍອມຮັບ, ບໍ່ແມ່ນ​ກໍລະນີ​ທີ່​ໄດ້​ຮັບ​ການ​ໂຕ້ຖຽງ​ຢ່າງ​ດີ.

ດັ່ງນັ້ນ ເປົ້າໝາຍທາງຄະນິດສາດ ຈຶ່ງຢູ່ເທິງເວັບໄຊຂອງພີ່ນ້ອງຂອງພວກເຮົາ, ເຊິ່ງແລ່ນໃນແຜງດຽວກັນ ແລະຫຼັງຈາກນັ້ນກວດເບິ່ງຜົນໄດ້ຮັບໃນ Lean 4 versus Mathlib. theorem.chat