GPT 5.2 Pro resolveu o problema de Erdos (#281).