Gerald Monroe answers What could a policy banning AGI look like?