Given by the fact that the problem is 60 year old, isn't there a chance this was indirect solved already and the model just crossed informations to figure out the problem?

By looking the website this problem was never discussed by humans. The last comments were about gpt discovering it. I was expecting older comments coming to a 60 year old problem.

Am I missing something?

Great discovery though, there might be problems like that same case that worth a try for a "gpt check"

Exceedingly unlikely. This was one of the more discussed Erdos problems, and multiple experts have attested to the technique's novelty. If you're referring to the lack of comments on the erdosproblems website, that doesn't really mean much. From its own blog[0], the site was only started in 2023 and only really gained momentum as a place to discuss AI solving attempts, you aren't going to see serious mathematicians discussing the problems there even if there have been significant efforts to solve it.

[0]: https://www.erdosproblems.com/forum/thread/blog:1

To some extent, does it matter?

If models are able to pull and join information that already existed in pieces but humankind never discovered by itself, doesn’t this count towards progress anyways?