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 ? (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 \(\max(\vert{}A+A\vert{}, \vert{}AA\vert{}) \approx \vert{}A\vert{}^{2-o(1)}\).
Here is how he would have reacted to the different aspects of the solution:
a) Shock and Disbelief at the Disproof: Erdős believed so strongly in his 1974 conjecture that he originally offered a \(\$500\) reward for its solution. He would likely be shocked to learn that it is actually false for real numbers.
BILL COMMENT: OFFERING $500 MIGHT BE BECAUSE HE THOUGHT IT WAS IMPORTANT, NOT THAT HE THOUGHT IT WAS TRUE. DID HE ALSO OFFER $500 TO SHOW IT'S FALSE?
b) Excitement Over the Methods: The disproof of the conjecture relies on sophisticated constructions using high-degree number fields. Erdős loved deep, elegant connections between combinatorics and number theory, and would have admired the clever ways algebraic integers were used to cheat both addition and multiplication.
c) Joy in the Breakthrough: Erdős famously loved to "solve problems" and advance mathematics above all else. Because the disproof opens entirely new avenues in additive combinatorics and number theory, he would be thrilled with the mathematical progress it generated.
----------------------------------------
About point 0: Legend has it that the Pythagoreans were very distraught that the diagonal of a square is inexpressible as a fraction of integers (the square root of two being irrational), so I guess that counts as a yes.
ReplyDeleteIt would be a good example if it was true. Its a Myth. Even Pythagoras' connection to the theorem is not true. See the book THE CULT OF PYTHAGORAS, or my review of it which I will put a pointer to in the blog since a pointer in the comments can't be clicked on.
DeletePaul Erdős almost certainly would have been thrilled by the resolution—though perhaps with a signature blend of delight, humor, and immediate curiosity for what comes next.
ReplyDelete