I like “High assurance AGI” because it is a less inferentially distant phrase (we know what high-assurance software is)
I don’t think the general public is familiar with this term. (Of course “high-assurance software” is somewhat self-explanatory, but probably not more than “Friendly AI”.)
I don’t think the general public is familiar with this term. (Of course “high-assurance software” is somewhat self-explanatory, but probably not more than “Friendly AI”.)
And to the extent that it does, the term has a somewhat Dilbertian smell to it.