The tameness theorem was conjectured by Marden. In 1796, Adrien-Marie Legendre conjectured the prime number theorem, describing the asymptotic distribution of primes. The theorem was conjectured by Euler and Legendre and first proved by Gauss. It has been conjectured that all algebraic irrational numbers are normal. Euler also conjectured the law of quadratic reciprocity. It is conjectured that there are infinitely many Mersenne primes. Mathematician David Singmaster had "rashly conjectured" this number to be 20 in 1980. It is still conjectured that 3SUM is unsolvable in formula 9 expected time. This result had originally been conjectured by Emil Artin in his thesis. Mandelbrot had originally conjectured that the Mandelbrot set is disconnected. The existence of graphyne was conjectured before 1960. Therefore, very little can be conjectured about the earliest inhabitants. In that lecture, Rutherford conjectured the existence of new particles. In 2018 Simon Plouffe conjectured a set of formulas for primes. They are named after Pierre de Fermat, who conjectured that all such numbers are prime.