Erdos #1051 Forum

The forum for this particular problem contains points that suggest it has been solved with a Gemini DeepThink based agent.

Preprint here has more detail: https://arxiv.org/pdf/2601.21442