He delved into the literature, coming across a 1974 paper by Carl Pomerance, a mathematician now at Dartmouth College, which proved that any OPN must have at least seven distinct prime factors.“Seeing that progress could be made on this problem gave me hope, in my naiveté, that maybe I could do something,” Nielsen said.