E o problema número 3 do Erdos foi resolvido pelo GPT-5.2 pro (#379). Foi aceito por Terence Tao. Acredito que os últimos dias foram o momento de "decolagem" da ciência da IA.