I had not read the proof or any part of it because it is LLM generated. Most mortals won't for the same reason. It looked to me as if Prof. Mantova stepped from the crowd to get some credit which was not given. But maybe he did not care for it in the first place so you are right, it is not for me to judge.

And about the "value" I think we picked different meanings for this word:

For me for something to have value means it can be used for something else. In this sense you cannot pick what has value. There are people with deeper understanding of the subject than yours yet they were unable to use it to come up with a proof. You had no understanding but you had succeeded. Therefore understanding in this particular case had no value. You did not have to state it, it flows as a natural conclusion.

You can also say that being good at chess or catching all the pokemon has a value for you or for some society. This is true but it has to do with self-actualization rather than dealing with circumstances.

I also do not see how you can say you did not win anything. This proof will be a great addition to your portfolio which in turn will serve as a leverage while searching for your next job, even if it never comes up explicitly. It is a dream for some folks to be talked about on hacker-news. Good for you that you can treat is as if it was nothing, and I do not mean it as an irony.