El algoritmo de IA AlphaGeometry de Google DeepMind resuelve complejos problemas de geometría al nivel de un campeón de las olimpiadas matemáticas
DeepMind
Un sistema de inteligencia artificial llamado AlphaGeometry, desarrollado por la empresa británica Google DeepMind, ha demostrado una capacidad para resolver problemas de geometría comparable al nivel de los medallistas de oro de la Olimpiada Internacional de Matemáticas (IMO), una prestigiosa competición para estudiantes de secundaria.
Esto es lo que sabemos
Según los investigadores de DeepMind, AlphaGeometry fue capaz de resolver 25 de los 30 problemas de la prueba de la IMO en las 4,5 horas asignadas. Este resultado es comparable al rendimiento medio de los ganadores humanos de las Olimpiadas.
Comparación de la productividad de AlphaGeometry, el modelo anterior y los medallistas de la IMO
El sistema combina dos enfoques diferentes
- un modelo de lenguaje neuronal que genera ideas intuitivas
- un mecanismo de deducción simbólica que verifica las ideas utilizando lógica y reglas formales.
El modelo de lenguaje se basa en la misma tecnología que el motor de búsqueda de Google y los sistemas de comprensión del lenguaje natural. El mecanismo de deducción se inspira en un método desarrollado por el matemático chino Wen-Tsün Wu en 1978.
Los expertos afirman que los resultados demuestran un avance en el desarrollo de la inteligencia artificial capaz de razonar lógicamente y descubrir nuevos conocimientos matemáticos. No obstante, reconocen las limitaciones de AlphaGeometry.
No obstante, en el futuro, estos sistemas podrían generalizarse para acelerar la investigación científica en matemáticas, ciencias y otros campos, cree DeepMind. Para ello, han publicado el código fuente de AlphaGeometry en GitHub.
Fuente: Nature