Traguardo negli strumenti di intelligenza artificiale applicati ai problemi di Erdos, con GPT-5.2 Pro: