Yes, I was able to add Mapbox tiles to an AGOL map, then open the map in Pro. But there is no direct way to add tiles as a layer to a Pro map, which is an unfortunate lack of a feature (can't do it in Arc either, to be fair).
Thanks, just wanted to make sure I wasn't missing anything.