Han la inn et Erdos-problem i GPT 5.2Pro, uten spesiell prompt, og det *tenkte kontinuerlig i 41 minutter og spyttet ut et korrekt bevis*. Det er over, alle sammen, vi hadde en god periode.