Esta es la aplicación para Linux llamada alphageometry, cuya última versión se puede descargar como alphageometrysourcecode.tar.gz. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada alphageometry con OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.
- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación, instálala y ejecútala.
CAPTURAS DE PANTALLA:
geometría alfa
DESCRIPCIÓN:
AlphaGeometry, desarrollado por Google DeepMind, es un sistema de demostración de teoremas que combina el razonamiento simbólico con el aprendizaje profundo para resolver problemas geométricos complejos, como los que se presentan en las olimpiadas matemáticas. El repositorio proporciona la implementación completa de DDAR (Razonamiento de Diferencia Deductiva y Abductivo) y AlphaGeometry, dos solucionadores geométricos automatizados descritos en el artículo de Nature de 2024 "Resolver la geometría de las olimpiadas sin demostraciones humanas". AlphaGeometry integra un motor de deducción simbólica con un modelo de lenguaje basado en transformadores para proponer y validar construcciones geométricas en un proceso de demostración paso a paso. El solucionador DDAR se centra exclusivamente en el razonamiento basado en reglas, mientras que AlphaGeometry lo mejora mediante el uso de un modelo aprendido para sugerir construcciones auxiliares cuando el razonamiento lógico por sí solo es insuficiente. El repositorio incluye ponderaciones preentrenadas, archivos de vocabulario y opciones de configuración detalladas para reproducir experimentos.
Caracteristicas
- Implementa DDAR y AlphaGeometry, dos demostradores de teoremas de geometría de última generación
- Combina lógica simbólica y modelado de lenguaje basado en transformadores para pruebas geométricas
- Incluye pesos de modelos entrenados previamente y archivos de vocabulario para reproducibilidad.
- Proporciona ejemplos completos para resolver problemas de geometría de estilo IMO.
- Código Python modular con definiciones explícitas, reglas y utilidades de razonamiento
- Entorno totalmente programable para probar, evaluar y ampliar solucionadores de teoremas
Lenguaje de programación
Pitón, shell de Unix
Categorías
Esta aplicación también se puede descargar desde https://sourceforge.net/projects/alphageometry.mirror/. Está alojada en OnWorks para facilitar su ejecución en línea desde uno de nuestros sistemas operativos gratuitos.