19:18
2026-09-03
github.com
artificial-intelligence
GPT-6-Astra: infinitely pairs of consecutive primes with distance at most 186
OpenAI released a Lean 4 formalization, GPT-6-Astra, proving that infinitely many pairs of consecutive primes are separated by at most 186, but the proof is conditional on three explicit axioms not ye…