Questions, not proof records

Open-problem statements, with their sources attached.

Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.

“Open” is a dated source assertion. In these pinned sources, sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.
1 topic

624 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openErdős Problems · Number theory

Erdős Problem 252: K Ge Five

For a fixed k ≥ 5, is ∑ σ k n / n! irrational?.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 254

Let ANA\subseteq \mathbb{N} be such that A[1,2x]A[1,x] as x\lvert A\cap [1,2x]\rvert -\lvert A\cap [1,x]\rvert \to \infty\textrm{ as }x\to \infty and nA{θn}=\sum_{n\in A} \{ \theta n\}=\infty for every θ(0,1)\theta\in (0,1), where {x}\{x\} is the distance of xx from the nearest integer. Then every sufficiently large integer is the sum of distinct elements of AA.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 257

Let ANA\subseteq\mathbb{N} be an infinite set. Is

nA12n1\sum_{n\in A} \frac{1}{2^n - 1}

irrational?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 260

Let a1<a2<a_1 < a_2 < \cdots be an increasing sequence such that ann\frac{a_n}{n} \to \infty. Is the sum nan2an\sum_{n}^{\infty} \frac{a_n}{2^{a_n}} irrational?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 263: I

Is an=22na_n = 2^{2^n} an irrationality sequence in the above sense?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 264: Ii

Is n!n! an example of an irrationality sequence?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 267

Let F1=F2=1F_1=F_2=1 and Fn+1=Fn+Fn1F_{n+1} = F_n + F_{n-1} be the Fibonacci sequence. Let n1<n2<n_1 < n_2 < \dots be an infinite sequence with nk+1nkc>1\frac{n_{k+1}}{n_k} \ge c > 1. Must k1Fnk\sum_k \frac 1 {F_{n_k}} be irrational?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 267: Generalisation Ratio Limit To Infinity

Let F1=F2=1F_1=F_2=1 and Fn+1=Fn+Fn1F_{n+1} = F_n + F_{n-1} be the Fibonacci sequence. Let n1<n2<n_1 < n_2 < \dots be an infinite sequence with nkk\frac {n_k}{k} \to \infty. Must k1Fnk\sum_k \frac 1 {F_{n_k}} be irrational?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 269: Rational

Let PP be a finite set of primes with P2|P| \ge 2 and let {a1<a2<}\{a_1 < a_2 < \dots\} be the set of positive integers whose prime factors are all in PP. Is the sum n=11[a1,,an]\sum_{n=1}^\infty \frac{1}{[a_1,\ldots,a_n]} rational?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 269: Irrational

Let PP be a finite set of primes with P2|P| \ge 2 and let {a1<a2<}\{a_1 < a_2 < \dots\} be the set of positive integers whose prime factors are all in PP. Is the sum n=11[a1,,an]\sum_{n=1}^\infty \frac{1}{[a_1,\ldots,a_n]} irrational?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 276

Is there an infinite Lucas sequence a0,a1,a_0, a_1, \ldots where an+2=an+1+ana_{n+2} = a_{n+1} + a_n for n0n \ge 0 such that all aka_k are composite, and yet no integer has a common factor with every term of the sequence?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 279

Let k3k\geq 3. Is there a choice of congruence classes ap(modp)a_p\pmod{p} for every prime pp such that all sufficiently large integers can be written as ap+tpa_p+tp for some prime pp and integer tkt\geq k?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 28

If ANA ⊆ \mathbb{N} is such that A+AA + A contains all but finitely many integers then lim sup1A1A(n)=\limsup 1_A ∗ 1_A(n) = \infty.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 287

Let k2k\geq2. Is it true that, for any distinct integers 1<n1<<nk1 < n_1 < \cdots < n_k such that i=1k1ni=1\sum_{i=1}^k \frac{1}{n_i} = 1, we must have max(ni+1ni)3\max(n_{i+1} - n_i) \geq 3?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 287: Prime Conjecture

For all large NN, there exists a prime p[N,2N]p \in [N, 2N] such that p+12\frac{p+1}{2} is also prime.

This is an open conjecture. If true, it would imply erdos_287 for all but at most finitely many exceptions (see erdos_287.variants.prime_conjecture_implies).

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 288

Is it true that there are only finitely many pairs of intervals I1I_1, I2I_2 such that

n1I11n1+n2I21n2N?\sum_{n_1 \in I_1} \frac{1}{n_1} + \sum_{n_2 \in I_2} \frac{1}{n_2} \in \mathbb{N}?
Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 288: I2 Card Eq 1

This is still open even if I2=1|I_2| = 1.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 288: K Intervals

It is perhaps true with two intervals replaced by any kk intervals.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 288: Exists K Gt 2

Is it true for any k>2k > 2 that only finitely many kk intervals satisfy this condition?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 289

Is it true that, for all sufficiently large kk, there exists finite intervals I1,,IkNI_1, \dotsc, I_k \subset \mathbb{N} with Ii2|I_i| \geq 2 for 1ik1 \leq i \leq k such that

1=i=1knIi1n.1 = \sum_{i=1}^k \sum_{n \in I_i} \frac{1}{n}.
Source checked Jul 26, 20261 pinned Lean statementInspect problem