Meu colaborador @ebarschkis resolveu o Problema de Erdos #347, com ninguém menos que Terry Tao confirmando a prova! Parabéns, Enrique! Com apenas 17 anos, trabalhamos juntos com criptografia de curvas elípticas e ele me impressionou com seu brilhantismo o tempo todo.