Erdos problem number 326 solvedRedditMay 22, 2026 10:32Sharegithub.comgithub.comSection 1(d). AI collaborating with humans Solved on 20 May, 2026