alt Hacker News1. A lot more than 1000, you're off by more than one order of magnitude. It's definitely beyond my level of graph theory knowledge (undergrad level) but looking at the paper, it's not using any crazy machinery, and it's less than 3 pages.
2. Those people will say whether it's a good proof or not. We have other examples of interesting proofs from AI, we're really beyond the point of arguing whether it can produce any interesting math (though it seems to do much better at combinatorics than anything else).
Right, but my criticism is to the hit-and-run nature of these hype pieces. By the time there's any semblance of what it actually means everyone has moved on but then you have a bunch of people operating under delusions from the hype. I get why OpenAI does it but I wish people would stop upvoting it. Like, hacker news is not a mathematics forum so the only purpose of this kind of thing is hype boosting or polarizing people. I am not looking forward to the "MATH IS SOLVED!" people for the next few days.