Vela

Let be a sequence of integers which tends to infinity sufficiently fast. If there is an such that all are primes then must there exist infinitely many such ?What if we ask for to be squarefree instead of prime?Are there such that is always a prime (or always squarefree, or infinitely often a prime, or infinitely often squarefree)?

Worked, still open.

number theory · open · possible · formalized (Lean) · 0 attempts

use this record

vela registry pull vfr_37aec80d874a0239
vela reproduce examples/erdos-problems

proved · paper

status

open

notary

vela reproduce examples/erdos-problems
  • packet.json · sha256 8ba6742b37d06a10124cb222a9372316657914f9dca777bdccb0afd4030163af

finding.noted · reviewer:will-blair · 1 day

renders the record as of vev_d199cb2e · 1,338 events · hub

Search Vela

Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.