Routed through Omni HQ · No-Fibs Verified · Web-Sourced
mathematical_research
0 internal labs matched — routed to web-only
Deceit risk: 0.1 (low)
Intent: SEEKING FACTUAL SUMMARY — grounded in established history
Web search only
Filter 2: consistency 1.0 · resource 1.0 · path 1.0
Reformulated Question (post anti-fib):
"Provide an overview of the status of David Hilbert's 23 problems from 1900, identifying which have been widely accepted as solved, which are considered partially resolved or controversial, and which remain open."
Paris, 1900 · International Congress of Mathematicians
At the dawn of the 20th century, German mathematician David Hilbert presented 23 problems that would define the direction of mathematical research for over 100 years. They remain one of the most influential problem sets in the history of mathematics — a research agenda, not a single solvable task.
15
Solved
6
Partial / Active
1
Open
Resolved as independent of ZFC — Gödel (1940) proved it can't be disproven, Cohen (1963) proved it can't be proven from standard axioms.
Gödel's incompleteness theorems (1931) showed arithmetic cannot prove its own consistency — resolved (negatively).
Solved by Max Dehn (1900) — proved two polyhedra of equal volume need not be scissors-congruent.
Partially resolved — various geometries studied, but no single complete answer as Hilbert framed it.
Resolved by Gleason and Montgomery-Zippin (1952) — Hilbert's fifth problem as stated is solved.
Partially addressed — physics moved beyond Hilbert's specific axiomatization program, though his work influenced mathematical physics.
Gelfond-Schneider theorem (1934) — proved α^β is transcendental for algebraic α≠0,1 and irrational algebraic β.
STILL OPEN — one of the greatest unsolved problems in all of mathematics. The zeros of the Riemann zeta function.
Artin reciprocity law (1927) generalized quadratic reciprocity to abelian extensions — solved.
Matiyasevich's theorem (1970) proved no general algorithm exists — undecidable. Resolved (negatively).
Resolved through work of Hasse, Siegel, and others on quadratic forms over number fields.
Open in general — class field theory covers abelian extensions; non-abelian Langlands program is ongoing.
Kolmogorov-Arnold representation theorem (1957) showed continuous functions of several variables are superpositions — resolved (negatively).
Nagata's counterexample (1959) — resolved (negatively).
Partially resolved — rigorous foundations developed, but enumerative geometry remains active.
Open — Hilbert's 16th problem on the number and arrangement of limit cycles remains largely unsolved.
Artin's solution (1927) — every positive definite rational function is a sum of squares of rational functions.
Kepler conjecture proved by Hales (1998, formally verified 2014). Crystallographic groups resolved by Bieberbach.
Resolved by De Giorgi, Nash, and others — solutions to elliptic PDEs are analytic.
Resolved through development of elliptic PDE theory by Hilbert himself, Courant, and others.
Partially resolved — Röhrl's theorem (1957) addressed existence, but the inverse problem remains active.
Resolved by Poincaré and Koebe (1907) — every simply connected Riemann surface is uniformized.
Hilbert's 8th problem encompasses the Riemann Hypothesis — the conjecture that all non-trivial zeros of the Riemann zeta function lie on the critical line Re(s) = ½. It is one of the seven Millennium Prize Problems (Clay Mathematics Institute, $1,000,000 prize) and remains arguably the most important unsolved problem in pure mathematics. Hilbert himself reportedly said: "If I were to awaken after having slept a thousand years, my first question would be: Has the Riemann Hypothesis been proved?"
No Fibs — Honest Limitations
This summary was routed through Omni HQ's anti-fib pipeline (two parallel linguistic filters), which classified the original "solve Hilbert's problems" request as high fabrication risk (0.9) and reformulated it to a factual status report. The solved/partial/open categorizations reflect general mathematical consensus as of 2026, but some problems (especially 4, 6, 15, 16, 21) involve scholarly debate about what constitutes "resolution." The Omni pipeline found no relevant data in internal labs — all findings are web-sourced from established mathematical literature. Treat categories as directional consensus, not definitive proof status. No fibs.