Erdos-problemer er et klart eksempel på modeller som har brutt en terskel. Tanken på at en AI kunne løse én, for ikke å snakke om mange, på egenhånd ville vært helt sprøtt for et år siden (O1 var helt nytt), og nå har vi flere Erdos-problemer løst med GPT-5.2 Pro de siste ukene.

For å være tydelig: GPT-5.2 Pro løser ikke disse autonomt, det blir påbefalt av en person, og det iterererer ofte med Lean.

Det ser ut til at det ble funnet et tidligere bevis for dette problemet, selv om det var annerledes enn det innlegget fikk GPT-5.2 Pro til å finne.