If the cat walks on my keyboard and accidentally types out a valid proof of the Riemann Hypothesis, who gets the credit, the cat for typing it or me for recognizing it's a valid proof?
Conversation
Replying to
My first goofy reaction was that if proof-making is NP complete, then you're doing the easy part (ie validating the proof in polynomial time), and the cat's doing the NP-hard part!
Where's the discovery/creation line? What if you take DMT and the machine elves give you a proof?
This Tweet was deleted by the Tweet author. Learn more
