 Dyson recognized the formula as the pair correlation function of the Gaussian unitary ensemble, which physicists have studied extensively.This suggested that there might be an unexpected connection between the distribution of primes (2, 3, 5, 7, 11, ...) and the energy levels in the nuclei of heavy elements such as uranium.Around 1979 Dyson worked with the Institute for Energy Analysis on climate studies.