Lean 4
หมวดหมู่:Academic researchราคา: ฟรี
คำอธิบาย
ตัวพิสูจน์ทฤษฎีบทแบบโต้ตอบและภาษาโปรแกรมเชิงฟังก์ชัน ซึ่งเป็นโครงสร้างพื้นฐานหลักสำหรับการวิจัย AI อย่างเป็นทางการและการพิสูจน์ทฤษฎีบทอัตโนมัติ (เช่น AlphaProof, DeepSeek-Prover)
เครื่องมือที่เกี่ยวข้อง
AMiner
แพลตฟอร์มวิจัยเชิงวิชาการและข่าวกรองเทคโนโลยีที่ขับเคลื่อนด้วย AI ให้บริการค้นหาบทความ ค้นหาสิทธิบัตร ติดตามวรรณกรรม และการสร้างโปรไฟล์นักวิชาการ
ฟรีเยี่ยมชม →
alphaxiv
ชุมชนอภิปรายวิชาการแบบเปิดที่อิงตามแพลตฟอร์ม arXiv ซึ่งอนุญาตให้ผู้ใช้แสดงความคิดเห็นทีละบรรทัด ถามคำถาม และโต้ตอบแบบเรียลไทม์โดยการแทนที่โดเมนลิงก์ของกระดาษ (arxiv.org เป็น alphaxiv.org) โดยตรงบนหน้าของกระดาษ และยังมีฟีเจอร์ AI เช่น Ask AI และบล็อกบทความที่สร้างโดย AI
ฟรีเยี่ยมชม →