Un avance significativo en el campo de la inteligencia artificial ha sido logrado por Google DeepMind. Un sistema de inteligencia artificial ha resuelto problemas matemáticos que habían permanecido sin solución durante más de cinco décadas. Este logro se debe a un nuevo sistema llamado AlphaProof Nexus, que ha encontrado soluciones a various problemas matemáticos.

Aunque el sistema ha tenido éxito, todavía requiere la supervisión de investigadores humanos. Más detalles sobre este avance están disponibles, incluyendo la cantidad de conjeturas matemáticas resueltas y los problemas específicos que se han solucionado.