Yes, large breweries have labs for taking measurements that are located elsewhere from where the mash is carried out so by the time the sample is measured the temperature has dropped.
Temperature adjustment is another misunderstood factor. The compensation is for the electrical characteristics of the probe not for the chemical pH variance that changes with temperature. IE even a temperature adjusted probe will read different pH at mash temperature and room temperature for the same wort.
I measure my pH at mash temps. I use a cheap pH meter (about £10) and it’s optimal temp range is up to 60C. Well optimal means best rather than maximum, right?
My last pH meter gave up the ghost after two years and I reckon if that’s reduced life, for £10 I’m happy.
Bottom line I guess, if the beer tastes good and your efficiency is good enough ...