Problemele Erdos sunt un exemplu clar de modele care depășesc un prag. Ideea că un AI ar putea rezolva unul, cu atât mai puțin multe, de una singură ar fi fost nebunească acum un an (o1 era nou-nouț), iar acum avem mai multe probleme Erdos rezolvate de GPT-5.2 Pro în ultimele săptămâni.

Ca să fie clar: GPT-5.2 Pro nu rezolvă aceste probleme autonom, este solicitat de o persoană și adesea iterează folosind Lean.

Se pare că s-a găsit o dovadă anterioară pentru această problemă, deși era diferită de cea pe care utilizatorul a făcut-o să o găsească de GPT-5.2 Pro.