Este é o aplicativo Linux chamado alphageometry, cuja versão mais recente pode ser baixada como alphageometrysourcecode.tar.gz. Ele pode ser executado online no provedor de hospedagem gratuita OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado alphageometry com OnWorks gratuitamente.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.
- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo, instale-o e execute-o.
CAPTURAS DE TELA:
alfageometria
DESCRIÇÃO:
AlphaGeometry, desenvolvido pelo Google DeepMind, é um sistema de demonstração de teoremas que combina raciocínio simbólico com aprendizado profundo para resolver problemas desafiadores de geometria, como os encontrados em olimpíadas de matemática. O repositório fornece a implementação completa do DDAR (Deductive Difference and Abductive Reasoning) e do AlphaGeometry, dois solucionadores automatizados de geometria descritos no artigo da Nature de 2024 "Solving Olympiad Geometry without Human Demonstrations". O AlphaGeometry integra um mecanismo de dedução simbólica com um modelo de linguagem baseado em transformador para propor e validar construções geométricas em um processo de demonstração passo a passo. O solucionador DDAR concentra-se puramente no raciocínio baseado em regras, enquanto o AlphaGeometry aprimora isso usando um modelo aprendido para sugerir construções auxiliares quando o raciocínio lógico por si só é insuficiente. O repositório inclui pesos pré-treinados, arquivos de vocabulário e opções de configuração detalhadas para reproduzir experimentos.
Recursos
- Implementa DDAR e AlphaGeometry, dois provadores de teoremas de geometria de última geração
- Combina lógica simbólica e modelagem de linguagem baseada em transformadores para provas geométricas
- Inclui pesos de modelo pré-treinados e arquivos de vocabulário para reprodutibilidade
- Fornece exemplos completos para resolver problemas de geometria no estilo IMO
- Código Python modular com definições explícitas, regras e utilitários de raciocínio
- Ambiente totalmente programável para testes, benchmarking e extensão de solucionadores de teoremas
Linguagem de Programação
Python, Shell Unix
Categorias
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/alphageometry.mirror/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil em um de nossos sistemas operacionais gratuitos.