Google DeepMind presentó AlphaProof, un revolucionario sistema de inteligencia artificial que combina modelos de lenguaje avanzados con aprendizaje por refuerzo y el asistente de pruebas formales Lean 4 para resolver problemas matemáticos de nivel de investigación. En una histórica demostración supervisada por destacados matemáticos internacionales, AlphaProof resolvió de forma autónoma dos problemas de álgebra y uno de teoría de números de la 65ª Olimpiada Internacional de Matemáticas (IMO 2024), incluyendo el problema más difícil de la competición que solo cinco estudiantes humanos consiguieron descifrar. Sumado a AlphaGeometry 2, el sistema alcanzó una puntuación de 28 sobre 42 puntos posibles, logrando una histórica equivalencia con la medalla de plata y demostrando que la verificación formal algorítmica elimina por completo las alucinaciones en el razonamiento lógico complejo.
Capítulo 01
La noticia en una frase
Google DeepMind presenta AlphaProof, un sistema que une modelos de lenguaje Gemini con aprendizaje por refuerzo en Lean para resolver problemas matemáticos olímpicos a nivel de medalla de plata.
AlphaProof halló demostraciones formales 100% verificadas por ordenador para tres problemas analíticos de la IMO 2024, resolviendo el desafío 6 en cuestión de minutos y acumulando 28 puntos certificados.
Capítulo 02
