gwern comments on Modifying Universal Intelligence Measure