Right, just seed a prediction market maker using a logarithmic scoring rule, where the market’s prior probability is given by Solomonoff. There is the small issue of choosing a Turing interpreter, but I think we just choose the Lisp language as a reasonably elegant one.
Right, just seed a prediction market maker using a logarithmic scoring rule, where the market’s prior probability is given by Solomonoff. There is the small issue of choosing a Turing interpreter, but I think we just choose the Lisp language as a reasonably elegant one.