186

This number is a composite.

+ 186 may be expressed as the result of the four term primorial less the four term factorial (7 x 5 x 3 x 2 - 4 x 3 x 2 x 1 = 186). [King]

+ OpenAI hosts an open-source research repository on GitHub called openai/PrimeGaps186. It contains a conditional mathematical formalization (written in Lean 4) and a Python certificate proving that the gap between consecutive prime numbers is at most 186 under specific bounds. [GitHub]

Printed from the PrimePages <t5k.org> © G. L. Honaker and Reginald McLean