This is a curious contest, because there already exist proofs, but you want new ones that use a particular method. What criteria do you have for whether a proof uses Algorithmic Probability? How much do I need to use it?
This is a curious contest, because there already exist proofs, but you want new ones that use a particular method. What criteria do you have for whether a proof uses Algorithmic Probability? How much do I need to use it?