Ang haka-haka ng Goldbach, sa teorya ng numero, pagpapalagay (dito na nakasaad sa mga modernong term) na ang bawat kahit na pagbibilang ng bilang na higit sa 2 ay katumbas ng kabuuan ng dalawang pangunahing numero. Ang Russian matematiko Christian Goldbach unang iminungkahi ang pakahulugan na ito sa isang liham sa Swiss matematiko na si Leonhard Euler noong 1742. Mas tiyak, inaangkin ni Goldbach na "ang bawat bilang na higit sa 2 ay isang pinagsama-sama ng tatlong pangunahing numero." (Sa panahon ng Goldbach, ang kombensyon ay isaalang-alang ang 1 isang pangunahing numero, kaya ang kanyang pahayag ay katumbas ng modernong bersyon kung saan ang kombensyon ay hindi isasama ang 1 sa mga pangunahing numero.)
Ang haka-haka ni Goldbach ay nai-publish sa Ingles na dalub-agbilang na si Edward Waring's Meditationes algebraicae (1770), na naglalaman din ng problema ni Waring at kung ano ang kalaunan ay kilala bilang teorema ni Vinogradov. Ang huli, na nagsasaad na ang bawat sapat na malaking kakaibang integer ay maaaring ipahiwatig bilang kabuuan ng tatlong primes, ay napatunayan noong 1937 ng Russian matematika na si Ivan Matveyevich Vinogradov. Ang karagdagang pag-unlad sa haka-haka ng Goldbach ay naganap noong 1973, nang patunayan ng matematiko na matematika na si Chen Jing Run na ang bawat sapat na malaki kahit na bilang ay ang kabuuan ng isang kalakasan at isang numero na may higit sa dalawang punong kalakasan.
