If he winnowed Grey's range down to monster pairs only and did some ballpark math in his head based on that range, I can see the reasoning. If he just 'felt' he was up against aces, it was an awful fold.