Embora muitos tenham tentado, incluindo Johann Carl Friedrich Gauss, “o príncipe da matemática”, a mesma só foi comprovada quase quatro séculos depois, em 1998, com o trabalho de Thomas Hales, da Universidade de Michigan, nos EUA, e o poder de um computador.