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