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.
All topics

1194 of 1194 statement records

17 source collections · 43 mathematical fields

Source labels openErdős Problems · Combinatorics

Erdős Problem 160: Better Upper

Estimate h(n)h(n) by finding a better upper bound.

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

Erdős Problem 1056: Noll Simmons

Noll and Simmons asked, more generally, whether there are solutions to q1!qk!modpq_1! \equiv \dots \equiv q_k! \mod p for arbitrarily large kk (with q1<<qkq_1 < \dots < q_k).

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

Erdős Problem 160: Better Lower

Estimate h(n)h(n) by finding a better lower bound.

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

Erdős Problem 1057

Is it true that C(x)=x1o(1)C(x)=x^{1-o(1)}?

This is discussed in problem A13 of Guy's collection [Gu04].

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

Erdős Problem 168: Ii

Is the limit F(N)/NF(N)/N as NN \to \infty irrational?

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

Erdős Problem 1057: Pomerance

Pomerance [Po89] gave a heuristic suggesting that this is the true order of growth, and in fact C(x)=xexp((1+o(1))logxlogloglogxloglogx)C(x)= x \exp\left(-(1+o(1))\frac{\log x\log\log\log x}{\log\log x}\right).

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

Erdős Problem 170

The problem is to determine the limit of the sequence F(N)N\frac{F(N)}{\sqrt{N}} as NN \to \infty.

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

Erdős Problem 1059

Are there infinitely many primes pp such that pk!p - k! is composite for each kk such that 1k!<p1 ≤ k! < p?

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

Erdős Problem 172

Is it true that in any finite colouring of N\mathbb{N} there exist arbitrarily large finite AA such that all sums and products of distinct elements in AA are the same colour?

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

Erdős Problem 1060: I

The conjecture is about the function f(n)f(n) which counts the number of solutions to kσ(k)=nk\sigma(k)=n, where σ(k)\sigma(k) is the sum of divisors of kk. The first bound is that f(n)f(n) grows slower than any power of n(1loglogn)n^(\frac{1}{\log\log n}). The second bound is that f(n)f(n) is at most a power of logn\log n.

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

Erdős Problem 184

Any graph on nn vertices can be decomposed into O(n)O(n) many edge-disjoint cycles and edges.

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

Erdős Problem 1060: Ii

Part (ii) of Erdős Problem 1060: bound on the number of knk \le n with kσ1(k)=nk \sigma_1(k) = n.

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

Erdős Problem 184: Covering

In [Er71] Erdős suggests that only n1n-1 many cycles and edges are required if we do not require them to be edge-disjoint.

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

Erdős Problem 1061

How many (ordered) solutions are there to σ(a) + σ(b) = σ(a + b) with a + b ≤ x? Is it true that this number is asymptotic to c * x for some constant c > 0?

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

Erdős Problem 188

What is the smallest kk such that R2\mathbb{R}^2 can be red/blue coloured with no pair of red points unit distance apart, and no kk-term arithmetic progression of blue points with distance 1?

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

Erdős Problem 1062: Ii

Erdős asked whether the limiting density f n / n exists and, if so, whether it is irrational.

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

Erdős Problem 189: Parallelogram

Seems to be open, as of January 2025.

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

Erdős Problem 1063: Better Upper

Estimate nkn_k by finding a better upper bound.

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

Erdős Problem 193

Let SZ3S \subseteq \mathbb{Z}^3 be a finite set and let A={a1,a2,}A = \lbrace a_1, a_2, \ldots \rbrace be an infinite SS-walk, so that ai+1aiSa_{i+1} - a_i \in S for all ii. Must AA contain three collinear points?

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

Erdős Problem 1065: I

Are there infinitely many primes pp such that p=2kq+1p = 2^k * q + 1 for some prime qq and k0k ≥ 0?

This is mentioned as B46 in Unsolved Problems in Number Theory by Richard K. Guy

Source checked Jul 26, 20261 pinned Lean statementInspect problem