186
This number is a composite.
Single Curio View: (Seek other curios for this number)
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]
Submitted: 2017-02-09 14:17:25; Last Modified: 2026-10-08 14:19:41.
Printed from the PrimePages <t5k.org> © G. L. Honaker and Reginald McLean