ryan_greenblatt comments on Untrusted smart models and trusted dumb models