Problems
Everything in the archive: the problem as it was posed, what has been attempted against it, and who checked each attempt. The mark down the left of the list says who has looked — a person, a machine, or nobody yet. Human reviews and machine checks are counted separately and are never added together.
118 problems
VibeMathed records no statement for this problem. See erdosproblems.com for the original.
Let A=1≤ a_1< a_2<… be a set of integers such that Abackslash B is complete for any finite subset B and not complete for any infinite subset B. If a_n+1/a_n ≥ 1+ε for all n, must lim_n a_n+1/a_n=(1+√5)/2? Under the reading where the ratio…
VibeMathed records no statement for this problem. See erdosproblems.com for the original.
VibeMathed records no statement for this problem. See erdosproblems.com for the original.
Let A(n) be the least positive integer not dividing binom2nn. Erdos asked for the behaviour of A(n) for reasonable n. Under an explicit dyadic-regularity formalization of reasonable, the distribution is determined on dyadic intervals…
VibeMathed records no statement for this problem. See erdosproblems.com for the original.
VibeMathed records no statement for this problem. See erdosproblems.com for the original.
VibeMathed records no statement for this problem. See erdosproblems.com for the original.
VibeMathed records no statement for this problem. See erdosproblems.com for the original.
How large must y(ε, n) be so that every interval (x, x+y) contains at most ε y integers having a divisor in (n, 2n)? The candidate proof gives the sharp fixed-ε order y = Θ_ε(n), uniformly in the translate.
Zhi-Wei Sun conjectured a closed evaluation of a truncated Legendre-symbol determinant. For every prime p ≡ 3 pmod 4 it equals ⌊ (p-2)/3 ⌋^2 x, proved by reducing to inverse data for Chapman's full Legendre-symbol matrix and evaluating…
For an irreducible crystallographic root system of rank r with Coxeter number h, the paper proves that Au's normalized Witten zeta function has a simple pole at 2/h and evaluates its residue in closed form in terms of the Cartan…
For n ≥ 4, the natural scalar Poisson-summation certificates cannot prove the Regev-Stephens-Davidowitz Gaussian mass conjecture: any such certificate saturates, so the whole approach is blocked.
VibeMathed records no statement for this problem. See erdosproblems.com for the original.
In the circle of Kummer's regular primes and Vandiver's conjecture, the paper proves that almost all primes are partially regular, yielding a partial Vandiver theorem for a density-one set of primes, with consequences for Kubota-Leopoldt…
Does there exist a good pairwise-coprime sequence u_n with ∑ 1/u_n < ∞ and polynomial growth? What if one only requires u_n ≤ e^o(n)?
VibeMathed records no statement for this problem. See erdosproblems.com for the original.
VibeMathed records no statement for this problem. See erdosproblems.com for the original.
For an odd prime p, do Sun's normalized trigonometric permanents satisfy s_p < 0 ⇔ p ≡ 5 pmod12 and s'_p < 0 ⇔ p ≡ 7 pmod 8? Exact computation at p = 29 refutes both sign laws.
Huang, Jiang and Oblomkov conjectured that the Eulerian q-series counting commuting pairs of nilpotent matrices with X^a = Y^b equals an explicit theta-and-eta product, making the point count essentially modular. The conjecture is layered…