← Back to context

Comment by carefree-bob

5 days ago

You recommended I look at the erdosproblems website.

But evidence that it was posed after 1934 is not really evidence it was not solved, because one of the things we learned from LLMs was that many of these problems were already solved in the literature, or are relatively straightforward applications of known, yet obscure, results. Particularly in the world of Erdos problems, the majority of which can be described as "off the beaten path" and are basically musings in papers that Erdos was asking -- many of these are in fact solved in more obscure articles and no one made the connection until LLMs allowed us to do systematic literature searches. This was the primary source of "solutions" of these problems by LLMs in the cited paper.

The Erdos Problem site also does not say it was solved in 1934. If you read the full sentence there, it refers to a different statement proven which is related.