The V&V method - A step towards safer AGI
Proposes the V&V method, where a nascent AGI designs and formally verifies bounded task machines through simulation, coverage metrics and auditable safety cases, with human veto, to complement existing oversight proposals.