La duda cambia de lugar
Estos días me han preguntado si la inteligencia artificial ha resuelto uno de los grandes problemas abiertos de las matemáticas. El debate sobre las ecuaciones de Navier-Stokes ha llenado titulares, pero ningún titular valida una demostración. La pregunta de fondo va más allá: si una máquina puede ayudarnos a demostrar […]