Milepæl i AI-verktøy anvendt på Erdos-problemer, med GPT-5.2 Pro: