AMP is actually the main reason I switched from Google to DDG on my phone; for some reason, when I switched from an Android phone to an iPhone, I started getting AMP results, and switching search engines was the only way to disable AMP.
Is that why I never get AMP results? I've heard about it a lot, but never gotten an AMP page in the results (obviously, in retrospect, because I use DDG). Too bad it's not a "real" standard that everyone can use.