Проблема Гольдбаха (гипотеза Гольдбаха, проблема Эйлера, бинарная проблема Гольдбаха) — утверждение о том, что любое чётное число, начиная с 4, можно представить в виде суммы двух простых чисел. Является открытой математической проблемой — по состоянию на 2023 год утверждение не доказано. В совокупности с гипотезой Римана включена в список проблем Гильберта под номером 8.
Более слабый вариант гипотезы — тернарная проблема Гольдбаха, согласно которой любое нечётное число, начиная с 7, можно представить в виде суммы трёх простых чисел, — в 2013 году доказана перуанским математиком Харальдом Гельфготтом. Из справедливости бинарной проблемы Гольдбаха очевидным образом следует тернарная: если каждое чётное число, начиная с 4, — сумма двух простых чисел, то, добавляя 3 к каждому чётному числу, можно получить все нечётные числа, начиная с 7.
В 1742 году математик Христиан Гольдбах послал письмо Леонарду Эйлеру, в котором он высказал следующее предположение: каждое нечётное число, большее 5, можно представить в виде суммы трёх простых чисел.
Эйлер заинтересовался проблемой и выдвинул более сильную гипотезу: каждое чётное число, большее двух, можно представить в виде суммы двух простых чисел.
Первое утверждение называется тернарной проблемой Гольдбаха, второе — бинарной проблемой Гольдбаха (или проблемой Эйлера).
Гипотезу, сходную с тернарной проблемой Гольдбаха, но в более слабой форме, высказал Варинг в 1770 году: каждое нечётное — простое число или сумма трёх простых.