The Optimal Choice of Hypothesis Is the Weakest, Not the Shortest

This recent paper provides one of two rigorous measures (with code) of machine intelligence that could be used to discipline discourse about "AGI". The other (with code) is a seminal paper by Shane Legg and Joel Veness "An Approximation of the Universal Intelligence Measure".