Browse Problems

Search and filter the ASI Benchmark problem set. Click any problem to see its Lean statement and recent submissions.

Filters

Showing 50 of 1,494

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