El otro día, mientras me pegaba un viaje, encontré evidencia de que P≠NP usando nada más que lógica combinatoria y creo que cálculo lambda... Lo malo es que estaba tan volado que no me podía mover y no alcancé a notar mis ideas. De más está decir que no recuerdo nada.