Đây là ứng dụng Linux có tên alphageometry, phiên bản mới nhất có thể tải xuống dưới dạng alphageometrysourcecode.tar.gz. Ứng dụng có thể chạy trực tuyến trên nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks dành cho máy trạm.
Tải xuống và chạy trực tuyến ứng dụng có tên alphageometry với OnWorks miễn phí.
Làm theo các hướng dẫn sau để chạy ứng dụng này:
- 1. Đã tải ứng dụng này xuống PC của bạn.
- 2. Nhập vào trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 3. Tải lên ứng dụng này trong trình quản lý tệp như vậy.
- 4. Khởi động trình giả lập trực tuyến OnWorks Linux hoặc trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MACOS từ trang web này.
- 5. Từ Hệ điều hành OnWorks Linux mà bạn vừa khởi động, hãy truy cập trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 6. Tải xuống ứng dụng, cài đặt và chạy nó.
MÀN HÌNH:
phép đo chữ số
SỰ MIÊU TẢ:
AlphaGeometry, được phát triển bởi Google DeepMind, là một hệ thống chứng minh định lý kết hợp suy luận tượng trưng với học sâu để giải các bài toán hình học đầy thách thức, chẳng hạn như các bài toán trong các kỳ thi Olympic toán học. Kho lưu trữ cung cấp đầy đủ triển khai DDAR (Suy diễn sai phân và Suy luận quy nạp) và AlphaGeometry, hai trình giải hình học tự động được mô tả trong bài báo Nature năm 2024 "Giải quyết hình học Olympic mà không cần chứng minh của con người". AlphaGeometry tích hợp một công cụ suy luận tượng trưng với một mô hình ngôn ngữ dựa trên bộ biến đổi để đề xuất và xác thực các cấu trúc hình học trong một quy trình chứng minh từng bước. Trình giải DDAR tập trung hoàn toàn vào suy luận dựa trên quy tắc, trong khi AlphaGeometry tăng cường điều này bằng cách sử dụng một mô hình đã học để đề xuất các cấu trúc bổ trợ khi chỉ suy luận logic là không đủ. Kho lưu trữ bao gồm các trọng số được đào tạo trước, các tệp từ vựng và các tùy chọn cấu hình chi tiết để tái tạo các thí nghiệm.
Tính năng
- Triển khai DDAR và AlphaGeometry, hai công cụ chứng minh định lý hình học tiên tiến
- Kết hợp logic biểu tượng và mô hình ngôn ngữ dựa trên bộ chuyển đổi để chứng minh hình học
- Bao gồm các trọng số mô hình được đào tạo trước và các tệp từ vựng để tái tạo
- Cung cấp các ví dụ đầy đủ để giải các bài toán hình học theo phong cách IMO
- Mã Python dạng mô-đun với các định nghĩa, quy tắc và tiện ích lập luận rõ ràng
- Môi trường có thể lập trình hoàn toàn để thử nghiệm, đánh giá chuẩn và mở rộng trình giải định lý
Ngôn ngữ lập trình
Python, Vỏ Unix
Danh Mục
Đây là một ứng dụng cũng có thể được tải xuống từ https://sourceforge.net/projects/alphageometry.mirror/. Ứng dụng này được lưu trữ trên OnWorks để có thể chạy trực tuyến dễ dàng nhất từ một trong những Hệ điều hành miễn phí của chúng tôi.