AlphaProof es un modelo de inteligencia artificial (IA) de Google que tiene la capacidad de demostrar teorías matemáticas complejas y alcanzar un rendimiento similar al de los mejores estudiantes del mundo en unas olimpiadas.
En este sentido, el sistema de IA puede razonar matemáticamente en un nivel tan alto como para ganar una medalla en la Olimpiada Internacional de Matemáticas. Al respecto, de haber participado en la competencia el año pasado, hubiese obtenido el segundo lugar.
De esta manera, el modelo de inteligencia artificial está superando la frontera entre el pensamiento lógico humano y el cálculo computacional. Es decir, la tecnología se va acercando al razonamiento humano.
AlphaProof, la IA de Google que podría competir en las Olimpiadas de Matemáticas
Google DeepMind presentó esta herramienta de inteligencia artificial en 2024. Sin embargo, fue esta semana cuando sus responsables publicaron los detalles de su rendimiento en la revista Nature.
Según el artículo publicado, la IA pudo resolver cuatro de los seis ejercicios propuestos en la Olimpiada Internacional de Matemáticas. Con este resultado, habría ganado la medalla de plata si se hubiese inscrito en la competencia.
Cabe resaltar que la IMO es uno de los retos más exigentes en el ámbito académico para estudiantes que se preparan para ir a la universidad. De allí la importancia de que el sistema de IA resolviera tres problemas complejos de álgebra y otro ejercicio en la prueba.
“Alcanzó una puntuación equivalente a la de un medallista de plata, lo que supuso la primera vez que un sistema de IA alcanzaba un rendimiento digno de medalla”, dijo el estudio.
Así pues, AlphaProof demostró que puede alcanzar el nivel de un razonamiento comparable al de un joven matemático. De modo tal que esto se traduce en un avance en las capacidades que pueden llegar a desarrollar los sistemas de IA.
Sin embargo, aunque esta IA de Google DeepMind tiene un alto nivel de razonamiento matemático, también presenta otras limitaciones. En el artículo, los autores destacaron que tiene dificultades al momento de resolver otros tipos de problemas complejos.
En este sentido, los autores indicaron que resolver estas limitaciones puede ayudar a que AlphaProof alcance un nivel superior. De modo que se convierta “en un colaborador cada vez más valioso para los investigadores humanos en la exploración de las fronteras de las matemáticas y, por extensión, de otras disciplinas científicas”.
Aprendizaje por refuerzo
AlphaProof es un sistema de inteligencia artificial, que aprende por sí mismo, mediante «aprendizaje por refuerzo», a crear demostraciones y pruebas matemáticas. Estos razonamientos pueden ser verificados por un programa asistente llamado Lean.
Este asistente de demostración funciona como una gran biblioteca digital que contiene muchísimos teoremas y demostraciones ya validadas. Asimismo, esta nueva IA combina dos mecanismos de acción.
Se trata de un modelo de lenguaje preentrenado con el algoritmo de aprendizaje automático AlphaZero. Este último es una herramienta que aprendió a jugar al ajedrez o al Go, sin ayuda humana.
Finalmente, el sistema de IA de Google, AlphaProof, que es capaz de demostrar teorías matemáticas complejas, podría llegar a un nivel más alto si los investigadores hacen los estudios pertinentes para ayudarla a superar las limitaciones actuales.
Información de EFE / redacción Noti AI
No dejes de leer: Microsoft usa a influencers de EEUU para promocionar su chatbot Copilot