Core Insight: The sum-product phenomenon reveals that additive and multiplicative structure are incompatible—finite sets exhibiting regularity under one operation must expand significantly under the other, suggesting fundamental constraints on how mathematical objects can simultaneously behave under different algebraic operations.

Unresolved Questions:

• Can the sum-product bound be improved to the conjectured quadratic growth, or do current techniques face fundamental barriers?
• Does the sum-product phenomenon extend systematically to non-commutative structures like matrices or free groups with analogous growth bounds?
• Can polynomial methods or algebraic geometry provide the breakthrough needed to fully resolve the sum-product conjecture over the reals?

Core Insight: Ramsey theory reveals that size itself constrains combinatorial possibilities—sufficiently large structures inevitably contain ordered subsets, suggesting mathematical truths about pattern emergence that exist independently of explicit construction methods or physical instantiation.

Unresolved Questions:

• Can we determine exact Ramsey numbers like R(5,5), or will they remain computationally intractable despite guaranteed existence?
• Does the gap between existence proofs and constructive algorithms in Ramsey theory reflect fundamental computational limitations or merely current technical barriers?
• Do enormous numbers arising in Ramsey theory have ontological status beyond formal consistency, or are they artifacts of mathematical language?

Core Insight: String theory reveals that extra-dimensional geometry, specifically Calabi-Yau manifolds and their algebraic structure, determines observable four-dimensional physics through compactification, suggesting deep unity between abstract algebraic geometry and fundamental physical laws.

Unresolved Questions:

• Does the vast string landscape undermine predictivity, or can swampland constraints and anthropic reasoning select our vacuum?
• Are string dualities fundamental equivalences revealing underlying M-theory, or effective descriptions valid only in certain regimes?
• Can algebraic geometry's role in string theory be tested empirically, or must we accept mathematical consistency as our primary guide?

Core Insight: Reaction-diffusion mechanisms reveal how local chemical interactions governed by differential equations can spontaneously generate spatial patterns, explaining diverse biological phenomena from zebra stripes to tumor invasion through universal mathematical principles instantiated in specific molecular systems.

Unresolved Questions:

• Can reaction-diffusion mechanisms be rigorously validated across diverse developmental contexts with identified molecular morphogen pairs?
• How can mathematical models integrate across scales from molecular to organismal while maintaining predictive power and interpretability?
• Does mathematical biology reveal fundamental laws governing life or provide effective descriptions of complex systems shaped by historical contingency?

Core Insight: Fractal geometry extends classical dimension to quantify how irregular sets fill space, revealing that many natural structures exhibit statistical self-similarity across scales, though physical fractals are bounded approximations rather than exact mathematical idealizations.

Unresolved Questions:

• What is the exact Hausdorff dimension of the Mandelbrot set boundary, and can it be expressed in closed form?
• Can fractal calculus be fully developed to support differential equations on irregular sets with applications to transport and diffusion?
• How can the inverse problem of finding optimal IFS representations for arbitrary sets be efficiently solved computationally?

Core Insight: Ergodic theory reveals how deterministic microscopic dynamics, when chaotic and mixing, can rigorously justify the statistical ensembles of thermodynamics, though gaps between mathematical idealizations and physical reality require ongoing investigation.

Unresolved Questions:

• Can ergodicity be rigorously proven for realistic many-particle systems like hard-sphere gases in the thermodynamic limit?
• Does the second law of thermodynamics depend fundamentally on special cosmological initial conditions or follow from dynamics alone?
• How do systems with mixed phase space, containing both regular and chaotic regions, achieve statistical equilibrium?

Core Insight: Minimal surface theory reveals that geometric optimization principles govern diverse physical phenomena from soap films to black hole horizons, with mathematical solutions depending fundamentally on the ambient geometry's curvature and metric structure.

Unresolved Questions:

• What is the optimal configuration for enclosing three or more regions in dimensions higher than three?
• Does the mathematical optimality of minimal surfaces reflect fundamental physical law or merely effective description valid in certain regimes?
• Can regularity theory be fully developed for minimal surfaces in arbitrary codimension, eliminating all exceptional singular sets?

Core Insight: Entanglement reveals that quantum information obeys fundamentally different rules than classical information, enabling stronger correlations, forbidding cloning, and possibly providing the structure from which spacetime itself emerges through quantum information-theoretic principles.

Unresolved Questions:

• Can we develop a complete mathematical framework for classifying and quantifying entanglement patterns in many-body quantum systems?
• Does the ER equals EPR conjecture hold, implying wormholes and entanglement are equivalent manifestations of quantum geometry?
• Will fault-tolerant quantum computers achieve practical advantage for optimization and machine learning, or only for specialized problems like simulation and cryptography?

Core Insight: P versus NP asks whether creation and verification are fundamentally equivalent computational tasks. The prevailing belief that they're not reflects deep intuitions about asymmetry between recognizing and producing solutions, though proving this separation faces formidable technical barriers.

Unresolved Questions:

• Can any proof technique overcome the barriers of relativization, natural proofs, and algebrization to prove P doesn't equal NP?
• Could P versus NP be independent of standard axioms, or must questions about finite computation always have definite answers?
• If quantum computers can efficiently solve problems classical computers cannot, what does this reveal about the computational structure of physical reality?

Core Insight: Network science reveals that diverse real-world systems—from the web to protein interactions—share statistical signatures like power-law degree distributions and small-world properties, suggesting universal growth mechanisms and possibly hidden geometric structure that can be leveraged for prediction and control.

Unresolved Questions:

• Do apparent power laws in network degree distributions reflect genuine scale-free structure or alternative heavy-tailed distributions with different mechanisms?
• Is hidden hyperbolic geometry a fundamental feature of networks or merely a useful mathematical representation with predictive power?
• Can universal network principles identified in descriptive studies translate into effective strategies for controlling or optimizing real-world complex systems?

Core Insight: Chaos theory reveals that determinism and predictability are separate concepts—systems governed by precise mathematical laws can exhibit exponential sensitivity to initial conditions that makes long-term forecasting impossible, suggesting fundamental limits to prediction independent of computational power.

Unresolved Questions:

• Is chaos merely an epistemological limitation from imperfect measurements, or does quantum uncertainty make it ontologically fundamental?
• Can deterministic chaos be operationally distinguished from genuine quantum randomness in physical systems?
• Do high-dimensional chaotic systems exhibit universal low-dimensional behavior, or does complexity grow without bound in realistic models?

Core Insight: The Riemann Hypothesis connects prime distribution to complex analysis through the zeta function's zeros, suggesting deep unity between additive and multiplicative structure in integers that may require spectral or geometric insights to fully understand.

Unresolved Questions:

• Will proving the Riemann Hypothesis require discovering a spectral operator whose eigenvalues are the zeta zeros?
• Do connections between zeta zeros and quantum chaos reflect fundamental mathematical structure or mathematical coincidence?
• Could the Riemann Hypothesis be independent of standard axioms despite being a concrete analytical statement?

Core Insight: Category theory proposes that mathematical objects are characterized by their relationships rather than intrinsic properties, suggesting foundations should foreground structure-preserving morphisms over membership relations, though this relocates rather than eliminates independence phenomena.

Unresolved Questions:

• Does category theory's invariance under isomorphism reveal mathematical essence or avoid foundationally important questions?
• Will mathematics converge on a single foundational framework or remain pluralistic across different domains?
• Can higher categorical structures provide computational advantages over set-theoretic foundations for automated theorem proving?

Core Insight: The continuum hypothesis's independence from ZFC reveals a fundamental tension between formalist pluralism and Platonist conviction that set-theoretic truth exists independently of our axioms, driving the search for natural extensions of ZFC.

Unresolved Questions:

• Will set theorists converge on new axioms settling CH, or accept permanent pluralism about set-theoretic truth?
• Do large cardinals and forcing axioms represent genuine mathematical insight or merely consistent formal possibilities?
• Can foundational mathematics ever achieve the kind of empirical constraint that guides theory choice in physics?

Core Insight: Incompleteness reveals that mathematical truth transcends formal provability, requiring semantic understanding and metamathematical intuition that cannot themselves be fully formalized, suggesting an irreducibly pluralistic foundation for mathematics.

Unresolved Questions:

• Does incompleteness support mathematical Platonism or undermine the objectivity of mathematical truth?
• Can physical theories encounter fundamental incompleteness limitations in describing reality?
• How should mathematicians respond to important conjectures independent of standard axioms?