A Conjectura de Goldbach é um dos problemas mais antigos e conhecidos da matemática que ainda não foi provado. Ela se divide em duas partes:
Apesar de extensas verificações computacionais que confirmam a conjectura para números muito grandes, nenhuma prova matemática formal foi encontrada até o momento. Isso a torna um dos problemas em aberto mais fascinantes da teoria dos números.