Google ha presentado dos sistemas de inteligencia artificial, AlphaProof y AlphaGeometry 2, que muestran avances significativos en la resolución de problemas matemáticos complejos. Los sistemas han logrado resolver cuatro de seis problemas en la Olimpiada Internacional de Matemáticas 2024, una destacada competencia global para estudiantes de secundaria. Estos resultados son los mejores obtenidos por un sistema de IA en la historia de la competición, marcando un hito en el desarrollo de la inteligencia artificial.
Estos avances fueron detallados en una publicación de blog de DeepMind, la unidad de IA de Google. Un problema fue resuelto en minutos, mientras que otros tomaron hasta tres días, superando el límite de tiempo de la competición. A pesar de esto, los resultados son impresionantes, destacando la capacidad de los nuevos modelos para manejar problemas que requieren un razonamiento profundo.
AlphaProof combina una versión del modelo de lenguaje Gemini con AlphaZero, otro sistema de IA que ha vencido a humanos en juegos de tablero como el ajedrez. Este sistema resolvió tres problemas de la competencia, incluyendo el más difícil, que solo fue resuelto por cinco de los más de 600 participantes humanos. Esta capacidad de razonamiento es un paso adelante en la inteligencia artificial, acercándola a la comprensión y resolución de problemas complejos.
AlphaGeometry 2, por su parte, resolvió un problema adicional, demostrando su capacidad para manejar desafíos geométricos. Estos avances en IA no solo mejoran la competencia académica, sino que también tienen el potencial de revolucionar campos como la investigación científica y la ingeniería. La precisión y velocidad con la que estos sistemas pueden operar destacan su potencial en aplicaciones del mundo real.
OpenAI, respaldada por Microsoft, también está trabajando en tecnología de razonamiento bajo el nombre de código "Strawberry". Esta competencia tecnológica entre gigantes de la IA subraya la importancia y el potencial impacto de estos avances en la inteligencia artificial y la educación matemática, marcando una nueva era en la solución de problemas abstractos y complejos.
