Google’s John Mueller advises site owners on managing outdated AMP subdomains, suggesting redirects or complete DNS removal.

• Mueller recommends either keeping 301 redirects or removing the AMP subdomain entirely from DNS.
• For sites with 500,000 pages, crawl budget impact from legacy AMP URLs isn’t a major concern.
• AMP subdomains have their own separate crawl budget from the main domain.