World Solve

Some outer moons hide liquid oceans beneath thick ice, and possibly conditions that could support life. Getting real data from beneath that ice remains a major unsolved engineering and mission challenge.

Fast radio bursts flash briefly and then vanish, and we still don't fully understand what causes them. Some theories point to exotic stars, but no explanation is fully confirmed yet.

Low gravity and different light conditions slow plant growth and change nutrient uptake in ways we don't fully understand yet. Solving this is essential for any long-duration space mission that needs fresh food.

This mismatch is part of the evidence for dark matter, but the details of how it shapes galaxy rotation are still not fully worked out. A better model would sharpen our understanding of galaxy formation.

Earth's magnetic field protects us from solar radiation, but the dynamo process that generates it deep underground is still only partly understood. This matters for predicting how long that protection will last.

We understand the general physics of dying stars, but the precise trigger moment inside a collapsing star remains difficult to observe and model. Solving this would sharpen predictions about stellar life cycles across the universe.

This conjecture about the zeros of a specific complex function would, if proven, tighten our understanding of how primes are distributed among all integers. It's considered one of the most important unsolved problems in mathematics.

Gödel's incompleteness theorems already showed some truths escape any fixed formal system, but the full boundary between provable and unprovable truths remains an active area of exploration. This shapes how we understand the limits of formal reasoning itself.

This weaker cousin of Goldbach's Conjecture illustrates how even modest-sounding claims about primes can remain unproven for centuries. It highlights how little we still understand about the raw arithmetic of prime numbers.

Classifying all finite simple groups was a monumental achievement, but fully understanding how all groups relate to and build from these simple pieces remains an ongoing task. This shapes our foundational understanding of symmetry itself.

This boolean satisfiability problem is central to computer science, and no efficient general method is known for solving every possible case quickly. It remains a benchmark problem for understanding computational complexity.

This problem, part of a broader family of questions in combinatorial geometry, has known bounds but no exact general formula for every configuration. Solving it would refine our understanding of how simple geometric constraints shape complex arrangements.

Graph theory offers many partial answers about guaranteed patterns within large networks, but a fully general and complete theory covering every possible network structure remains incomplete. This affects our understanding of everything from social networks to biological systems.

Gödel's theorems already limit what's possible here for sufficiently powerful systems, but the full landscape of alternative systems and their limitations remains an active and unresolved area of mathematical logic. This continues to shape our understanding of the foundations of mathematics itself.

This long-standing conjecture claims there's always at least one prime number between any two consecutive perfect squares, and while verified extensively by computer, no general proof exists. Solving it would sharpen our understanding of prime distribution.

Random graph theory offers probabilistic guarantees for many structures, but proving certainty, rather than high likelihood, for every possible case remains an unresolved and active research area. This affects our understanding of networks in biology, technology, and social systems.

Some extremal problems in combinatorics have only been resolved through massive computational brute force, without a more elegant general proof explaining why the answer must be exactly what it is. This unresolved gap raises questions about the nature of mathematical understanding itself.

Genuine altruism seems to require giving without expectation, yet human relationships often naturally involve some sense of reciprocal obligation. This unresolved tension complicates our understanding of charity, friendship, and generosity.

Actively seeking out disagreement can strengthen understanding and reduce bias, but there's no clear consensus on whether this is a genuine moral obligation or simply a personal virtue. This unresolved question touches on intellectual humility and the ethics of belief.

Some argue refusing to forgive certain wrongs preserves a person's dignity and sense of justice, while others see prolonged resentment as ultimately corrosive rather than protective. This unresolved tension shapes how we understand forgiveness and self-respect.