Un equipo de Google DeepMind ha desarrollado AlphaProof, un sistema de inteligencia artificial que aprende a encontrar demostraciones formales entrenándose con millones de problemas autoformulados. Según los autores, el sistema “mejora sustancialmente los resultados de última generación en problemas históricos de competiciones matemáticas”. En concreto, en la Olimpiada Internacional de Matemáticas 2024 (IMO) para estudiantes de secundaria, “este rendimiento, logrado tras varios días de computación, resultó en una puntuación equivalente a la de un medallista de plata, marcando la primera vez que un sistema de IA alcanza un rendimiento de nivel de medalla”. Los resultados se publican en la revista Nature.  

La Real Academia de Ciencias de Suecia ha concedido el Premio Nobel de Física 2024 a los investigadores John J. Hopfield y Geoffrey E. Hinton por descubrir las bases fundacionales que permiten el aprendizaje automático con redes neuronales artificiales. Esta tecnología, inspirada en la estructura del cerebro, es la que está detrás de lo que hoy llamamos “inteligencia artificial”.