Hva er Goldbachs formodning?

I 1742 sendte den tyske matematikeren Christian Goldbach et brev til Leonhard Euler med en påstand: Ethvert partall større enn 2 kan skrives som summen av to primtall. Ta 10, det er 3 + 7. Eller 28, det er 11 + 17.

Euler ble overbevist, men klarte ikke bevise det. Ingen har klart det siden. Formodningen er testet på datamaskiner for alle partall opp til 4 trilliarder (4×10¹⁸), og den holder hver gang. Men i matematikken er eksempler ikke bevis.

Etter nesten 300 år er Goldbachs formodning fortsatt et av de eldste uløste problemene i tallteori.