E il problema numero 3 di Erdos è stato risolto da GPT-5.2 pro (#379). È stato accettato da Terence Tao. Credo che gli ultimi giorni siano stati il momento di "decollo" per la scienza dell'AI.