Have you considered switching search engines? I've been using https://duckduckgo.com for the last two years and this is the first time I'm hearing of Google AMP.
I really really really want to use DuckDuckGo.com but the search results are probably 10% as helpful as Google. As a developer it's nearly impossible to find a really specific answer using ddg whereas google will have 3 super-relevant links.