All A1 needs to do is say “A0 will not take actions which it does not find a proof in T that they are ‘safe’, and will not create A-1 that does not contain these restrictions.”
That would restrict the A-series from improving their fundamental logic systems; is that drawback too severe?
All A1 needs to do is say “A0 will not take actions which it does not find a proof in T that they are ‘safe’, and will not create A-1 that does not contain these restrictions.”
That would restrict the A-series from improving their fundamental logic systems; is that drawback too severe?