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 |
|---|---|---|---|
| - |
transcendental_catalanConstant_or_gompertzConstant
At least one of Catalan constant and the Gompertz constant is transcendental.
|
Solved | Wikipedia__Transcendental__transcendental_catalanConstant_or_gompertzConstant |
| - |
transcendental_gamma_one_div
$\Gamma(1/n)$ for `n ≥ 2` is transcendental.
|
Open | Wikipedia__Transcendental__transcendental_gamma_one_div |
| - |
transcendental_gamma_one_div_four
$\Gamma(1/4)$ is transcendental. [Ch84] Chudnovsky, G. (1984). Contributions to the theory of transcendental numbers.
|
Solved | Wikipedia__Transcendental__transcendental_gamma_one_div_four |
| - |
transcendental_gamma_one_div_six
$\Gamma(1/6)$ is transcendental. [Ch84] Chudnovsky, G. (1984). Contributions to the theory of transcendental numbers.
|
Solved | Wikipedia__Transcendental__transcendental_gamma_one_div_six |
| - |
transcendental_gamma_one_div_three
$\Gamma(1/3)$ is transcendental. [Ch84] Chudnovsky, G. (1984). Contributions to the theory of transcendental numbers.
|
Solved | Wikipedia__Transcendental__transcendental_gamma_one_div_three |
| - |
transcendental_gamma_one_div_two
$\Gamma(1/2)$ is transcendental. [Ch84] Chudnovsky, G. (1984). Contributions to the theory of transcendental numbers.
|
Solved | Wikipedia__Transcendental__transcendental_gamma_one_div_two |
| - |
transcendental_gompertzConstant
The Gompertz constant $\delta$ is transcendental.
|
Open | Wikipedia__Transcendental__transcendental_gompertzConstant |
| - | Tunnell_even | Solved | Wikipedia__CongruentNumber__Tunnell_even |
| - | Tunnell_even_converse | Open | Wikipedia__CongruentNumber__Tunnell_even_converse |
| - | Tunnell_odd | Solved | Wikipedia__CongruentNumber__Tunnell_odd |
| - | Tunnell_odd_converse | Open | Wikipedia__CongruentNumber__Tunnell_odd_converse |
| - | twentyeight_le_rank_elkies28 | Solved | Wikipedia__EllipticCurveRank__twentyeight_le_rank_elkies28 |
| - | twentynine_le_rank_elkiesKlagsbrun29 | Solved | Wikipedia__EllipticCurveRank__twentynine_le_rank_elkiesKlagsbrun29 |
| - |
twentyone_le_rank_height_count_asymptotic
[PPVW2016] 8.2(c): the number of elliptic curves over ℚ with rank ≥ 21 and naïve height at most `H` is asymptotically at most `H ^ o(1)`.
|
Open | Wikipedia__EllipticCurveRank__twentyone_le_rank_height_count_asymptotic |
| - |
twin_primes
Are there infinitely many primes p such that p + 2 is prime?
|
Open | Wikipedia__TwinPrimes__twin_primes |
| - |
two_pow_three_pow_transcendental
The four exponential conjecture would imply that for any irrational number $t$, at least one of the numbers $2^t$ and $3^t$ is transcendental.
|
Open | Wikipedia__Exponentials__two_pow_three_pow_transcendental |
| - |
unbounded_rank_conjecture
From [PPVW2016], Section 3.1: "from the mid-1960s to the present, it seems that most experts conjectured unboundedness."
|
Open | Wikipedia__EllipticCurveRank__unbounded_rank_conjecture |
| - |
union_closed
For every finite union-closed family of sets, other than the family containing only the empty set, there exists an element that belongs to at least half of the sets in the family.
|
Open | Wikipedia__UnionClosed__union_closed |
| - |
union_closed.variants.cardinality_even_of_union_closed_tight
If the UC conjecture is tight for some family `A` then $|A| = 2^k$ for some $k$. Reference: Conjecture 3 in https://www.nieuwarchief.nl/serie5/pdf/naw5-2023-24-4-225.pdf.
|
Open | Wikipedia__UnionClosed__union_closed.variants.cardinality_even_of_union_closed_tight |
| - |
union_closed.variants.family_card
Roberts and Simpson [Ro10] showed that the union-closed sets conjecture holds for set families of size at most 46. Their method, however, combined with the result of [Vu17], further shows that it …
|
Solved | Wikipedia__UnionClosed__union_closed.variants.family_card |
| - |
union_closed.variants.sharpness
The union-closed sets conjecture is sharp in the sense that if we replace the constant `1/2` with any larger constant, then the conjecture fails.
|
Solved | Wikipedia__UnionClosed__union_closed.variants.sharpness |
| - |
union_closed.variants.singleton_mem
We can show the union-closed sets conjecture is true for the case where the set family contains some singleton.
|
Solved | Wikipedia__UnionClosed__union_closed.variants.singleton_mem |
| - |
union_closed.variants.univ_card
Vuckovic and Zivkovic [Vu17] showed that the union-closed sets conjecture holds for set families whose universal set has cardinality at most 12. [Vu17] Vuckovic, Bojan; Zivkovic, Miodrag (2017). "The 12-Element Case of …
|
Solved | Wikipedia__UnionClosed__union_closed.variants.univ_card |
| - |
union_closed.variants.univ_card_two
We can show the union-closed sets conjecture is true for the case where the universal set has cardinality 2, by brute force.
|
Solved | Wikipedia__UnionClosed__union_closed.variants.univ_card_two |
| - |
union_closed.variants.yu
Yu [Yu23] showed that the union-closed sets conjecture holds with a constant of approximately 0.38234 instead of 1/2. [Yu23] Yu, Lei (2023). "Dimension-free bounds for the union-closed sets conjecture". Entropy. 25 (5): …
|
Solved | Wikipedia__UnionClosed__union_closed.variants.yu |
| - |
unique_primitive_108
$108$ is the only primitive term.
|
Open | OEIS__63880__unique_primitive_108 |
| - |
UnitConjecture.counterexamples.i
If $P$ is the Promislow group, then the group ring $\mathbb{F}_p[P]$ has a non-trivial unit.
|
Solved | Wikipedia__Kaplansky__UnitConjecture.counterexamples.i |
| - |
UnitConjecture.counterexamples.ii
If $P$ is the Promislow group, then the group ring $\mathbb{C}[P]$ has a non-trivial unit.
|
Solved | Wikipedia__Kaplansky__UnitConjecture.counterexamples.ii |
| - |
upper_bound
Is it true that $$N(b) \ll \log \log b$$?
|
Open | ErdosProblems__304__upper_bound |
| - |
upper_HL
Asymptotic upper bound (1.2) in [Aa19]. Named after Hardy and Littlewood [HaL28].
|
Open | GreensOpenProblems__24__upper_HL |
| - |
upper_trivial
From [Aa19] p.577: the trivial upper bound is $n^2$ (non asymptotic)
|
Solved | GreensOpenProblems__24__upper_trivial |
| - |
value_of_even_mul_succ_self_div_two
Let \(T_N = \sum_{k=1}^{N} k = \frac{N(N+1)}{2}\). If \(T_N\) is even (equivalently \(N \equiv 0 \pmod 4\) or \(N \equiv 3 \pmod 4\)), then under optimal play the game `Catch-Up(\(\{1, \ldots, N\}\))` …
|
Open | Paper__CatchUpConjecture__value_of_even_mul_succ_self_div_two |
| - |
vanDerWaerden
The conjecture of van der Waerden, which states that the permanent of a doubly stochastic matrix is at least $n^{-n} n!$. Proved by Gyires [Gy80], Egorychev [Eg81], and Falikman [Fa81]. [Gy80] Gyires, …
|
Solved | ErdosProblems__499__vanDerWaerden |
| - |
vaught_conjecture
The Vaught conjecture states that for a countable language L and a complete L-Theory T the number of countable models of T (up to isomorphism) is finite, $\aleph_0$ or $2^{\aleph_0}$.
|
Open | Wikipedia__VaughtConjecture__vaught_conjecture |
| - |
volume_frontier_mandelbrotSet_eq_zero
The boundary of the Mandelbrot set is conjectured to have zero area.
|
Open | Wikipedia__Mandelbrot__volume_frontier_mandelbrotSet_eq_zero |
| - |
volume_frontier_multibrotSet_eq_zero
The boundary of any Multibrot set is conjectured to have zero area. Note that we don't need to exclude the trivial cases `n = 0` and `n = 1` because the conjecture …
|
Open | Wikipedia__Mandelbrot__volume_frontier_multibrotSet_eq_zero |
| - |
weak_hall_conjecture
Weak form of Hall's conjecture: relax the exponent from $1/2$ to $1/2 - \varepsilon$.
|
Open | Wikipedia__Hall__weak_hall_conjecture |
| - |
wolstenholme_prime_infinite
It is conjectured that there are infinitely many Wolstenholme primes. *Reference:* [Wikipedia](https://en.wikipedia.org/wiki/Wolstenholme_prime#Expected_number_of_Wolstenholme_primes)
|
Open | Wikipedia__WolstenholmePrime__wolstenholme_prime_infinite |
| - |
zariski_cancellation_problem
The **Zariski Cancellation Problem**: every polynomial ring over a field `k` of characteristic `0` is cancellative.
|
Open | Arxiv__ZariskiCancellation__zariski_cancellation_problem |
| - |
zariski_cancellation_problem.variants.dim_one
The single variable polynomial ring `k[X]` is cancellative in any characteristic
|
Solved | Arxiv__ZariskiCancellation__zariski_cancellation_problem.variants.dim_one |
| - |
zariski_cancellation_problem.variants.dim_two
The two variable polynomial ring `k[X]` is cancellative in any characteristic
|
Solved | Arxiv__ZariskiCancellation__zariski_cancellation_problem.variants.dim_two |
| - |
zariski_cancellation_problem.variants.false_pos_card
The positive characteristic case of the Zariski Cancellation Problem is false in dimension `3`
|
Solved | Arxiv__ZariskiCancellation__zariski_cancellation_problem.variants.false_pos_card |
| - |
zero_divisor_conjecture
**The zero-divisor conjecture** If `G` is torsion-free, then the group algebra `K[G]` has no non-trivial zero divisors.
|
Open | Wikipedia__Kaplansky__zero_divisor_conjecture |
| - |
zhao_question
From [Yufei Zhao]: Is there a subset of $\{1, \ldots, N\}$ of size $N^{1/3 - o(1)}$ with no nontrivial solutions to $x + 2y + 3z = x' + 2y' + 3z'$?
|
Open | GreensOpenProblems__16__zhao_question |
Page 30 of 30