Browse Problems
Search and filter the ASI Benchmark problem set. Click any problem to see its Lean statement and recent submissions.
Filters
Results
| Prize | Problem | Status | ID |
|---|---|---|---|
| - |
erdos_119_1
Question 1: Is it true that $\limsup M_n = \infty$? Wagner [Wa80] proved that there is some $c > 0$ with $M_n > (\log n)^c$ infintely often. [Wa80] Wagner, Gerold, On a …
|
Solved | ErdosProblems__119__erdos_119_1 |
| - |
erdos_119_2
Question 2: Is it true that there exists $c > 0$ such that for infinitely many $n$ we have $M_n > n^c$? Beck [Be91] proved that there exists some $c > 0$ …
|
Solved | ErdosProblems__119__erdos_119_2 |
| - |
erdos_119_3
Question 3: Is it true that there exists $c > 0$ such that, for all large $n$, $\sum_{k \leq n} M_k > n^{1 + c}$?
|
Open | ErdosProblems__119__erdos_119_3 |
| - |
erdos_119.parts.i
Question 1: Is it true that $\limsup M_n = \infty$? Wagner [Wa80] proved that there is some $c > 0$ with $M_n > (\log n)^c$ infintely often. [Wa80] Wagner, Gerold, On a …
|
Solved | ErdosProblems__119__erdos_119.parts.i |
| - |
erdos_119.parts.ii
Question 2: Is it true that there exists $c > 0$ such that for infinitely many $n$ we have $M_n > n^c$? Beck [Be91] proved that there exists some $c > 0$ …
|
Solved | ErdosProblems__119__erdos_119.parts.ii |
| - |
erdos_119.parts.iii
Question 3: Is it true that there exists $c > 0$ such that, for all large $n$, $\sum_{k \leq n} M_k > n^{1 + c}$?
|
Open | ErdosProblems__119__erdos_119.parts.iii |
| - |
erdos_11.variants.finite_bound1
Every odd $1 < n < 10^7$ is the sum of a squarefree number and a power of 2.
|
Solved | ErdosProblems__11__erdos_11.variants.finite_bound1 |
| - |
erdos_11.variants.finite_bound2
Every odd $1 < n < 2^50$ is the sum of a squarefree number and a power of 2.
|
Solved | ErdosProblems__11__erdos_11.variants.finite_bound2 |
| - |
erdos_11.variants.granville_soundararajan
Suppose that every odd $n$ is the sum of a squarefree number and a power of 2. Then the set of primes $p$ such that $2 ^ p ≡ 2 \mod p …
|
Solved | ErdosProblems__11__erdos_11.variants.granville_soundararajan |
| - |
erdos_11.variants.not_four_dvd
Erdős often asked this under the weaker assumption that $n > 1$ is not divisible by 4.
|
Open | ErdosProblems__11__erdos_11.variants.not_four_dvd |
| - |
erdos_11.variants.two_pow_two
Is every odd $n > 1$ the sum of a squarefree number and two powers of 2?
|
Open | ErdosProblems__11__erdos_11.variants.two_pow_two |
| - |
erdos_120
Let $A \subseteq \mathbb{R}$ be an infinite set. Must there be a set $E \subseteq \mathbb{R}$ of positive measure which does not contain any set of the shape $a * A + …
|
Open | ErdosProblems__120__erdos_120 |
| - |
erdos_120.variants.finite_set
Steinhaus [St20] has proved Erdős 120 to be false whenever $A$ is a finite set.
|
Solved | ErdosProblems__120__erdos_120.variants.finite_set |
| - |
erdos_123
**Erdős Problem #123** Let $a, b, c$ be three integers which are pairwise coprime. Is every large integer the sum of distinct integers of the form $a^k b^l c^m$ ($k, l, m …
|
Open | ErdosProblems__123__erdos_123 |
| - |
erdos_123.variants.erdos_lewin_3_5_7
Erdős and Lewin proved this conjecture when $a = 3$, $b = 5$, and $c = 7$. Reference: [ErLe96] Erdős, P. and Lewin, Mordechai, _$d$-complete sequences of integers_. Math. Comp. (1996), 837-840.
|
Solved | ErdosProblems__123__erdos_123.variants.erdos_lewin_3_5_7 |
| - |
erdos_123.variants.powers_2_3
A simpler case: the set of numbers of the form $2^k 3^l$ ($k, l ≥ 0$) is d-complete. This was initially conjectured by Erdős in 1992, who called it a "nice and …
|
Solved | ErdosProblems__123__erdos_123.variants.powers_2_3 |
| - |
erdos_123.variants.powers_2_3_5_snug
A stronger conjecture for numbers of the form $2^k 3^l 5^j$. For any $ε > 0$, all large integers $n$ can be written as the sum of distinct integers $b_1 < ... …
|
Open | ErdosProblems__123__erdos_123.variants.powers_2_3_5_snug |
| - |
erdos124.converse
Let $3\leq d_1 < d_2 < \cdots < d_r$ be integers such that all sufficiently large integers can be written as a sum of the shape $\sum_i c_ia_i$ where $c_i \in \{0, …
|
Solved | ErdosProblems__124__erdos124.converse |
| - |
erdos124.melfi_construction
For any $\varepsilon > 0$, there exists an infinite sequence $2 \le d_0 < d_1 < \dots$ such that all sufficiently large integer can be written as $\sum_{i \in I} a_i$ where …
|
Solved | ErdosProblems__124__erdos124.melfi_construction |
| - |
erdos124.ne_zero
Let $k \ne 0$ and $3\leq d_1 < d_2 < \cdots < d_r$ be integers of gcd equal to $1$ such that $$\sum_{1 \le i \le r}\frac 1{d_i - 1} \ge 1.$$ …
|
Open | ErdosProblems__124__erdos124.ne_zero |
| - |
erdos124.ne_zero_three_four_seven
All sufficiently large integers can be written as $a + b + c$ where $a$ has only the digits $0, 1$ in base $3$, $b$ only the digits $0, 1$ in base …
|
Solved | ErdosProblems__124__erdos124.ne_zero_three_four_seven |
| - |
erdos124.zero
Let $3 \le d_1 < d_2 < \dots < d_r$ be integers such that $$\sum_{1 \le i \le r}\frac 1{d_i - 1} \ge 1.$$ Can all sufficiently large integers be written as …
|
Solved | ErdosProblems__124__erdos124.zero |
| - | erdos_125 | Open | ErdosProblems__125__erdos_125 |
| - |
erdos_128
Let G be a graph with n vertices such that every subgraph on ≥ $n/2$ vertices has more than $n^2/50$ edges. Must G contain a triangle?
|
Open | ErdosProblems__128__erdos_128 |
| - |
erdos_12.parts.i
Let $A$ be an infinite set such that there are no distinct $a,b,c \in A$ such that $a \mid (b+c)$ and $b,c > a$. Is there such an $A$ with $\liminf \frac{|A …
|
Open | ErdosProblems__12__erdos_12.parts.i |
| - |
erdos_12.parts.ii
Let $A$ be an infinite set such that there are no distinct $a,b,c \in A$ such that $a \mid (b+c)$ and $b,c > a$. Does there exist some absolute constant $c > …
|
Open | ErdosProblems__12__erdos_12.parts.ii |
| - |
erdos_12.parts.iii
Let $A$ be an infinite set such that there are no distinct $a,b,c \in A$ such that $a \mid (b+c)$ and $b,c > a$. Is it true that $∑_{n \in A} \frac{1}{n} …
|
Open | ErdosProblems__12__erdos_12.parts.iii |
| - |
erdos_12.variants.baier
Let $A$ be a set of natural numbers with the property that there are no distinct $a,b,c \in A$ such that $a \mid (b+c)$ and $b,c > a$. If all elements in …
|
Solved | ErdosProblems__12__erdos_12.variants.baier |
| - |
erdos_12.variants.erdos_sarkozy
Given any function $f(x)\to \infty$ as $x\to \infty$ there exists a set $A$ with the property that there are no distinct $a,b,c \in A$ such that $a \mid (b+c)$ and $b,c > …
|
Solved | ErdosProblems__12__erdos_12.variants.erdos_sarkozy |
| - |
erdos_12.variants.erdos_sarkozy_density_0
Erdős and Sárközy proved that such an $A$ must have density 0. [ErSa70] Erd\H os, P. and Sárk\"ozi, A., On the divisibility properties of sequences of integers. Proc. London Math. Soc. (3) …
|
Solved | ErdosProblems__12__erdos_12.variants.erdos_sarkozy_density_0 |
| - |
erdos_12.variants.example
An example of an $A$ with the property that there are no distinct $a,b,c \in A$ such that $a \mid (b+c)$ and $b,c > a$ and such that \[\liminf \frac{\lvert A\cap\{1,\ldots,N\}\rvert}{N^{1/2}}\log N …
|
Solved | ErdosProblems__12__erdos_12.variants.example |
| - |
erdos_12.variants.schoen
Let $A$ be a set of natural numbers with the property that there are no distinct $a,b,c \in A$ such that $a \mid (b+c)$ and $b,c > a$. If all elements in …
|
Solved | ErdosProblems__12__erdos_12.variants.schoen |
| - |
erdos_13
If $A \subseteq \{1, ..., N\}$ is a set with no $a, b, c \in A$ such that $a | (b+c)$ and $a < \min(b,c)$, then $|A| \le N/3 + O(1)$. This …
|
Solved | ErdosProblems__13__erdos_13 |
| - |
erdos_137
Let $k\geq 3$. Can the product of any $k$ consecutive integers $N$ ever be powerful? That is, must there always exist a prime $p\mid N$ such that $p^2\nmid N$?
|
Open | ErdosProblems__137__erdos_137 |
| - |
erdos_137.multiple_powerful_factors
Erdős [Er82c] conjectures that, if $k$ is fixed, then for all $n$ sufficiently large and all positive integers $m$, there must be at least $k$ distinct primes $p$ such that $p\mid m(m+1)\cdots …
|
Open | ErdosProblems__137__erdos_137.multiple_powerful_factors |
| - |
erdos_137.variants.perfect_power
Let $k\geq 2$. Erdős and Selfridge [ES75] proved that the product of any $k$ consecutive integers $N$ cannot be a perfect power. [ES75] P. Erdös, J. L. Selfridge, "The product of consecutive …
|
Solved | ErdosProblems__137__erdos_137.variants.perfect_power |
| - |
erdos_138
In [Er80] Erdős asks whether $$ \lim_{k \to \infty} (W(k))^{1/k} = \infty $$
|
Open | ErdosProblems__138__erdos_138 |
| - |
erdos_138.variants.difference
In [Er81] Erdős asks whether $W(k+1) - W(k) \to \infty$.
|
Open | ErdosProblems__138__erdos_138.variants.difference |
| - |
erdos_138.variants.dvd_two_pow
In [Er80] Erdős asks whether $W(k)/2^k\to \infty$.
|
Open | ErdosProblems__138__erdos_138.variants.dvd_two_pow |
| - |
erdos_138.variants.prime
When $p$ is prime Berlekamp [Be68] has proved $W(p+1) ≥ p^{2^p}$.
|
Solved | ErdosProblems__138__erdos_138.variants.prime |
| - |
erdos_138.variants.quotient
In [Er81] Erdős asks whether $\frac{W(k+1)}{W(k)} \to \infty$.
|
Open | ErdosProblems__138__erdos_138.variants.quotient |
| - |
erdos_138.variants.upper
Gowers [Go01] has proved $$W(k) \leq 2^{2^{2^{2^{2^{k+9}}}}.$$
|
Solved | ErdosProblems__138__erdos_138.variants.upper |
| - |
erdos_139
**Erdős Problem 139**: Let $r_k(N)$ be the size of the largest subset of ${1,...,N}$ which does not contain a non-trivial $k$-term arithmetic progression. Prove that $r_k(N) = o(N)$.
|
Solved | ErdosProblems__139__erdos_139 |
| - |
erdos_13_general
A general version asks, for a fixed $r \in \mathbb{N}$, if a set $A \subseteq \{1, ..., N\}$ has no $a \in A$ and $b_1, ..., b_r \in A$ such that $a …
|
Open | ErdosProblems__13__erdos_13_general |
| - |
erdos_141
Let $k≥3$. Are there $k$ consecutive primes in arithmetic progression?
|
Open | ErdosProblems__141__erdos_141 |
| - |
erdos_141.variant.eleven
Are there $11$ consecutive primes in arithmetic progression?
|
Open | ErdosProblems__141__erdos_141.variant.eleven |
| - |
erdos_141.variant.first_cases
The existence of such progressions has been verified for $k≤10$.
|
Solved | ErdosProblems__141__erdos_141.variant.first_cases |
| - |
erdos_141.variant.infinite_general_case
Fix a $k \geq 3$. Is it true that there are infinitely many arithmetic prime progressions of length $k$?
|
Open | ErdosProblems__141__erdos_141.variant.infinite_general_case |
| - |
erdos_141.variant.infinite_three
It is open, even for $k=3$, whether there are infinitely many such progressions.
|
Open | ErdosProblems__141__erdos_141.variant.infinite_three |
| - |
erdos_145
Let $s_1 < s_2 < \cdots$ be the sequence of squarefree numbers. Is it true that, for any $\alpha\geq 0$, $$ \lim_{x\to\infty} \frac{1}{x}\sum_{s_n\leq x}(s_{n+1}-s_n)^\alpha $$ exists?
|
Open | ErdosProblems__145__erdos_145 |