Would Erdos have been happy with the resolution of the Erdos Unit Distance Problem? How to find out?

Let's say there is a statement in math T that you wonder whether it's true or false. You may even make a conjecture of which way it goes. Do you have a rooting interest? I may think T is true, but if someone proves T or proves NOT(T) my main concerns are (1) can I understand the proof and (2) is the proof interesting.Paul Erdos posed the sum-product conjecture which was recently proven false (by humans!). I blogged about it here.I wondered whether Paul Erdos would be happy with how it turned out. So I did the obvious thing: I asked Google AI Would Erdos have liked the solution to the sum-product conjecture?Here is what it said:-----------------------------------------Paul Erdős would likely have had mixed feelings about the final resolution of the sum-product conjecture, but ultimately thrilled by the breakthroughs.The original conjecture stated that for any finite set \(A\) of real numbers, either the sumset \(A+A\) or the product set \(AA\) must be large, meaning…