If Copilot is deemed a derivative work of its inputs, it would resolve the issue that it does not comply with the AGPL because it currently does not provide source code to its users under an AGPL-compliant license.