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_358.variants.prime_set_density_representation
When $A =\{a_1 < \cdots\}$ corresponds to the set of primes, it is conjectured that the set of numbers $n$ that have representations \[n=\sum_{u\leq i\leq v}a_i\] has positive upper density.
|
Open | ErdosProblems__358__erdos_358.variants.prime_set_density_representation |
| - |
erdos_359.parts.i
Let $a_1< a_2 < ⋯ $ be an infinite sequence of integers such that $a_1=1$ and $a_{i+1}$ is the least integer which is not a sum of consecutive earlier $a_j$s. Show that …
|
Open | ErdosProblems__359__erdos_359.parts.i |
| - |
erdos_359.parts.ii
Let $a_1< a_2 < ⋯ $ be an infinite sequence of integers such that $a_1=1$ and $a_{i+1}$ is the least integer which is not a sum of consecutive earlier $a_j$s. Show that …
|
Open | ErdosProblems__359__erdos_359.parts.ii |
| - |
erdos_359.variants.isGoodFor_1_asymptotic
Suppose monotone sequence $A$ satisfies the following: `A 0 = 1` and for all `j`, `A (j + 1)` is the smallest natural number that cannot be written as a sum of …
|
Open | ErdosProblems__359__erdos_359.variants.isGoodFor_1_asymptotic |
| - |
erdos_36
Find the value of the limit of `MinOverlapQuotient`!
|
Open | ErdosProblems__36__erdos_36 |
| - |
erdos_361.bigO
Let $c > 0$ and $n$ be some large integer. What is the size of the largest set $A \subseteq \{1, \ldots, \lfloor c n \rfloor\}$ such that $n$ is not a …
|
Open | ErdosProblems__361__erdos_361.bigO |
| - |
erdos_361.bigTheta
Let $c > 0$ and $n$ be some large integer. What is the size of the largest set $A \subseteq \{1, \ldots, \lfloor c n \rfloor\}$ such that $n$ is not a …
|
Open | ErdosProblems__361__erdos_361.bigTheta |
| - |
erdos_361.smallO
Let $c > 0$ and $n$ be some large integer. What is the size of the largest set $A \subseteq \{1, \ldots, \lfloor c n \rfloor\}$ such that $n$ is not a …
|
Open | ErdosProblems__361__erdos_361.smallO |
| - |
erdos_364
There is no consecutive triple of powerful numbers.
|
Open | ErdosProblems__364__erdos_364 |
| - |
erdos_364.variants.strong
Erdős [Er76d] conjectured a stronger statement: if $n_k$ is the $k$th powerful number, then $n_{k+2} - n_k > n_k^c$ for some constant $c > 0$. [Er76d] Erdős, P., Problems and results on …
|
Open | ErdosProblems__364__erdos_364.variants.strong |
| - |
erdos_366
Are there any $2$-full $n$ such that $n+1$ is $3$-full?
|
Open | ErdosProblems__366__erdos_366 |
| - |
erdos_366.variant.three_two
Are there infinitely many 3-full $n$ such that $n+1$ is 2-full?
|
Open | ErdosProblems__366__erdos_366.variant.three_two |
| - |
erdos_36.variants.exists
The limit of `MinOverlapQuotient` exists and it is less than $0.385694$.
|
Solved | ErdosProblems__36__erdos_36.variants.exists |
| - |
erdos_36.variants.lower:
Find a better lower bound!
|
Open | ErdosProblems__36__erdos_36.variants.lower_ |
| - |
erdos_36.variants.upper
Find a better upper bound!
|
Open | ErdosProblems__36__erdos_36.variants.upper |
| - |
erdos_370
Are there infinitely many $n$ such that the largest prime factor of $n$ is $< n^{\frac{1}{2}}$ and the largest prime factor of $n + 1$ is $< (n + 1)^{\frac{1}{2}}$. Steinerberger has …
|
Solved | ErdosProblems__370__erdos_370 |
| - |
erdos_371
Let $P(n)$ denote the largest prime factor of $n$. Show that the set of $n$ with $P(n+1) > P(n)$ has density $\frac{1}{2}$.
|
Open | ErdosProblems__371__erdos_371 |
| - |
erdos_373
Show that the equation `n!=a_1!a_2!···a_k!`, with `n−1 > a_1 ≥ a_2 ≥ ··· ≥ a_k`, has only finitely many solutions.
|
Open | ErdosProblems__373__erdos_373 |
| - |
erdos_373.variants.maximal_solution
Hickerson conjectured the largest solution the equation `n!=a_1!a_2!···a_k!`, with `n−1 > a_1 ≥ a_2 ≥ ··· ≥ a_k`, is `16!=14!5!2!`.
|
Open | ErdosProblems__373__erdos_373.variants.maximal_solution |
| - |
erdos_373.variants.of_limit
Show that if `P(n(n+1)) / log n → ∞` where `P(m)` denotes the largest prime factor of `m`, then the equation `n!=a_1!a_2!···a_k!`, with `n−1 > a_1 ≥ a_2 ≥ ··· ≥ a_k`, …
|
Solved | ErdosProblems__373__erdos_373.variants.of_limit |
| - |
erdos_373.variants.of_lower_bound
Show that if `P(n(n−1)) > 4 log n` for large enough `n`, where `P(m)` denotes the largest prime factor of `m`, then the equation `n!=a_1!a_2!···a_k!`, with `n−1 > a_1 ≥ a_2 ≥ …
|
Solved | ErdosProblems__373__erdos_373.variants.of_lower_bound |
| - |
erdos_373.variants.suranyi
Surányi was the first to conjecture that the only non-trivial solution to `a!b!=n!` is `6!7!=10!`.
|
Open | ErdosProblems__373__erdos_373.variants.suranyi |
| - |
erdos_375
Is `Erdos375Prop` true?
|
Open | ErdosProblems__375__erdos_375 |
| - |
erdos_375.bounded_gap
If `Erdos375Prop` is true, then `(n + 1).nth Prime - n.nth Prime < (n.nth Prime) ^ (1 / 2 - c)` for some `c > 0`.
|
Solved | ErdosProblems__375__erdos_375.bounded_gap |
| - |
erdos_375.legendre
In particular, if `Erdos375Prop` is true, then Legendre's conjecture is asymptotically true.
|
Solved | ErdosProblems__375__erdos_375.legendre |
| - |
erdos_375.le_two
It is easy to see that for any `n ≥ 1` and `k ≤ 2`, if `n + 1, ..., n + k` are all composite, then there are distinct primes `p₁, …
|
Solved | ErdosProblems__375__erdos_375.le_two |
| - |
erdos_375.log
There exists a constant `c > 0` such that for all `n`, if `k < c * (log n / (log (log n))) ^ 3 → (∀ i < k, ¬ (n …
|
Solved | ErdosProblems__375__erdos_375.log |
| - |
erdos_376
Are there infinitely many $n$ such that ${2n\choose n}$ is coprime to $105$?
|
Open | ErdosProblems__376__erdos_376 |
| - |
erdos_376.variants.prime
Erdős, Graham, Ruzsa, and Straus [EGRS75] have shown that, for any two odd primes $p$ and $q$, there are infinite many $n$ such that ${2n\choose n}$ is coprime to $pq$.
|
Solved | ErdosProblems__376__erdos_376.variants.prime |
| - |
erdos_377
Is there some absolute constant $C > 0$ such that $$ \sum_{p \leq n} 1_{p\nmid {2n \choose n}}\frac{1}{p} \leq C $$ for all $n$?
|
Open | ErdosProblems__377__erdos_377 |
| - |
erdos_377.variants.ae
Erdos, Graham, Ruzsa, and Straus proved that if $$ f(n) = \sum_{p \leq n} 1_{p\nmid {2n \choose n}}\frac{1}{p} $$ and $$ \gamma_0 = \sum_{k = 2}^{\infty} \frac{\log k}{2^k} $$ then for almost …
|
Solved | ErdosProblems__377__erdos_377.variants.ae |
| - |
erdos_377.variants.limit.i
Erdos, Graham, Ruzsa, and Straus proved that if $$ f(n) = \sum_{p \leq n} 1_{p\nmid {2n \choose n}}\frac{1}{p} $$ and $$ \gamma_0 = \sum_{k = 2}^{\infty} \frac{\log k}{2^k} $$ then $$ \lim_{x\to\infty} …
|
Solved | ErdosProblems__377__erdos_377.variants.limit.i |
| - |
erdos_377.variants.limit.ii
Erdos, Graham, Ruzsa, and Straus proved that if $$ f(n) = \sum_{p \leq n} 1_{p\nmid {2n \choose n}}\frac{1}{p} $$ and $$ \gamma_0 = \sum_{k = 2}^{\infty} \frac{\log k}{2^k} $$ then $$ \lim_{x\to\infty} …
|
Solved | ErdosProblems__377__erdos_377.variants.limit.ii |
| - |
erdos_377.variants.ub
Erdos, Graham, Ruzsa, and Straus proved that if $$ f(n) = \sum_{p \leq n} 1_{p\nmid {2n \choose n}}\frac{1}{p} $$ then there is some constant $c < 1$ such that for all large …
|
Solved | ErdosProblems__377__erdos_377.variants.ub |
| - |
erdos_379
Let $S(n)$ denote the largest integer such that, for all $1 ≤ k < n$, the binomial coefficient $\binom{n}{k}$ is divisible by $p^S(n)$ for some prime $p$ (depending on $k$).Then $\limsup S(n) …
|
Solved | ErdosProblems__379__erdos_379 |
| - |
erdos_38
Does there exist $B \subset \mathbb{N}$ which is not an additive basis, but is such that for every set $A \subseteq \mathbb{N}$ of Schnirelmann density $\alpha$ and every $N$ there exists $b …
|
Open | ErdosProblems__38__erdos_38 |
| - |
erdos_383
Is it true that for every $k$ there are infinitely many primes $p$ such that the largest prime divisor of $$ \prod_{i = 0}^k (p ^ 2 + i) $$ is $p$?
|
Open | ErdosProblems__383__erdos_383 |
| - |
erdos_385.parts.i
Let $F(n) := \max\{m + p(m) \mid \textrm{$m < n$ composite}\}\}$ where $p(m)$ is the least prime divisor of $m$. Is it true that $F(n)>n$ for all sufficiently large $n$?
|
Open | ErdosProblems__385__erdos_385.parts.i |
| - |
erdos_385.parts.ii
Let $F(n) := \max\{m + p(m) \mid \textrm{$m < n$ composite}\}\}$ where $p(m)$ is the least prime divisor of $m$. Does $F(n) - n \to \infty$ as $n\to\infty$?
|
Open | ErdosProblems__385__erdos_385.parts.ii |
| - |
erdos_385.variants.lb
A question of Erdős, Eggleton, and Selfridge, who write that in fact it is possible that this quantity is always at least $n+(1-o(1))\sqrt{n}$
|
Open | ErdosProblems__385__erdos_385.variants.lb |
| - |
erdos_386
There is a $k$, such that $2 \le k \le n - 2$ and $\binom{n}{k}$ can be the product of consecutive primes infinitely often?
|
Open | ErdosProblems__386__erdos_386 |
| - |
erdos_386.variants_forall
For all $2 \le k \le n - 2$, can $\binom{n}{k}$ be the product of consecutive primes infinitely often?
|
Open | ErdosProblems__386__erdos_386.variants_forall |
| - |
erdos_386.variants_two
Can $\binom{n}{2}$ be the product of consecutive primes infinitely often?
|
Open | ErdosProblems__386__erdos_386.variants_two |
| - |
erdos_387
Is there an absolute constant `c > 0` such that, for all `1 ≤ k < n`, the binomial coefficient `n.choose k` has a divisor in `(cn, n]`?
|
Open | ErdosProblems__387__erdos_387 |
| - |
erdos_387.easy
It is easy to see that `n.choose k` has a divisor in `[n / k, n]`.
|
Solved | ErdosProblems__387__erdos_387.easy |
| - |
erdos_387.schinzel
The following is Schinzel's conjecture, which appears in [Gu04].
|
Open | ErdosProblems__387__erdos_387.schinzel_2 |
| - | erdos_387.schinzel | Solved | ErdosProblems__387__erdos_387.schinzel |
| - |
erdos_387.variant
Is it true for any `c < 1` and all `n` sufficiently large, for all `1 ≤ k < n`, `n.choose k` has a divisor in `(cn, n]`? This is a variant …
|
Open | ErdosProblems__387__erdos_387.variant |
| - |
erdos_389
Is it true that for every $n \geq 1$ there is a $k$ such that $$ n(n + 1) \cdots (n + k - 1) \mid (n + k) \cdots (n + …
|
Open | ErdosProblems__389__erdos_389 |
| - |
erdos_39
Is there an infinite Sidon set $A\subset \mathbb{N}$ such that $\lvert A\cap \{1\ldots,N\}\rvert \gg_\epsilon N^{1/2-\epsilon}$ for all $\varepsilon > 0$?
|
Open | ErdosProblems__39__erdos_39 |