Category
Problem Set
Status
Elliott-Halberstam Conjecture
Do primes distribute uniformly in arithmetic progressions up to nearly $x$ (instead of $x^{1/2}$)?...
Birch–Tate Conjecture
Is there a relation between the order of the center of the Steinberg group and the Dedekind zeta function?...
Crouzeix's Conjecture
Is $\|f(A)\| \leq 2\sup_{z \in W(A)} |f(z)|$ for all matrices $A$ and functions $f$ analytic on the numerical range?...
Perfect Cuboid
Does there exist a rectangular cuboid with integer edges, face diagonals, and space diagonal?...
Zauner's Conjecture (SIC-POVM)
Do symmetric informationally complete POVMs exist in all dimensions?...
Andrews–Curtis Conjecture
Can every balanced presentation of the trivial group be transformed to a trivial presentation by Nielsen moves?...
Herzog–Schönheim Conjecture
Can a finite system of left cosets forming a partition of a group have distinct indices?...
Lehmer's Conjecture (Mahler Measure)
Is there a minimum positive Mahler measure for non-cyclotomic polynomials?...
Pompeiu Problem
For which domains do non-zero functions exist with zero integrals over all congruent copies?...
Navier-Stokes Regularity
Do smooth initial data for 3D Navier-Stokes equations yield smooth solutions for all time?...
1/3–2/3 Conjecture
Does every non-totally-ordered finite poset have two elements with probability between 1/3 and 2/3 in random linear extensions?...
Lonely Runner Conjecture
If $k$ runners with distinct speeds run on a circular track, will each be lonely (distance $\geq 1/k$ from others) at some time?...
Union-Closed Sets Conjecture
For a finite family of sets closed under unions, must some element appear in at least half the sets?...
No-Three-in-Line Problem
What is the maximum number of points in an $n \times n$ grid with no three collinear?...
Sunflower Conjecture
For fixed $r$, can the number of size-$k$ sets needed for an $r$-sunflower be bounded by $c^k$ for some constant $c$?...
Cycle Double Cover Conjecture
Does every bridgeless graph have a collection of cycles covering each edge exactly twice?...
Erdős–Hajnal Conjecture
For any fixed graph $H$, do $H$-free graphs contain large cliques or independent sets?...
Lovász Conjecture
Does every finite connected vertex-transitive graph have a Hamiltonian path?...
Hadwiger–Nelson Problem
What is the chromatic number of the plane with unit distance graph coloring?...
Unknotting Problem
Can unknots be recognized in polynomial time?...
Borel Conjecture
Are aspherical closed manifolds determined up to homeomorphism by their fundamental groups?...
Volume Conjecture
Do quantum invariants of knots relate asymptotically to hyperbolic volume?...
Novikov Conjecture
Are certain combinations of Pontryagin classes homotopy invariant?...
Kakeya Conjecture
Must a Kakeya set in $\mathbb{R}^n$ have Hausdorff and Minkowski dimension $n$?...
Illumination Problem
Can every convex body in $\mathbb{R}^n$ be illuminated by $2^n$ light sources?...
MLC Conjecture
Is the Mandelbrot set locally connected?...
Weinstein Conjecture
Does every regular compact contact-type level set carry a periodic orbit?...
Birkhoff Conjecture
If a billiard table is strictly convex and integrable, must its boundary be an ellipse?...
Abundance Conjecture
If the canonical bundle of a variety is nef, must it be semiample?...
Vaught Conjecture
Is the number of countable models of a complete first-order theory finite, $\aleph_0$, or $2^{\aleph_0}$?...
Cherlin-Zilber Conjecture
Is every simple group with $\aleph_0$-stable theory an algebraic group over an algebraically closed field?...
Yang-Mills Existence and Mass Gap
Does Yang-Mills theory exist mathematically and exhibit a mass gap in 4D?...
Partition Principle Implies Axiom of Choice
Does the partition principle (PP) imply the axiom of choice (AC)?...
Woodin's GCH below Strongly Compact Cardinals
Does the generalized continuum hypothesis below a strongly compact cardinal imply it everywhere?...
GCH and Diamond Principle
Does the generalized continuum hypothesis entail the diamond principle $\diamondsuit(E_{\text{cf}(\lambda)}^{\lambda^+})$ for every singular cardinal ...
GCH and Suslin Trees
Does the generalized continuum hypothesis imply the existence of an $\aleph_2$-Suslin tree?...
Ultimate Core Model
Does there exist an ultimate core model containing all large cardinals?...
Woodin's Ω-Conjecture
If there is a proper class of Woodin cardinals, does Ω-logic satisfy an analogue of Gödel's completeness theorem?...
Strongly Compact vs Supercompact Cardinals
Does the consistency of a strongly compact cardinal imply the consistent existence of a supercompact cardinal?...
Jónsson Algebra on ℵ_ω
Does there exist a Jónsson algebra on $\aleph_\omega$?...
Open Coloring Axiom and Continuum Hypothesis
Is the open coloring axiom (OCA) consistent with $2^{\aleph_0} > \aleph_2$?...
Reinhardt Cardinals without Choice
Without assuming the axiom of choice, can a nontrivial elementary embedding V→V exist?...
Sudoku: Unique Solution Puzzles
How many Sudoku puzzles have exactly one solution?...
Sudoku: Minimal Puzzles Count
How many Sudoku puzzles with exactly one solution are minimal (removing any clue creates multiple solutions)?...
Maximum Givens in Minimal Sudoku
What is the maximum number of givens for a minimal Sudoku puzzle?...
Tic-Tac-Toe Winning Dimension
Given the width of a tic-tac-toe board, what is the smallest dimension guaranteeing X has a winning strategy?...
Perfect Chess
What is the outcome of a perfectly played game of chess?...
Perfect Komi in Go
What is the perfect value of komi (compensation points) in Go?...
Cap Set Problem
What is the largest possible cap set in $n$-dimensional affine space over the three-element field?...
Octal Games Periodicity
Are the nim-sequences of all finite octal games eventually periodic?...