The point about proof generation is interesting. A general proof is equivalent to collapsing the scope of predictions covered by the proof; a method of generating strong evidence effectively setting a floor for future predictions.
A simple way to score this might be to keep adding to their prediction score every time a question is found to succumb to the proof. That being said, we could also consider the specific prediction separately from the transmissibility of the prediction method.
This might be worthwhile even with no change in the overall score; it feels obvious that we would like to be able to sort predictions by [people who have used proofs] or [people who generate evidence directly].
The point about proof generation is interesting. A general proof is equivalent to collapsing the scope of predictions covered by the proof; a method of generating strong evidence effectively setting a floor for future predictions.
A simple way to score this might be to keep adding to their prediction score every time a question is found to succumb to the proof. That being said, we could also consider the specific prediction separately from the transmissibility of the prediction method.
This might be worthwhile even with no change in the overall score; it feels obvious that we would like to be able to sort predictions by [people who have used proofs] or [people who generate evidence directly].