Iar problema numărul 3 din Erdos a fost rezolvată de GPT-5.2 pro (#379). A fost acceptat de Terence Tao. Cred că ultimele zile au fost momentul de "decolare" pentru știința AI.