No time limit?

Created by gwern about 1 hour ago; known in over 5 years

Might as well create a prediction for this; I assume 5 years ought to be enough time for the proof, if correct, to be verified & accepted, or to be refuted.