I think my points argue more that control research might have higher expected value than some other approaches, that don’t address delegation at all or are much less tractable. But I agree, if slop is the major problem, then most current control research doesn’t adress it, though it’s nice to see that this might change if Buck is right.
And my point about formal verification was to work around the slop problem by verifying the safety approach to a high degree of certainty. I don’t know if it’s feasible, though, but some seem to think so. Why do you think it’s a bad idea?
I think my points argue more that control research might have higher expected value than some other approaches, that don’t address delegation at all or are much less tractable. But I agree, if slop is the major problem, then most current control research doesn’t adress it, though it’s nice to see that this might change if Buck is right.
And my point about formal verification was to work around the slop problem by verifying the safety approach to a high degree of certainty. I don’t know if it’s feasible, though, but some seem to think so. Why do you think it’s a bad idea?