Tonggak sejarah dalam alat AI yang diterapkan pada masalah Erdos, dengan GPT-5.2 Pro: