GPT 5.2 Pro ha risolto il problema di Erdos (#281).