Comment by CSMastermind

10 hours ago

That's literally what the Erdős problems are. This post is about one of them being solved.

Except that Erdős problems are solved all the time, so many of them are already solved. Quite sure the last time I saw an article about an LLM solving an Erdős problem someone even tracked down a solution published by Erdős himself.