I don't remember seeing AMP myself, but then I'm using Firefox which has DDG set as default.

I'm wondering though if there's a way for the user to opt out (besides of not using google?). It seems like while it mostly benefits users, they should still have option to simply opt out from AMP.