IA obtiene medalla de plata en Olimpiada de Matemáticas, ¿es el fin?
La IA obtuvo la medalla de plata en la Olimpiada Internacional de Matemáticas, esto es una prueba de la velocidad con la que se incrementan los poderes de la tecnología y que, más adelante, podrían superar a los humanos.
AlphaProof, un sistema basado en aprendizaje por refuerzo para el razonamiento matemático, y AlphaGeometry 2, una herramienta de resolución de problemas de geometría, son dos sistemas de Inteligencia Artificial (IA) creadas por Google hicieron historia.
En conjunto lograron llevarse la medalla de plata al resolver problemas de la Olimpiada Internacional de Matemáticas (OMI).
De acuerdo con Alphabet, las soluciones de estos sistemas fueron calificadas de acuerdo con las reglas de concesión de puntos de la OMI por los destacados matemáticos, Timothy Gowers y Joseph Myers.
“El hecho de que el programa pueda crear una construcción tan no obvia es muy impresionante y va mucho más allá de lo que yo consideraba el estado del arte”, explicó Timothy Gowers.
¡Mi jefe es un robot! Empresa nombra a Inteligencia Artificial como su CEO
Esto fue lo que sucedió durante la legendaria victoria de la IA
En el concurso celebrado en Bath, Reino Unido, la semana pasada, 58 participantes ganaron una medalla de oro y 123 ganaron una medalla de plata.
Según Gregor Dolinar, presidente de la OMI, en su organización son muy conscientes de que la IA acabará siendo mejor que los humanos para resolver problemas matemáticos. Pero acepta que el ritmo al que está mejorando es impresionante.
“Que hace unos días no consiguiera la medalla de oro en la OMI 2024 por tan solo un punto es realmente impresionante”.
En una conferencia de prensa, Timothy Gowers explicó que el desempeño de la IA fue sorprendente y que parecía encontrar “claves mágicas” para responder a los problemas.
Incluso pensó que las claves mágicas estarían un poco más allá de lo que podía hacer. Por esto, fue una gran sorpresa cuando en uno o dos casos el programa las utilizó.
De acuerdo con su explicación, AlphaProof funciona de manera similar a las IA anteriores de Google. Por ejemplo, DeepMind vencer a los mejores humanos en ajedrez y Go .
Todas estas IA se basan en un enfoque de prueba y error llamado aprendizaje de refuerzo, donde el sistema encuentra su propia manera de resolver un problema.
“Sin embargo, este método requiere un gran conjunto de problemas escritos en un lenguaje que la IA pueda comprender y verificar, mientras que la mayoría de los problemas similares a OMI están escritos en inglés”.