I would define an AGI system as anything except for a Verifiably Incapable System.
This is more like “not-obviously not-AGI”.
But besides that, yeah, it seems like an OK starting point for thinking about proper definitions for the purpose of a ban.
This is more like “not-obviously not-AGI”.
But besides that, yeah, it seems like an OK starting point for thinking about proper definitions for the purpose of a ban.