Resolvi um segundo problema do Erdos (#281) usando apenas o GPT 5.2 Pro - nenhuma solução anterior encontrada. Terence Tao chama isso de "talvez o caso mais inequívoco" de IA resolvendo um problema em aberto:
Fio:
1