Desarrollado por Google DeepMind El primer sistema de inteligencia artificial capaz de ganar medalla de plata en la Olimpiada Internacional de Matemáticas : El resultado de la unión de AlphaProof y AlphaGeometry 2, Logró resolver cuatro de los seis problemas. Se presentó a más de 600 estudiantes que participaron en la edición de 2024 del concurso en la Universidad de Bath, Reino Unido.
«Este es un gran avance en el campo de la inteligencia artificial y el aprendizaje automático», afirman los desarrolladores de Google DeepMind. «Hasta ahora, los sistemas de IA han tenido dificultades para resolver problemas matemáticos generales, debido a limitaciones en las capacidades de razonamiento y los datos de entrenamiento».
Para lograr un mejor rendimiento, los investigadores desarrollaron AlfaProof a Un sistema que se entrena a sí mismo para realizar pruebas matemáticas. En el lenguaje oficial Lean, y combinado con una versión más avanzada del software Geometría alfa Capaz de adaptarse Problemas de ingenieria Más complejo que su predecesor, incluidos problemas relacionados con movimientos de objetos y ecuaciones con ángulos, proporciones o distancias.
Las capacidades de este sistema combinado de IA fueron puestas a prueba mediante los seis problemas presentados en la Olimpiada de Matemáticas de 2024, que los investigadores tuvieron que resolver Traducción manual al lenguaje matemático formal. Hacerlo comprensible para el sistema.
Como resultado, AlphaProof resolvió dos problemas de álgebra y un problema de teoría de números Determinar la solución y probar su validez: entre estos también estaba El problema más difícil de los Juegos Olímpicos. , fue resuelto por sólo cinco competidores. Sin embargo, AlphaGeometry 2 tiene Resuelve el problema de ingeniería. Si bien los dos problemas de compatibilidad seguían sin resolverse.
Total, La inteligencia artificial obtuvo 28 puntos de 42 posibles alcanzalo Mismo nivel que la medalla de plata . Justo veces Ella estaba diferencia simple En comparación con los competidores humanos. Los Juegos Olímpicos suelen celebrarse durante dos días, de cuatro horas y media cada uno. donde se plantea resolver tres problemas simultáneamente. En cambio, la IA resuelve un problema en cuestión de minutos. mientras A otros les llevó hasta tres días. .
«Escritora exasperantemente humilde. Empollón devoto del café. Comunicador. Especialista en redes sociales».