Redacción Ciencia. AlphaProof es un sistema de inteligencia artificial capaz de demostrar teorías matemáticas complejas y cuyo rendimiento ...