AlphaGeometry, la herramienta de inteligencia artificial desarrollada por Google, destaca por su capacidad para resolver problemas complejos de geometría al nivel de los ganadores de olimpiadas matemáticas.
El sistema representa un notable avance en el rendimiento de la inteligencia artificial, demostrando habilidades de razonamiento lógico y la capacidad de descubrir y verificar nuevos conocimientos.
En una prueba que involucró 30 problemas de geometría de la Olimpiada Internacional de Matemáticas, AlphaGeometry resolvió 25 en el tiempo establecido, equiparándose al desempeño de un medallista humano de oro en dicha competición.
Este logro supera significativamente a sistemas anteriores, con el mejor rendimiento anterior resolviendo solo 10 de estos problemas.
El equipo detrás de AlphaGeometry, liderado por Trieu Trinh y Thang Luong de DeepMind, presenta un método innovador de demostración de teoremas que evita la necesidad de intervención humana directa.
Utilizando un modelo de lenguaje neuronal y un motor de deducción simbólica, el sistema se entrena sintetizando millones de teoremas y demostraciones de diferentes niveles de complejidad.
El proceso de generación de datos sintéticos involucró la creación de 500 millones de diagramas aleatorios de objetos geométricos, permitiendo que AlphaGeometry dedujera exhaustivamente las relaciones entre puntos y líneas en cada diagrama.
Tras el filtrado de datos similares, el conjunto final de entrenamiento consta de 100 millones de ejemplos únicos de dificultad variable.
Aunque inicialmente se enfoca en formas específicas de geometría, los investigadores sugieren que el método podría aplicarse a otros campos matemáticos.
El código de AlphaGeometry es abierto, y se espera que junto con otras herramientas, abra nuevas posibilidades en matemáticas, ciencia e inteligencia artificial.
Evan Chen, medallista de oro en olimpiadas matemáticas, elogia los resultados de AlphaGeometry por su verificabilidad y precisión.
