Pero son capaces de innovar o todavía no hemos llegado a ese punto: si les dices "toma, este teorema matemático está sin demostrar todavía, o este teorema a los humanos nos ha llevado tres siglos que alguien lo demostrara, resuélvelo". Eso te lo hace o no.
Y entiendo que ni así estaría pensando, sino aplicando a velocidades absurdas un montón de "trucos" matemáticos y combinándolos entre sí a ver si algo funciona.
Pero marea la velocidad a la que va esto, yo que he seguido la evolución de las IAs en el Go, pasando de "ninguna puede ganarle a un profesional ni lo hará en los próximos 10 años" a "es imposible derrotar a AlphaGo" en apenas dos años.