> To be precise, it is not explicitly boosted in the rankings. One factor that Google Search takes into account is page load time.

And AMP pages are hosted on a Google CDN. They are very clearly putting their thumb on the scale.