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