Browse Problems

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

Filters

Showing 44 of 1,494

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