Repository of problems worth solving
World Solve is a public institutional repository for identifying real unresolved problems across science, society, health, governance, economics, and local systems. Each entry is intended to be citable, inspectable, and actionable.
Publicly citable
Every problem has a stable citation code for reference and discussion.
Filtered by relevance
Search by category, geography, status, and keywords.
Builder-oriented
Use the repository to find startup ideas, policy leads, and research agendas.
4194Total
4194Open
0Solved
9Humans
open
Global / Unspecified, Global
Many famous fractals are built from simple recursive rules, but whether every possible fractal pattern can always be reduced to such a finite description remains an open mathematical question. This connects geometry, computer science, and the study of natural patterns.
mathematics-logic
global-unspecified
whether
every
possible
fractal
pattern
finite
simple
rules
haven
determined
know
resolved
philosophy-ethics
mathematical
open
Global / Unspecified, Global
Discrete mathematics, dealing with countable structures, and continuous mathematics, dealing with smooth changes, sometimes resist clean translation between one another, and a fully unifying framework remains an unresolved and ambitious mathematical goal. This touches the deepest foundations of how mathematics is structured.
mathematics-logic
global-unspecified
mathematics
mathematical
framework
fully
discrete
continuous
haven
determined
whether
possible
philosophy-ethics
resolved
know
every
open
Global / Unspecified, Global
Some constraint puzzles, like certain scheduling or coloring problems, can be solved efficiently under specific conditions, but a fully general and efficient method covering every possible case remains unresolved. This unresolved question is central to both mathematics and artificial intelligence.
mathematics-logic
global-unspecified
artificial-intelligence
possible
efficient
method
every
constraint
don
know
whether
guarantee
solving
philosophy-ethics
resolved
haven
mathematical
open
Global / Unspecified, Global
Specific techniques exist for counting solutions in many cases, but a complete and general method covering every possible polynomial system remains an unresolved goal in algebraic geometry. This continues to be an active area of mathematical research.
mathematics-logic
global-unspecified
possible
general
method
solutions
system
polynomial
haven
determined
whether
construct
philosophy-ethics
resolved
know
every
mathematical
open
Global / Unspecified, Global
Symmetry groups have been classified extensively for finite cases, but infinite symmetry structures present ongoing classification challenges that remain incompletely resolved. This shapes foundational research in both algebra and geometry.
mathematics-logic
global-unspecified
resolved
infinite
haven
whether
possible
fully
classify
every
mathematical
structure
philosophy-ethics
know
open
Global / Unspecified, Global
Some models settle into stability under specific conditions, but a fully general guarantee covering every possible complex real-world system remains an unresolved and actively studied question. This touches applied mathematics, physics, and systems theory broadly.
mathematics-logic
global-unspecified
possible
guarantee
complex
real-world
system
don
know
whether
any
sufficiently
philosophy-ethics
resolved
haven
every
mathematical
open
United States, North America
Some proofs span thousands of pages or rely on massive computer verification, and whether complete, error-free confidence is ever truly achievable for such proofs remains a genuinely unresolved epistemological and mathematical question. This shapes ongoing debates about the future of mathematical certainty.
mathematics-logic
north-america
united-states
mathematical
proofs
whether
haven
resolved
possible
fully
efficiently
verify
correctness
global-unspecified
philosophy-ethics
know
every
open
Global / Unspecified, Global
Logical simplification techniques work well for many cases, but a fully general method guaranteed to simplify every possible logical structure remains unresolved. This connects formal logic with the practical design of computer circuits and databases.
technology-computing
global-unspecified
logical
every
possible
but
structure
don
know
whether
pattern
interconnected
resolved
mathematics-logic
philosophy-ethics
haven
mathematical
open
Global / Unspecified, Global
Scheduling problems appear throughout logistics and computing, and while efficient solutions exist for many specific cases, a fully general efficient method remains unresolved for the broader problem family. This unresolved question connects theoretical computer science with real-world efficiency.
technology-computing
global-unspecified
possible
efficient
fully
method
don
know
whether
guarantee
finding
best
philosophy-ethics
resolved
mathematics-logic
haven
every
mathematical
open
Global / Unspecified, Global
Shape matching is solved efficiently for many specific cases, but a complete and efficient general method for every possible shape comparison remains an unresolved computational geometry question. This has real applications in computer vision and pattern recognition.
technology-computing
global-unspecified
whether
possible
general
efficient
method
don
know
construct
fully
determining
haven
philosophy-ethics
resolved
mathematics-logic
every
mathematical
open
Global / Unspecified, Global
Stability analysis offers strong tools for many specific systems, but a fully general and precise predictive theory covering every possible system remains incomplete. This unresolved boundary connects pure mathematics with physics, engineering, and economics.
mathematics-logic
global-unspecified
possible
fully
system
haven
resolved
whether
predict
exact
conditions
under
philosophy-ethics
know
every
mathematical
open
Global / Unspecified, Global
Enclosing shape problems, like finding the smallest circle or polygon containing a set of points, are solved for many specific shape types, but a fully general theory covering every possible enclosing shape remains incomplete. This connects computational geometry with practical applications like facility location.
mathematics-logic
global-unspecified
shape
every
set
points
smallest
possible
specific
haven
determined
whether
resolved
know
philosophy-ethics
mathematical
open
Global / Unspecified, Global
Some equations are proven to have no whole-number solutions through specific clever arguments, but a fully general and unified explanatory framework covering every such case remains an unresolved number-theoretic goal. This continues to drive research into Diophantine equations.
mathematics-logic
global-unspecified
equations
framework
fully
have
solutions
don
know
whether
possible
construct
philosophy-ethics
resolved
haven
every
open
Global / Unspecified, Global
Statistical and mathematical tools can detect many kinds of patterns efficiently, but a fully general and guaranteed method covering every possible hidden pattern type remains an unresolved theoretical question. This connects pure mathematics with the practical challenges of modern data analysis.
mathematics-logic
global-unspecified
possible
fully
method
hidden
patterns
pure
mathematical
analysis
haven
proven
whether
philosophy-ethics
resolved
know
every
open
Global / Unspecified, Global
Some infinite objects can be perfectly captured by finite descriptions, like certain repeating decimals, but many others resist any such finite representation, and the full boundary between the two remains incompletely mapped. This unresolved question touches deeply on the philosophy of mathematical infinity.
philosophy-ethics
global-unspecified
finite
infinite
mathematical
any
don
know
whether
every
possible
object
resolved
haven
mathematics-logic
open
Global / Unspecified, Global
Many specific combinatorial puzzles have been solved exactly, but a fully general theory predicting solution counts across every possible puzzle type remains an unresolved and active area of combinatorics. This connects recreational mathematics with deep unresolved theoretical questions.
mathematics-logic
global-unspecified
possible
general
theory
predicting
combinatorial
puzzle
haven
proven
whether
construct
philosophy-ethics
resolved
know
every
mathematical
open
Global / Unspecified, Global
Habits often develop gradually without deliberate intention, raising questions about how much genuine responsibility a person bears for behavior they didn't consciously choose to cultivate. This unresolved question complicates debates over addiction and personal accountability.
philosophy-ethics
global-unspecified
habits
over
don
have
agreed
way
determine
whether
possible
fully
resolved
know
haven
mathematics-logic
open
Global / Unspecified, Global
Rare catastrophic events can cause immense damage despite low probability, while everyday risks accumulate steadily but attract far less attention or resources. This unresolved tension complicates how societies and individuals should rationally allocate concern and resources.
mathematics-logic
global-unspecified
rare
catastrophic
risks
everyday
don
know
whether
possible
fully
justify
philosophy-ethics
resolved
haven
determine
open
Global / Unspecified, Global
Institutions are made up of changing individuals over time, making it unclear whether blame can meaningfully persist against the institution itself rather than the specific people responsible. This unresolved question complicates debates over long-term institutional accountability.
society-governance
global-unspecified
against
whether
institutions
individuals
haven
resolved
possible
justify
holding
grudges
philosophy-ethics
know
mathematics-logic
determine
don
open
Global / Unspecified, Global
Most people naturally apply different moral standards to close relationships versus strangers, but it's unclear whether this differential treatment is ethically justified or simply an ingrained bias. This unresolved question challenges the idea of a fully impartial ethical framework.
philosophy-ethics
global-unspecified
whether
moral
framework
haven
figured
out
possible
justify
applies
differently
resolved
know
mathematics-logic
determine
ethical