นี่คือแอป Linux ชื่อ alphageometry ซึ่งสามารถดาวน์โหลดเวอร์ชันล่าสุดได้ที่ alphageometrysourcecode.tar.gz สามารถรันออนไลน์ได้บน OnWorks ซึ่งเป็นผู้ให้บริการโฮสติ้งฟรีสำหรับเวิร์กสเตชัน
ดาวน์โหลดและรันแอปชื่อ alphageometry ออนไลน์ด้วย OnWorks ได้ฟรี
ทำตามคำแนะนำเหล่านี้เพื่อเรียกใช้แอปนี้:
- 1. ดาวน์โหลดแอปพลิเคชั่นนี้ในพีซีของคุณ
- 2. เข้าไปที่ file manager https://www.onworks.net/myfiles.php?username=XXXXX ด้วยชื่อผู้ใช้ที่คุณต้องการ
- 3. อัปโหลดแอปพลิเคชันนี้ในตัวจัดการไฟล์ดังกล่าว
- 4. เริ่มโปรแกรมจำลองออนไลน์ของ OnWorks Linux หรือ Windows ออนไลน์ หรือโปรแกรมจำลองออนไลน์ MACOS จากเว็บไซต์นี้
- 5. จาก OnWorks Linux OS คุณเพิ่งเริ่มต้น ไปที่ตัวจัดการไฟล์ของเรา https://www.onworks.net/myfiles.php?username=XXXXX พร้อมชื่อผู้ใช้ที่คุณต้องการ
- 6. ดาวน์โหลดแอปพลิเคชั่น ติดตั้ง และเรียกใช้
ภาพหน้าจอ:
เรขาคณิตของตัวอักษร
รายละเอียด:
AlphaGeometry ซึ่งพัฒนาโดย Google DeepMind เป็นระบบพิสูจน์ทฤษฎีบทที่ผสานการใช้เหตุผลเชิงสัญลักษณ์เข้ากับการเรียนรู้เชิงลึกเพื่อแก้ปัญหาทางเรขาคณิตที่ท้าทาย เช่นเดียวกับที่พบในการแข่งขันคณิตศาสตร์โอลิมปิก คลังข้อมูลนี้นำเสนอการใช้งาน DDAR (Deductive Difference and Abductive Reasoning) และ AlphaGeometry อย่างเต็มรูปแบบ ซึ่งเป็นโปรแกรมแก้โจทย์เรขาคณิตอัตโนมัติสองโปรแกรมที่อธิบายไว้ในบทความ Nature ปี 2024 เรื่อง “Solving Olympiad Geometry without Human Demonstrations” AlphaGeometry ได้ผสานรวมกลไกการนิรนัยเชิงสัญลักษณ์เข้ากับแบบจำลองภาษาที่ใช้ตัวแปลง เพื่อเสนอและตรวจสอบความถูกต้องของโครงสร้างทางเรขาคณิตในกระบวนการพิสูจน์แบบขั้นตอน ตัวแก้ DDAR มุ่งเน้นไปที่การใช้เหตุผลตามกฎเกณฑ์เพียงอย่างเดียว ในขณะที่ AlphaGeometry ปรับปรุงประสิทธิภาพนี้ด้วยการใช้แบบจำลองที่เรียนรู้แล้วเพื่อแนะนำโครงสร้างเสริมเมื่อการใช้เหตุผลเชิงตรรกะเพียงอย่างเดียวไม่เพียงพอ คลังข้อมูลนี้ประกอบด้วยน้ำหนักที่ฝึกไว้ล่วงหน้า ไฟล์คำศัพท์ และตัวเลือกการกำหนดค่าโดยละเอียดสำหรับการจำลองการทดลอง
คุณสมบัติ
- ใช้ DDAR และ AlphaGeometry ซึ่งเป็นตัวพิสูจน์ทฤษฎีบททางเรขาคณิตที่ล้ำสมัยสองตัว
- ผสมผสานตรรกะเชิงสัญลักษณ์และการสร้างแบบจำลองภาษาที่ใช้หม้อแปลงสำหรับการพิสูจน์ทางเรขาคณิต
- รวมถึงน้ำหนักโมเดลที่ผ่านการฝึกอบรมล่วงหน้าและไฟล์คำศัพท์สำหรับการทำซ้ำได้
- ให้ตัวอย่างที่สมบูรณ์สำหรับการแก้ปัญหาเรขาคณิตแบบ IMO
- โค้ด Python แบบโมดูลาร์พร้อมคำจำกัดความ กฎ และยูทิลิตี้การให้เหตุผลที่ชัดเจน
- สภาพแวดล้อมแบบสคริปต์เต็มรูปแบบสำหรับการทดสอบ การเปรียบเทียบประสิทธิภาพ และการขยายตัวแก้ทฤษฎีบท
ภาษาโปรแกรม
ไพธอน, ยูนิกซ์เชลล์
หมวดหมู่
นี่คือแอปพลิเคชันที่สามารถดึงข้อมูลจาก https://sourceforge.net/projects/alphageometry.mirror/ ได้ แอปพลิเคชันนี้โฮสต์อยู่ใน OnWorks เพื่อให้ใช้งานออนไลน์ได้ง่ายที่สุดจากระบบปฏิบัติการฟรีของเรา