Milstolpe i AI-verktyg tillämpade på Erdos-problem, med GPT-5.2 Pro: