jimrandomh comments on An Idea For Corrigible, Recursively Improving Math Oracles