Pensionist har løst et af verdens sværeste matematiske problemer: Matematikere har kæmpet i årtier. Nu er den Gaussiske korrelationsulighed bevist.