It has a better description of the algorithm than other sources that have written or made videos about it.
I feel like the algorithm is just a clever search over computable programs that can solve the criteria and falls under the same pitfalls as other algorithms that do the same thing. Mostly it makes the assumption that there exists a program in the search space that fit the criteria it’s searching for. I guess if it doesn’t exist then the probabilities wouldn’t converge to a number that is well calibrated.
It has a better description of the algorithm than other sources that have written or made videos about it.
I feel like the algorithm is just a clever search over computable programs that can solve the criteria and falls under the same pitfalls as other algorithms that do the same thing. Mostly it makes the assumption that there exists a program in the search space that fit the criteria it’s searching for. I guess if it doesn’t exist then the probabilities wouldn’t converge to a number that is well calibrated.