Sistema de IA demuestra matemáticas complejas

AlphaProof es un sistema de Inteligencia Artificial (IA) capaz de demostrar teorías matemáticas complejas, con un rendimiento capaz de obtener la medalla de plata en las Olimpiada Internacional de Matemáticas (IMO). Esta herramienta es creada por Google DeepMind ha logrado a matemáticos a descubrir nuevos conocimientos, algoritmos novedosos y respuestas a problemas abiertos.

Sin embargo, el sistema teniendo dificultades para resolver problemas matemáticos generales debido a las limitaciones de sus capacidades de razonamiento y de los datos de entrenamiento. Además, aunque algunos modelos lingüísticos de gran tamaño han demostrado capacidades prometedoras, ha sido difícil verificar la corrección de su razonamiento.

El sistema se basa en el aprendizaje por refuerzo, fue entrenado para generar pruebas cuyos razonamientos pueden ser verificados por un asistente de demostración llamado Lean, el cual incluye una gran biblioteca de teoremas y demostraciones. Se entrena a sí mismo y combina un modelo de lenguaje preentrenado con el algoritmo de aprendizaje por refuerzo de AlphaZero, siendo esta última herramienta la que aprendió por sí misma a jugar al ajedrez.

Esto significa que trata las demostraciones matemáticas como un juego, utiliza herramientas especializadas llamadas asistentes de demostración, que los matemáticos usan para escribir demostraciones que un ordenador puede comprobar automáticamente

AlphaProof mejora los resultados de los sistemas de IA más avanzados hasta la fecha en problemas históricos de competiciones matemáticas, indica el estudio, encabezado por Eric Wieser de Google DeepMind. La herramienta, combinada con un sistema de resolución de geometría llamado AlphaGeometry2, fue capaz de resolver cuatro de los seis problemas planteados en la IMO del año pasado.

T/Agencias