Erdos-problemen zijn een duidelijk voorbeeld van modellen die een drempel overschrijden. Het idee dat een AI er één, laat staan meerdere, op eigen kracht zou kunnen oplossen, zou een jaar geleden krankzinnig zijn geweest (o1 was gloednieuw), en nu hebben we meerdere Erdos-problemen opgelost door GPT-5.2 Pro in de afgelopen paar weken.

Om duidelijk te zijn: GPT-5.2 Pro lost deze niet autonoom op, het wordt aangestuurd door een persoon, en het iterates vaak met behulp van Lean.

Het lijkt erop dat er een eerdere bewijs is gevonden voor dit probleem, hoewel het anders was dan degene die de poster had laten vinden door GPT-5.2 Pro.