[CSMastermind]

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

[josefx]

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.