Vela

Let be the set of all such that there exists a prime such that . Doesexist? What is it?Similarly, if is the set of all primes such that there exists an with such that , then doesexist? What is it?

Worked, still open.

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

use this record

vela registry pull vfr_37aec80d874a0239
vela reproduce examples/erdos-problems

notary

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

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.