La revista Nature describe en un artículo como funciona un sistema de inteligencia artificial capaz de demostrar teorías matemáticas complejas. […]