Skip to content

Problems · Vela Mathematics Program

Narrowed toproved ×primes ×Clear all

Problem ledger

7 problemsGraph view
declared proved · formalized · $10000erdos:4
True ↔ ∀ C > 0, Erdos4.Erdos4For C
number theoryprimesA0023862 sources
declared proved · formalized · $100erdos:6
{n | primeGap n < primeGap (n + 1) ∧ primeGap (n + 1) < primeGap (n + 2)}.Infinite
number theoryprimesA3352772 sources
declared provederdos:49
Erdős problem 49
number theoryprimesA365339 · A365474
declared proved · formalizederdos:219
∅ ∉ Erdos219.primeArithmeticProgressions
number theoryadditive combinatoricsprimesA005115 · A113827 · A1235562 sources
declared provederdos:240
Erdős problem 240
number theoryprimesN/A
declared proved · formalizederdos:358
True ↔ ∃ A, StrictMono A ∧ Filter.Tendsto (Erdos358.f A) Filter.atTop Filter.atTop
number theoryadditive basisprimespossible3 sources
declared provederdos:682
Erdős problem 682
number theoryprimesA386978

Search problems.science

Find a Problem, Result, source, or page