1 Definition and scope

An open problem is a question that remains unresolved within a given field of inquiry. In mathematics, logic, computer science, and the sciences more broadly, such problems persist because current knowledge does not yet yield a complete answer. An issue may be open because it has not been proved, has not been observed directly, or cannot yet be computed with available methods.

Open problems define the limits of present understanding. They are not simply unanswered questions in a casual sense; they are questions recognized as significant enough to attract sustained attention from researchers. Some are narrowly framed and technical, while others concern broad foundational issues.

1.1 Meaning of “open”

The word “open” indicates that a problem has no accepted final resolution. This does not necessarily mean that nothing is known about it. In many cases, partial results, special cases, or strong evidence already exist, even though the central question remains unsettled. An open problem may be accompanied by conjectures, competing models, or incomplete data.

1.2 Distinction from solved problems

A solved problem has an established answer, proof, or explanation accepted by a relevant community. By contrast, an open problem lacks such closure. The boundary between solved and open can sometimes shift when new evidence appears or when a proof is validated. In practice, a problem may be considered effectively solved in one context but still open in another, more general setting.

1.3 Open questions in science and mathematics

In mathematics, open questions often ask whether a statement is true, whether an object exists, or how a class of objects can be characterized. In science, open questions may concern causes, mechanisms, structures, or measurable relationships in the natural world. The two domains differ in method, but both rely on identifying gaps in established understanding.

1.4 Conjectures, hypotheses, and unresolved problems

A conjecture is a proposition believed to be true but not yet proved. A hypothesis is a tentative explanation proposed for testing, especially in empirical science. An unresolved problem is a broader term that includes conjectures and hypotheses, as well as questions whose answer may require new data, new theory, or new computation. Not every open problem is framed as a neat statement; some are clusters of connected uncertainties.

2 Characteristics of open problems

Open problems commonly share several features, although not all appear in every case. Some are difficult because the necessary evidence is absent. Others are resistant to solution because the relevant calculations are too large or the underlying structure is not yet understood.

2.1 Lack of proof or disproof

In formal disciplines, a problem often remains open because neither a proof nor a disproof has been established. This is typical in mathematics and theoretical computer science. The absence of proof does not imply the statement is false; it only shows that current methods have not settled the matter.

2.2 Insufficient data or observation

Many scientific questions remain open because available observations are limited, noisy, or indirect. A phenomenon may be known to exist, yet its underlying cause may be unclear. In such cases, additional measurements, improved instruments, or longer observation periods may be needed before a conclusion becomes possible.

2.3 Computational intractability

Some problems are open because they are computationally difficult. Even when the rules are precisely known, the resources needed to determine an answer may grow too rapidly with problem size. This can make exhaustive search impractical and can leave complexity questions unresolved for long periods.

2.4 Dependence on new methods or technology

A problem may stay open until a new technique, device, or conceptual framework becomes available. Improved telescopes, microscopes, detectors, algorithms, and proof methods have each helped resolve questions that previously seemed inaccessible. In this sense, open problems often reflect the current limits of tools as much as the limits of theory.

3 Types of open problems

Open problems can be grouped by discipline and by the kind of answer sought. Some ask for a proof, others for an explanation, and others for an efficient algorithm or decision procedure.

3.1 Mathematical open problems

Mathematical open problems are typically posed in precise formal language. They may concern numbers, structures, functions, spaces, or logical systems. Because the statements are exact, even small advances can have broad consequences.

3.1.1 Proof-based problems

Proof-based problems ask whether a particular claim is true. The challenge is to establish validity through deduction from accepted axioms or premises. Many famous conjectures belong to this category, and progress often comes from linking the claim to deeper structures.

3.1.2 Existence and uniqueness questions

Some problems ask whether an object satisfying certain conditions exists, or whether it is unique if it does. Such questions arise in analysis, geometry, algebra, and applied mathematics. Existence and uniqueness often matter because they determine whether a model is well posed.

3.1.3 Classification problems

Classification problems seek a complete description of all objects of a given type. These problems are common in algebra, topology, and geometry. They may remain open because the space of possibilities is too large or because exceptional cases resist a unified treatment.

3.2 Scientific open problems

Scientific open problems concern phenomena in the physical, biological, and cognitive sciences. They often involve identifying mechanisms, causal chains, or hidden variables behind observed patterns.

3.2.1 Experimental and observational questions

Some questions are open because relevant phenomena have not been measured well enough. This can occur when the events are rare, remote, small-scale, or ethically difficult to study directly. As new instruments improve sensitivity, previously inaccessible patterns may become clearer.

3.2.2 Mechanistic and causal questions

A mechanism explains how a process works, while a causal account identifies what produces a result. Many scientific open problems ask how a phenomenon arises, what components interact, and which factors are essential. Such questions can persist even when the phenomenon itself is widely accepted.

3.3 Computer science open problems

In computer science, open problems often concern what can be computed, how efficiently it can be done, and what limits apply to algorithms and machines. These questions shape both theory and practical system design.

3.3.1 Algorithmic complexity questions

Complexity questions ask how much time, memory, or other resources are needed to solve a problem. A central challenge is determining whether certain tasks can be performed efficiently in principle. These questions are often expressed using classes of problems and reductions between them.

3.3.2 Decidability and computability questions

A decidability problem asks whether there exists an algorithm that always gives the correct yes-or-no answer. A computability problem asks whether a quantity or function can be generated by a mechanical procedure. Open questions in this area help clarify the limits of automation and formal reasoning.

4 Role in the scientific method

Open problems are not obstacles external to science; they are part of how science advances. They help organize inquiry, focus experimentation, and reveal where current theories need refinement.

4.1 Problem formulation

Scientific inquiry often begins by identifying a gap between observation and explanation. Formulating the problem clearly is essential, because vague questions cannot be tested effectively. A well-defined open problem specifies what is known, what is unknown, and what would count as progress.

4.2 Hypothesis generation

Open problems encourage the creation of possible explanations. Competing hypotheses may be proposed to account for the same phenomenon, each suggesting different tests. Even when a hypothesis is ultimately rejected, it can help sharpen the problem and reveal useful distinctions.

4.3 Testing and falsification

A key feature of the scientific method is testing proposed answers against evidence. Open problems often persist because existing tests are inconclusive or incomplete. Repeated attempts at falsification can eliminate weak explanations and narrow the range of plausible solutions.

4.4 Revision of theories

When an open problem resists resolution, it may indicate that an existing theory is incomplete or incorrectly framed. In some cases, the difficulty leads to a revised model, a broader framework, or a new set of assumptions. Thus, unresolved questions can drive conceptual change.

5 Methods for addressing open problems

Different disciplines use different methods, but most approaches combine careful formulation with systematic investigation. Progress may come from proof, observation, simulation, or cross-disciplinary synthesis.

5.1 Analytical approaches

Analytical methods seek solutions through reasoning, derivation, and formal manipulation. In mathematics and theoretical sciences, these approaches may involve constructing proofs, deriving bounds, or reducing one problem to another. Analytical work is often used to establish partial results before a complete answer is found.

5.2 Experimental approaches

Experimental methods rely on controlled observation and measurement. They are central in empirical sciences, where direct testing can confirm, refute, or refine proposed explanations. Better experimental design often turns an intractable question into one that can be investigated more precisely.

5.3 Computational approaches

Computational methods use algorithms, numerical simulation, and large-scale data analysis. They are especially useful when exact calculation is impossible or when systems are too complex for closed-form treatment. Computation can reveal patterns, generate conjectures, and test approximate models.

5.4 Interdisciplinary approaches

Some open problems require concepts and tools from multiple fields. Mathematics may supply formal structure, while physics, biology, or computer science contributes data and interpretation. Interdisciplinary work can expose hidden assumptions and open new routes to resolution.

6 Famous examples

Famous open problems often gain prominence because they are simple to state yet difficult to solve. They may influence multiple disciplines and inspire extensive research communities.

6.1 Mathematical examples

Mathematical examples are often valued for their precision and their far-reaching implications. A solution to one famous problem can affect broad areas of theory and technique.

6.1.1 The Riemann hypothesis

The Riemann hypothesis concerns the distribution of zeros of the Riemann zeta function and its relation to the distribution of prime numbers. It is one of the most celebrated unresolved questions in mathematics. Partial results strongly support its importance, but a full proof remains unknown.

6.1.2 The P versus NP problem

The P versus NP problem asks whether every problem whose solution can be checked efficiently can also be solved efficiently. It is central to theoretical computer science and has consequences for optimization, cryptography, and complexity theory. Despite extensive study, no definitive answer has been established.

6.1.3 Goldbach's conjecture

Goldbach's conjecture states that every even integer greater than 2 can be expressed as the sum of two prime numbers. It has been verified for very large ranges by computation and supported by heuristic evidence, yet it remains unproved. The conjecture is a classic example of a simple statement with deep difficulty.

6.2 Scientific examples

Scientific examples often persist because the relevant systems are complex, indirect, or only partly observable. These problems may involve fundamental particles, living systems, or subjective experience.

6.2.1 The nature of dark matter

Dark matter refers to a form of matter inferred from gravitational effects that cannot be explained by visible matter alone. Its exact composition is unknown. Researchers study it through astronomy, particle physics, and cosmology, but a definitive identification has not yet been confirmed.

6.2.2 The origin of life

The origin of life concerns how nonliving chemistry gave rise to self-sustaining biological systems. This question spans chemistry, geology, and biology. Various scenarios have been proposed, but the sequence of steps leading to the first living entities remains uncertain.

6.2.3 The mechanisms of consciousness

The mechanisms of consciousness concern how subjective experience arises from physical processes in brains or other systems. This remains a major open issue in cognitive science, neuroscience, and philosophy of mind. Many models address aspects of awareness, but no consensus explanation fully accounts for experience.

7 Impact and significance

Open problems matter because they orient investigation and define what a field still needs to understand. Their influence extends beyond technical research into education, collaboration, and public imagination.

7.1 Driving research agendas

Open problems help set priorities for laboratories, seminars, funding, and scholarly debate. They provide target questions that organize long-term work and encourage sustained attention. A prominent open problem can shape an entire subfield.

7.2 Inspiring new theories and tools

The effort to solve difficult questions often leads to new methods, concepts, and technologies. Even when a specific problem remains unresolved, the tools developed in the attempt may have independent value. This indirect impact is one reason open problems are highly prized.

7.3 Educational and cultural influence

Open problems are frequently used in teaching because they illustrate the process of inquiry rather than only its results. They also have cultural appeal, especially when they are simple to state and widely discussed. Such problems can symbolize the continuing reach of human curiosity.

8 Evaluation and communication

Because open problems vary in clarity and scope, it is important to state them carefully and distinguish them from vague questions or settled matters. Clear communication helps researchers avoid confusion and prevents premature claims of resolution.

8.1 Criteria for identifying an open problem

A genuine open problem should be specific enough to admit a clear yes-or-no answer, a classification, or a measurable explanation. It should also be recognized by a relevant community as unresolved. In practice, a question may be open even if some experts believe it is likely to be answered soon.

8.2 Stating problems precisely

Precision reduces ambiguity and makes progress easier to evaluate. A well-stated problem specifies definitions, assumptions, and the desired form of the answer. In mathematics this often means using formal language, while in science it may require operational definitions and measurable variables.

8.3 Communicating uncertainty

Open problems should be described in a way that reflects the degree of uncertainty involved. Some questions are open because evidence is missing; others are open because evidence points in conflicting directions. Careful wording distinguishes what is established from what remains speculative.

8.4 Common pitfalls in problem statements

Common mistakes include using undefined terms, posing multiple questions at once, or assuming the conclusion within the statement. Another pitfall is framing a matter as open when it is actually settled, or as settled when key assumptions remain debated. Clear problem statements help prevent these errors.

9 History of notable open problems

The history of open problems shows that unresolved questions can remain active across generations. Some survive for centuries, while others are solved after the appearance of new ideas or methods.

9.1 Classical-era problems

Early mathematical and philosophical traditions produced many questions about number, geometry, motion, and the structure of reality. Some classical problems were resolved only much later, often after the development of modern algebra, analysis, or logic. Their longevity demonstrates how enduring an open problem can be.

9.2 Modern-era problems

As science and formal theory advanced, new open problems emerged in fields such as relativity, quantum theory, statistics, computation, and biology. These modern problems often depend on specialized instruments or high-level abstraction. They reflect increasingly detailed models of nature and information.

9.3 Resolution of formerly open problems

Some famous problems that were once unresolved have since been solved, sometimes after many decades of effort. Their resolution may confirm a long-suspected result, overturn an expectation, or introduce unexpected techniques. Formerly open problems often remain influential because the methods used to solve them can reshape the field.

10 See also

Open problems are closely related to broader ideas about inquiry, uncertainty, and discovery. They connect with both formal methods and empirical investigation.

Conjecture means an unproved proposition believed to be true. Hypothesis means a tentative explanation proposed for testing. Theorem means a statement proved within a formal system. Theory means an organized explanatory framework supported by evidence. Paradigm means a dominant conceptual framework in a field. Question means a matter raised for investigation or answer. Problem means a task or issue requiring solution. Uncertainty means the state of incomplete or imperfect knowledge. Falsification means the process of showing a claim to be false. Methodology means the systematic approach used in inquiry. Reduction means the transformation of one problem into another. Complexity means the degree of resource difficulty in computation.