Eu realmente gostaria que mais pessoas tentassem os Problemas do Prêmio Milênio por diversão, especialmente de forma formal, para que o fardo da verificação humana seja reduzido. Quase todos falharão, mas as falhas iniciarão conversas úteis sobre o problema e suposições inválidas. Apenas sejam saudáveis sobre isso, por favor.