En las últimas semanas, dos equipos distintos de matemáticos y expertos en inteligencia artificial han anunciado construcciones que apuntan a resolver formalmente uno de los grandes problemas abiertos de las matemáticas: mostrar si las ecuaciones que describen el movimiento de l …
