3 ms·
Erdos #1051 Forum
- nmstoker 8mo agoThe 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 https://arxiv.org/pdf/2601.21442