En matemáticas el teorema de Mills establece que donde θ {\displaystyle \ theta } denota una constante matemática conocida como constante de Molinos y ⌊ θ 3 y ⌋ {\displaystyle \lfloor \ theta ^{3^{n}}\rfloor } la función de la parte entera de θ 3 y {\displaystyle \ theta ^{3^{n}}} . El teorema fue demostrado en 1947 por Mills , que, sin embargo, no determinó θ {\displaystyle \ theta } , ni propuso ninguna aproximación. Posteriormente, el valor de la constante se calculó cada vez con mayor precisión, hasta 7000 decimales (2005).
Hardy y Wright (1979) y Ribenboim (1996) argumentaron, sin embargo, que, a pesar de la particular simplicidad y belleza de la fórmula, no tiene ninguna consecuencia práctica en ayudar a determinar los números primero, ya que no es posible saber el valor exacto de θ {\displaystyle \ theta } sin conocer de antemano los primos generados.