> It would be fundamentally wrong for you to ask what's the value of solving the Erdős–Hajnal conjecture; the value is that it's solved.

No, the value is that Erdos's name is attached to it.

Lots of mathematicians prove things they don't publish, or their manuscripts get rejected - not because of a flaw in the proof but because no one cares about the theorem they proved.

And I'm sure it'll be the case with LLM models performing proofs. It'll be notable only when the theorem is a known one that people have had difficulty proving.

> No, the value is that Erdos's name is attached to it.

That's unnecessarily reductive. you could have said "most of the value is that erdos' name is attached to it"