Atlas / Open problems
Where the map runs out
Every field page ends in fog: the problems nobody has solved. Here they are together, by domain and thread. Statuses are recorded as of 2026 and say so, because the edge of the map moves.
- Open
- 104
- Conjectured, unproven
- 9
- Recently resolved
- 8
Mathematics
Geometry
- The Hodge conjecture
Open as of 2026. A Clay Millennium Prize Problem.
OpenAlgebraic Geometry
- The Birch and Swinnerton-Dyer conjecture
Open as of 2026. Known when the analytic rank is 0 or 1. A Clay Millennium Prize Problem.
OpenAlgebraic Geometry
- Resolution of singularities in positive characteristic
Proved over fields of characteristic zero (Hironaka, 1964) and in dimension up to three in positive characteristic. Open beyond.
OpenAlgebraic Geometry
- The homotopy groups of spheres
Open. Stable groups are computed through about dimension 90 as of 2026, with no general formula.
OpenAlgebraic Topology
- The Kervaire invariant one problem
Hill, Hopkins and Ravenel ruled out every dimension above 126 (announced 2009, published 2016). In 2024 Lin, Wang and Xu showed that dimension 126 does have such manifolds (preprint). So they exist in exactly the dimensions 2, 6, 14, 30, 62 and 126.
Recently resolvedAlgebraic Topology
- The Willmore conjecture
Proved by Fernando Codá Marques and André Neves in 2012, published 2014.
Recently resolvedDifferential Geometry of Surfaces
- Local isometric embedding of surfaces
Open in general when the curvature changes sign in a degenerate way.
OpenDifferential Geometry of Surfaces
- The Kepler conjecture
Proof announced 1998 and published 2005. A machine-checked formal proof was completed in 2014 and published in 2017.
Recently resolvedEuclidean Geometry
- The square peg problem
Open for general continuous closed curves as of 2026.
OpenEuclidean Geometry
- Yau's first eigenvalue conjecture
Open in general. Proved for some classes of minimal hypersurfaces with extra symmetry.
OpenGeometric Analysis
- The Penrose inequality
Proved in the time-symmetric (Riemannian) case in 1997–2001. The general case is open.
Conjectured, unprovenGeometric Analysis
- The Poincaré conjecture
Proved by Perelman in 2002–2003, verified by 2006, Clay prize awarded (and declined) in 2010.
Recently resolvedGeometric Topology
- The smooth four-dimensional Poincaré conjecture
Open as of 2026. Dimension four is the one case the higher-dimensional methods cannot reach.
OpenGeometric Topology
- The volume conjecture
Proved for the figure-eight knot and a few other families. Open in general.
Conjectured, unprovenGeometric Topology
- Finite projective planes of non-prime-power order
Open as of 2026. Order 12 is the smallest unsettled case.
OpenProjective Geometry
- The Hopf conjecture on
Open as of 2026.
OpenRiemannian Geometry
Number Theory
- The Langlands program
Proved in many special cases; the general conjectures remain open as of 2026.
Conjectured, unprovenAlgebraic Number Theory
- Infinitely many real quadratic fields with unique factorisation?
Conjectured by Gauss; open as of 2026.
Conjectured, unprovenAlgebraic Number Theory
- The Riemann hypothesis
Open since 1859; a Clay Millennium Prize Problem and one of Hilbert's 1900 problems.
OpenAnalytic Number Theory
- The twin prime conjecture
Open as of 2026. Bounded gaps proved in 2013; the best unconditional gap is 246.
OpenAnalytic Number Theory
- The abc conjecture
A claimed proof (Mochizuki, 2012; published 2021) is not accepted by most number theorists as of 2026.
Conjectured, unprovenArithmetic Geometry
- The Goldbach conjecture
Open as of 2026. Verified by computer up to 4 × 10¹⁸; the "weak" version for odd numbers was proved by Harald Helfgott (2013 preprint).
OpenElementary Number Theory
- Is there an odd perfect number?
Open as of 2026; any odd perfect number would have to exceed 10¹⁵⁰⁰.
OpenElementary Number Theory
- Do one-way functions exist?
Unproven as of 2026; would imply P ≠ NP.
Conjectured, unprovenPublic-Key Cryptography
- Are lattice problems truly quantum-hard?
Open as of 2026; the new standards assume so.
OpenPublic-Key Cryptography
Analysis
- The Bieberbach conjecture
Proved by Louis de Branges in 1984 (published 1985), after 68 years.
Recently resolvedComplex Analysis
- The Kakeya conjecture
Proved in three dimensions (Hong Wang and Joshua Zahl, 2025 preprint); open in four or more dimensions as of 2026.
OpenFourier Analysis
- Is 3D percolation continuous at its critical point?
Proved in two dimensions and in high dimensions; open in three dimensions as of 2026.
OpenProbability Theory
Foundations
- What is BB(6)?
Open as of 2026; known to be astronomically large.
OpenComputability Theory
- P versus NP
Open as of 2026; a Clay Millennium Prize Problem. Most researchers believe P ≠ NP.
OpenComputational Complexity
- Is the theory of the real numbers with exponentiation decidable?
Decidable if Schanuel's conjecture holds (Macintyre–Wilkie, 1996); open unconditionally as of 2026.
OpenMathematical Logic
- Is the continuum hypothesis true?
Independent of ZFC. Whether new axioms should, or can, settle it is disputed as of 2026.
OpenSet Theory
Algebra
- The Jacobian conjecture
Open as of 2026; many published proofs have been wrong.
OpenAbstract Algebra
- The inverse Galois problem
Open as of 2026; known for all solvable groups and many simple ones, including the Monster.
OpenGalois Theory
- Is the Burnside group B(2,5) finite?
Open as of 2026.
OpenGroup Theory
- The McKay conjecture
Proved by Marc Cabanes and Britta Späth, announced in 2023 and published in the Annals of Mathematics in 2026.
Recently resolvedRepresentation Theory
- Hilbert's thirteenth problem
The continuous version was solved by Kolmogorov and Arnold (1957); the algebraic version is open as of 2026.
OpenTheory of Equations
Combinatorics
- A strongly polynomial algorithm for linear programming
Open as of 2026; one of Stephen Smale's eighteen problems for the twenty-first century.
OpenCombinatorial Optimisation
- The Hadamard conjecture
Open as of 2026. In 2026 a team including Levent Alpöge, working with an AI model, announced matrices for 668 and the other missing orders below 2000, so the smallest unknown order is now above 2000.
OpenEnumerative Combinatorics
- The value of R(5,5)
Open as of 2026; known to lie between 43 and 46 (upper bound 2024).
OpenExtremal Combinatorics
- The happy ending conjecture
Open as of 2026; proved for hexagons in 2006 and nearly proved asymptotically in 2017.
OpenExtremal Combinatorics
- Hadwiger's conjecture
Open as of 2026. Proved for up to six colours, the six-colour case in 1993.
OpenGraph Theory
- Explicit Ramsey graphs
Open as of 2026; explicit constructions have improved greatly since 2016 but remain far from random ones.
OpenProbabilistic Combinatorics
Dynamics
- How much of the standard map is chaotic?
Open as of 2026, for every value of the parameter.
OpenChaos Theory
- Is the Mandelbrot set locally connected? (MLC)
Open as of 2026; proved at many parameter values, beginning with Yoccoz's work around 1990 and most recently at the Feigenbaum points (Dudko and Lyubich).
OpenComplex Dynamics
- Hilbert's sixteenth problem (second part)
Open as of 2026, even for equations of degree two.
OpenDifferential Equations
- Arnold diffusion
Open in general as of 2026; proved in some special settings.
OpenDynamical Systems
- Furstenberg's ×2 ×3 conjecture
Open as of 2026; proved in 1990 under an extra assumption of positive entropy.
OpenErgodic Theory
Statistics
- How long must a sampler run?
Open in general as of 2026; sharp answers exist only for special classes of chains.
OpenBayesian Statistics
- The capacity of the interference channel
Open as of 2026; the Gaussian case is known to within one bit (2008).
OpenInformation Theory
- Making published findings reliable
Open as of 2026; proposed remedies are being tried, and none is agreed as sufficient.
OpenStatistical Inference
- Why do overparameterised networks generalise?
Open as of 2026; partial explanations exist for simplified models.
OpenStatistical Learning Theory
- The self-avoiding walk
Open as of 2026 in two, three and four dimensions; solved above four dimensions (1992).
OpenStochastic Processes
Computation
- Why gradient descent trains deep networks
Open as of 2026; understood for some simplified models, not for networks used in practice.
OpenContinuous Optimisation
- How fast random colourings mix
Open as of 2026. Proved when the number of colours exceeds about 1.81 times the maximum degree.
OpenMonte Carlo Methods
- Smale's mean value conjecture
Open as of 2026; proved with the constant 4 in place of 1, and improved only slightly since.
OpenNumerical Analysis
- The exponent of matrix multiplication
Open as of 2026. A preprint of August 2026 lowered the best upper bound to 2.371177, from 2.371339.
OpenNumerical Linear Algebra
- Convergence for shock waves in several dimensions
Open as of 2026. Largely settled in one space dimension for data with small total variation, open in two and three.
OpenNumerical Methods for PDEs
Physics
Relativity
- Navier–Stokes existence and smoothness
Open as of 2026; a Clay Millennium Prize Problem.
OpenClassical Mechanics
- Magnetic monopoles
No confirmed detection as of 2026.
Conjectured, unprovenElectromagnetism
- Quantum gravity
No accepted theory as of 2026; candidates include string theory and loop quantum gravity.
OpenGeneral Relativity
- The black hole information paradox
Recent calculations suggest information does escape, but how is still debated as of 2026.
OpenGeneral Relativity
- Cosmic censorship
Proposed by Penrose in 1969; unproven in general.
Conjectured, unprovenGeneral Relativity
- What is dark matter?
Not identified as of 2026, despite decades of direct searches.
OpenPhysical Cosmology
- What is dark energy?
Open as of 2026. Some recent galaxy surveys hint that it may change over time, which a pure cosmological constant cannot.
OpenPhysical Cosmology
- The Hubble tension
Unresolved as of 2026. The microwave-background and Cepheid–supernova values have stayed apart as measurements improved, though some other local methods land in between.
OpenPhysical Cosmology
- Is Lorentz invariance exact?
No violation detected as of 2026, with bounds far tighter than any direct test at the Planck scale.
OpenSpecial Relativity
Entropy
- Deriving fluid equations from molecules (Hilbert's sixth problem)
Resolved for an idealised dilute gas of hard spheres by Yu Deng, Zaher Hani and Xiao Ma (2024–25), work cited in Deng's 2026 Fields Medal. Some argue that dense gases and liquids, and realistic forces between molecules, still lie outside it.
Recently resolvedKinetic Theory of Gases
- A general theory far from equilibrium
Open as of 2026; exact results exist only in special cases.
OpenNon-Equilibrium Physics
- The three-dimensional Ising model
Open as of 2026; the critical exponents are known numerically to many digits, but there is no exact solution.
OpenPhase Transitions
- What is a glass?
Open as of 2026; there is no accepted theory of the glass transition.
OpenStatistical Mechanics
- Why does time have a direction?
Open as of 2026; there is no consensus explanation.
OpenThermodynamics
Quantum
- Why is the fine-structure constant about 1/137?
Open as of 2026. Its value is measured to better than one part in a billion but not explained.
OpenOld Quantum Theory
- Why is there more matter than antimatter?
Open as of 2026.
OpenParticle Physics
- Yang–Mills existence and mass gap
Open as of 2026. One of the Clay Mathematics Institute's Millennium Prize Problems.
OpenQuantum Field Theory
- Can a large fault-tolerant quantum computer be built?
Open as of 2026. Small error-corrected logical qubits have been demonstrated.
OpenQuantum Information
- The measurement problem
Open as of 2026. Several interpretations are consistent with all experiments.
OpenQuantum Mechanics
Stars
- The solar abundance problem
Open as of 2026. Revised abundance analyses have narrowed but not closed the gap.
OpenAstronomical Spectroscopy
- What is inside a neutron star?
Open as of 2026. X-ray and gravitational-wave measurements are narrowing the range.
OpenCompact Objects
- Is there life on other planets?
Open as of 2026. No biosignature has been confirmed.
OpenExoplanetary Science
- How did supermassive black holes grow so big so early?
Open as of 2026. JWST has found even more early massive black holes than expected.
OpenGalactic Astronomy
- Where are the heaviest elements made?
Open as of 2026. Neutron-star mergers are known to contribute, but whether they are the main source is debated.
OpenStellar Astrophysics
Matter
- Predicting a crystal from its molecule
Open as of 2026; computer predictions now often succeed for small, rigid molecules, but not reliably.
OpenCrystallography
- Quantum spin liquids
Open as of 2026; several materials are strong candidates, but none is universally accepted.
OpenMagnetism
- Electrons that defy band theory
Open as of 2026; there is no general theory of strongly correlated electrons.
OpenSolid-State Physics
- How do the copper oxides superconduct?
Open as of 2026, forty years after the discovery.
OpenSuperconductivity
- Superconductivity at room temperature and pressure
No confirmed example as of 2026. The highest reproduced results need pressures above a million atmospheres, and a 2025 preprint reporting about 298 K in a lanthanum–scandium hydride at about 2.5 million atmospheres has not yet been independently reproduced.
OpenSuperconductivity
- Non-Abelian anyons and topological quantum computing
Open as of 2026. Simpler, Abelian anyons were observed in 2020, and non-Abelian anyons have been simulated on quantum processors since 2023, but interference experiments in real materials have not yet shown the non-Abelian kind beyond doubt.
OpenTopological Matter
Nuclear
- Can fusion become a practical power source?
Open as of 2026. No fusion device has yet produced more electricity than it consumes.
OpenFusion Energy
- Can fission be calculated from first principles?
Open as of 2026. Large computer calculations now follow a splitting nucleus, but still rely on fitted forces.
OpenNuclear Fission
- Where does the chart of nuclei end?
Open as of 2026. Element 118, oganesson, is the heaviest made, and no nucleus in the predicted island of stability has been reached.
OpenNuclear Structure
- How long does a free neutron live?
Open as of 2026. The averages of the two methods still disagree by about ten seconds, some five times their combined uncertainty.
OpenRadioactivity
- How old is the Moon?
Open as of 2026. Estimates range from about 4.35 to 4.51 billion years. A 2024 proposal, that tidal heating remelted the Moon's surface 4.35 billion years ago and reset many clocks, favours an old Moon.
OpenRadiometric Dating
Biology
Heredity
- The origin of life
Open as of 2026, though laboratory chemistry has made several steps plausible.
OpenEvolutionary Biology
- Why sex?
Several hypotheses are supported in particular cases; no general answer as of 2026.
OpenEvolutionary Biology
- Can acquired traits be inherited?
Well documented in plants and worms; contested in mammals, including humans, as of 2026.
Conjectured, unprovenGenetics
- Missing heritability
Narrowed by very large studies but not closed, as of 2026.
OpenGenomics
- How much of the genome does anything?
Actively disputed as of 2026; estimates of the functional fraction range from under 10% to much higher.
OpenGenomics
- The protein folding problem
Structure prediction largely solved by AlphaFold 2 (2020–21). How proteins physically fold, and how they misfold, remain open.
Recently resolvedMolecular Biology
- The origin of the genetic code
Open as of 2026.
OpenMolecular Biology
- Lewontin's paradox
Open as of 2026; candidate explanations exist, but none accounts for the full pattern.
OpenPopulation Genetics
Cell
- Can enzymes be designed as well as evolution makes them?
Open as of 2026; one fully computational design now rivals natural enzymes on a model reaction, but most are still far slower.
OpenBiochemistry
- How do cells know their own size?
Open as of 2026; several mechanisms have been found, none fully general.
OpenCell Biology
- What is the least a cell needs to live?
Open as of 2026; the smallest synthetic cell still contains genes of unknown function.
OpenCell Theory
- Why is there still no HIV vaccine?
Open as of 2026; every large efficacy trial so far has failed or shown only modest protection.
OpenImmunology
- The uncultured majority
Open as of 2026; most microbial species are known only from their DNA.
OpenMicrobiology
Brain
- How does the brain learn?
Open as of 2026; several biologically plausible learning rules have been proposed, none established.
OpenComputational Neuroscience
- How do neurons keep their electrical character?
Open as of 2026; the rules of homeostatic regulation are only partly known.
OpenElectrophysiology
- What causes Alzheimer's disease?
Open as of 2026; drugs that clear amyloid slow decline only modestly.
OpenNeuroanatomy
- Where and how is a memory stored?
Open as of 2026; memory traces can be tagged in mice, but how they last for decades is unknown.
OpenSynaptic Transmission
- How does the brain give rise to conscious experience?
Open as of 2026; the first large adversarial test of two leading theories, published in 2025, challenged both without settling the question.
OpenSystems Neuroscience
Ecology
- Why the tropics hold so many species
Open as of 2026; more than two dozen explanations have been proposed, and none is accepted as sufficient.
OpenBiogeography
- The paradox of the plankton
Open as of 2026; many mechanisms are known to help, and their relative importance is unresolved.
OpenCommunity Ecology
- How many species are there?
Open as of 2026; about two million species have been named, and estimates of the total vary more than tenfold.
OpenConservation Biology
- Predicting ecosystem tipping points
Open as of 2026; early-warning signals have worked in experiments but are not yet reliable forecasts.
OpenEcosystem Ecology
- Why voles and lemmings cycle
Open as of 2026; a century after Elton described them, no single explanation is accepted.
OpenPopulation Ecology
Development
- How do organs know when to stop growing?
Open as of 2026; several signalling pathways are known to be involved, but not how size itself is measured.
OpenDevelopmental Genetics
- Why do embryos converge in the middle?
Open as of 2026; the pattern is supported by gene-expression data, but its cause is debated.
OpenEmbryology
- How do genuinely new structures evolve?
Open as of 2026; case studies exist, a general account does not.
OpenEvolutionary Developmental Biology
- Why can some animals regrow lost parts?
Open as of 2026; the cells involved are increasingly well known, the reasons for the differences are not.
OpenExperimental Embryology
- Can stem cells rebuild a working organ?
Open as of 2026; the first iPS-derived cell therapies won conditional approval in Japan in 2026, but whole organs are not in reach.
OpenStem Cell Biology