Ojalá más gente probara los Problemas del Premio del Milenio por diversión, especialmente formalmente, para reducir la carga de las comprobaciones humanas. Casi todos fallarán, pero los fracasos iniciarán conversaciones útiles sobre el problema y suposiciones inválidas. Por favor, sé saludable