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