I cannot disagree that users should choose the theorems and a poll on bitcointalk.org would be useful to correlate good theorems. Still in the long run it can be good To choose them on chain.  In addition we need of think about the threat of how a bad guy might be tempted to make insightful choices to make an artificial Increase in his reward.