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 geometric constants have been linked to constants like pi through elegant proofs, but numerous others remain isolated without any confirmed deeper connection. This unresolved gap continues to intrigue mathematicians working in geometry and analysis.
mathematics-logic
global-unspecified
constants
geometry
have
connection
haven
proven
whether
every
mathematical
constant
resolved
philosophy-ethics
know
possible
open
Global / Unspecified, Global
The three-body problem famously resists the same clean, closed-form solutions available for two-body systems, and general long-term predictability for all such systems remains incompletely understood. This unresolved question connects pure mathematics directly to astrophysics.
mathematics-logic
global-unspecified
long-term
don
know
whether
possible
fully
predict
stability
any
mathematical
systems
philosophy-ethics
resolved
haven
society-governance
open
Global / Unspecified, Global
Self-referential systems often run into paradoxes, and while specific fixes exist for particular cases, no fully general and complete solution has been proven for every possible self-describing system. This unresolved tension remains central to mathematical logic and computer science.
mathematics-logic
global-unspecified
every
mathematical
fully
haven
determined
whether
sufficiently
complex
language
unambiguously
philosophy-ethics
resolved
possible
know
open
Global / Unspecified, Global
While good approximate methods exist, a fully efficient and exact general solution for the shortest connecting network across every possible point configuration remains unresolved. This connects computational geometry with practical network design.
mathematics-logic
global-unspecified
possible
network
exact
efficient
shortest
connecting
haven
resolved
whether
guarantee
know
philosophy-ethics
every
mathematical
open
Global / Unspecified, Global
Ramsey-type theorems guarantee certain patterns emerge under specific conditions, but a fully general guarantee covering every conceivable infinite sequence remains an incomplete and active area of study. This connects deeply to combinatorics and the philosophy of mathematical order.
mathematics-logic
global-unspecified
every
infinite
mathematical
sequence
specific
don
know
whether
possible
must
haven
resolved
philosophy-ethics
open
Global / Unspecified, Global
Self-verifying proofs raise deep questions tied to Gödel's incompleteness results, and whether any sufficiently powerful system can ever fully confirm its own consistency remains unresolved. This continues to shape foundational debates in mathematical logic.
mathematics-logic
global-unspecified
whether
mathematical
its
own
any
system
haven
determined
possible
construct
resolved
philosophy-ethics
know
every
open
Global / Unspecified, Global
Some patterns appear irregular indefinitely despite simple underlying construction rules, and whether hidden symmetry always eventually emerges remains an open and unresolved geometric question. This connects to both pure mathematics and the study of natural patterns.
mathematics-logic
global-unspecified
whether
geometric
simple
rules
eventually
hidden
symmetry
don
know
every
haven
resolved
philosophy-ethics
possible
mathematical
open
Global / Unspecified, Global
Some sets in mathematics resist having a consistent notion of size under standard rules, and a complete classification of every such case remains an unresolved and active area of measure theory. This connects to foundational questions about the nature of mathematical infinity.
mathematics-logic
global-unspecified
possible
every
mathematical
size
measure
haven
resolved
whether
fully
classify
philosophy-ethics
know
open
Global / Unspecified, Global
Additive combinatorics explores these kinds of guaranteed substructure questions extensively, but many specific cases remain without a fully general proof. This continues to be an active and evolving research area.
mathematics-logic
global-unspecified
property
specific
don
know
whether
every
finite
set
numbers
must
haven
philosophy-ethics
resolved
possible
mathematical
open
Global / Unspecified, Global
Probability theory offers strong predictive tools for many games, but a fully complete and general model covering every conceivable game of chance remains theoretically unresolved. This touches both pure mathematics and the philosophy of randomness.
mathematics-logic
global-unspecified
possible
complete
model
every
game
chance
haven
proven
whether
construct
know
resolved
philosophy-ethics
mathematical
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
Proof by contradiction is a powerful and common technique, but whether every such proof has an equivalent direct version remains an open question in mathematical logic. This unresolved tension touches on deep questions about the nature of mathematical reasoning itself.
mathematics-logic
global-unspecified
proof
mathematical
whether
every
contradiction
direct
haven
resolved
relies
assuming
know
philosophy-ethics
possible
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
History has shown some conjectures hold for enormous ranges before finally failing, raising the unresolved question of how confidently mathematicians can ever trust patterns observed only in finite testing. This shapes ongoing debates about the reliability of computational evidence in mathematics.
mathematics-logic
global-unspecified
haven
proven
whether
every
mathematical
theorem
holds
true
small
cases
know
resolved
philosophy-ethics
possible
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
Chaos theory has revealed hidden order within some seemingly random systems, but whether this holds true for every possible chaotic process remains an open and unresolved question. This connects mathematics with physics, biology, and the philosophy of determinism.
mathematics-logic
global-unspecified
whether
every
possible
process
chaotic
some
order
don
know
infinite
philosophy-ethics
resolved
haven
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
While unique prime factorization is proven for standard whole numbers, extending and confirming similar uniqueness properties across various generalized number systems remains an unresolved area. This continues to shape research in algebraic number theory.
mathematics-logic
global-unspecified
number
proven
unique
haven
whether
every
sufficiently
large
has
way
philosophy-ethics
resolved
know
possible
mathematical
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