Formal target: Corpus.OEIS166944.conjecture

Conjecture: Every record of differences $a(n)-a(n-1)$ more than 5 is the greater of twin primes (A006512).

Exact formal statement

∀ (R : Nat), LT.lt.{0} 5 R → Corpus.OEIS166944.IsDifferenceRecord R → Corpus.OEIS166944.IsGreaterTwinPrime R

This target is a formal statement, not a proof of the problem.

Environment availability: available.

Public accepted solutions (paginated API)

Public JSON record