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