The continuum hypothesis
Independent of the standard axioms of set theory (Gödel 1940, Cohen 1963); new axiomatic viewpoints keep the question alive.
Presented by David Hilbert at the 1900 International Congress of Mathematicians. Many are solved in one setting and open in another, so “partially solved” is common.
Independent of the standard axioms of set theory (Gödel 1940, Cohen 1963); new axiomatic viewpoints keep the question alive.
Gödel's incompleteness theorems show arithmetic cannot prove its own consistency; Gentzen (1936) gave a proof by other means. Whether this settles Hilbert's question is debated.
Max Dehn, 1900: two polyhedra of equal volume need not be scissors-congruent.
Considered too vague to have a definitive resolution, though it inspired work on exotic geometries.
Gleason, Montgomery and Zippin (1950s) showed differentiability is not needed; a more general interpretation is still open.
Fields are axiomatized one at a time, from classical mechanics to fluid dynamics (Deng, Hani and Ma, 2025).
Gelfond and Schneider, 1934: a^b is transcendental for algebraic a ≠ 0, 1 and irrational algebraic b.
The Riemann hypothesis remains one of the most important open problems in mathematics.
Major progress (including Artin reciprocity for abelian extensions), but not completely resolved.
Matiyasevich, 1970, building on Davis, Putnam and Robinson: no general algorithm exists.
Solved by Hasse over number fields; work continues in other settings.
Gave rise to class field theory, but only a few such extensions are completely understood.
Kolmogorov and Arnold (1957) answered the continuous version; the algebraic version is open again.
Nagata, 1959: a counterexample.
No consensus on whether Duan and Zhao (2020) fully resolve it.
Open even for real plane curves of degree 8.
Emil Artin, 1927.
Bieberbach (1910), Reinhardt (1928), and Hales (1998) for the Kepler conjecture, formally verified two decades later.
Grouped with problems 20 and 23 by the Simons Foundation: deep progress, no single endpoint.
Existence of solutions for classes of variational problems; continuing development.
Bolibrukh (1990) found a counterexample to Plemelj's 1908 'solution': such systems need not exist.
Poincaré and Koebe (1907) resolved one setting; work continues.
Open-ended by design; the field keeps developing.