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 matemática ucraniana Maryna Viazovska ha sido premiada hoy con una de las cuatro Medallas Fields, consideradas el Nobel de las Matemáticas. Tras la iraní Maryam Mirzakhan, que lo recibió en 2014, es la segunda mujer en ser distinguida con este prestigioso reconocimiento.

La matemática Maryna Viazovska (Kiev, Ucrania; 1984) ha sido galardonada hoy con una de las cuatro Medallas Fields, consideradas el Nobel de las Matemáticas. Se convierte así en la segunda mujer en ser distinguida con este galardón, tras la iraní Maryam Mirzakhan, que lo recibió en 2014.