El año pasado, Google DeepMind fue noticia por la construcción de un sistema de inteligencia artificial que logró una medalla de plata en los problemas de la Olimpiada Internacional de Matemáticas (OMI) de ese año, una prestigiosa competencia para jóvenes matemáticos que se celebra anualmente. Era la primera vez que un sistema de este tipo funcionaba a un nivel digno de medalla al resolver los desafíos de la OMI. Ahora, escribiendo en NaturalezaHubert et al.1 Informe los detalles de la tecnología central detrás de ese logro: una herramienta llamada AlphaProof, que está diseñada para probar declaraciones matemáticas.
Intereses en competencia
El autor no declara intereses en competencia.
