I problemi di Erdos sono un chiaro esempio di modelli che superano una soglia. L'idea che un'AI potesse risolverne uno, per non parlare di molti, da sola sarebbe stata folle un anno fa (o1 era appena nato), e ora abbiamo risolto più problemi di Erdos con GPT-5.2 Pro nelle ultime settimane.

Per essere chiari: GPT-5.2 Pro non risolve questi autonomamente, è guidato da una persona e spesso itera utilizzando Lean.

Sembra che sia stata trovata una prova precedente per questo problema, anche se era diversa da quella che il poster aveva fatto trovare a GPT-5.2 Pro.