Ha inserito un Problema di Erdos in GPT 5.2Pro, senza alcun prompting speciale, e *ha pensato continuamente per 41 minuti e ha prodotto una dimostrazione corretta*. È finita per tutti, abbiamo avuto una buona corsa.