Chinese developer makes ARTEX AI agent closed-source after Korean bank hack