[Cur}> La inteligencia artificial descubre cientos de teoremas ocultos en los cuadernos de un genio de las matemáticas

Se trata de los cuadernos inéditos del matemático que revolucionó la lógica, Kurt Gödel. El sistema ayudó a reconstruir un razonamiento que anticipaba un resultado fundamental de las matemáticas.

[Cur}> La inteligencia artificial descubre cientos de teoremas ocultos en los cuadernos de un genio de las matemáticas