Un sistema de IA lograría una medalla en la Olimpiada Internacional de Matemáticas, según un estudio

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…