I was actually thinking of your predictions when I said 'implicit'. How would that prediction be judged? Obviously by whether the community of mathematicians/complexity theorists like Scott Aaronson or the Clay Institute says that it was proven or not proven.
I like to make predictions about things like quantum mechanics and decision theory and cosmology and fun stuff like that. Can PredictionBook be used for this? If so, what should the guidelines be? Figured I'd make this a Discussion post so as to encourage the habit of betting on logical uncertainty.