Это приложение для Linux под названием alphageometry, последнюю версию которого можно скачать в формате alphageometrysourcecode.tar.gz. Его можно запустить онлайн на бесплатном хостинг-провайдере OnWorks для рабочих станций.
Бесплатно скачайте и запустите онлайн это приложение под названием alphageometry с помощью OnWorks.
Следуйте этим инструкциям, чтобы запустить это приложение:
- 1. Загрузил это приложение на свой компьютер.
- 2. Введите в нашем файловом менеджере https://www.onworks.net/myfiles.php?username=XXXXX с желаемым именем пользователя.
- 3. Загрузите это приложение в такой файловый менеджер.
- 4. Запустите онлайн-эмулятор OnWorks Linux или Windows или онлайн-эмулятор MACOS с этого веб-сайта.
- 5. В только что запущенной ОС OnWorks Linux перейдите в наш файловый менеджер https://www.onworks.net/myfiles.php?username=XXXXX с желаемым именем пользователя.
- 6. Скачайте приложение, установите его и запустите.
СКРИНШОТЫ:
альфагеометрия
ОПИСАНИЕ:
AlphaGeometry, разработанная Google DeepMind, — это система доказательства теорем, сочетающая символьные рассуждения с глубоким обучением для решения сложных геометрических задач, таких как задачи математических олимпиад. Репозиторий предоставляет полную реализацию DDAR (Deductive Difference and Abductive Reasoning) и AlphaGeometry, двух автоматизированных решателей геометрических задач, описанных в статье журнала Nature 2024 года «Решение олимпиадной геометрии без участия человека». AlphaGeometry объединяет механизм символьной дедукции с языковой моделью на основе трансформатора для предложения и проверки геометрических построений в пошаговом процессе доказательства. Решатель DDAR фокусируется исключительно на рассуждениях на основе правил, в то время как AlphaGeometry дополняет его, используя обученную модель для предложения вспомогательных построений, когда одних лишь логических рассуждений недостаточно. Репозиторий включает в себя предварительно обученные веса, файлы со словарём и подробные параметры конфигурации для воспроизведения экспериментов.
Особенности
- Реализует DDAR и AlphaGeometry, два современных средства доказательства теорем геометрии.
- Объединяет символическую логику и моделирование языка на основе трансформаторов для геометрических доказательств.
- Включает предварительно обученные весовые коэффициенты модели и файлы словарного запаса для воспроизводимости
- Предоставляет полные примеры решения геометрических задач в стиле ИМО.
- Модульный код Python с явными определениями, правилами и утилитами для рассуждений
- Полностью скриптовая среда для тестирования, сравнительного анализа и расширения решателей теорем
Язык программирования
Python, оболочка Unix
Категории
Это приложение также можно скачать по адресу https://sourceforge.net/projects/alphageometry.mirror/. Оно размещено на платформе OnWorks для максимально удобного запуска онлайн через одну из наших бесплатных операционных систем.