World Solve

School funding tied to local property taxes in many places creates stark differences in educational quality based purely on geography. Equalizing this access remains a persistent, unresolved policy challenge in many countries.

Current wearables track surface-level signals like heart rate well, but measuring things like blood chemistry non-invasively remains far less reliable. Solving this could make preventive healthcare monitoring dramatically more accessible.

Assistive technology has improved, but truly seamless, affordable control of phones, computers, and home devices for people with paralysis remains out of reach for many. Progress here could dramatically improve daily independence.

Astronauts on extended missions lose bone density and muscle mass faster than doctors can fully explain or prevent. Understanding this better is essential before any mission lasting years, like a trip to Mars.

Conservation efforts often focus on species useful or appealing to humans, leaving the ethical status of less charismatic species less clear. Whether all species deserve equal protection regardless of usefulness remains unresolved.

Many well-paying, in-demand jobs don't require a four-year degree, yet vocational paths still often carry less social and economic status. Rebalancing this perception could ease both skills shortages and student debt burdens.

Local elections often receive far less security attention than national ones, despite being just as vulnerable to disinformation campaigns. Extending stronger protections down to the local level remains incomplete.

People with more money can typically afford far better legal defense than those without, creating uneven outcomes within the same justice system. Equalizing access to quality legal representation remains a persistent gap in many countries.

Private contractors sometimes operate in conflict zones with less oversight than official military forces, raising accountability concerns when abuses occur. International legal frameworks addressing this remain inconsistent and weak.

Sending money internationally is often slow, expensive, or restricted depending on where you live, despite living in a supposedly connected digital economy. A truly borderless payment system remains unbuilt.

Countless websites, articles, and pages vanish permanently when companies shut down or servers go offline. Without better and more complete web archiving, we risk losing large chunks of internet history.

Homes filled with gadgets from different brands often struggle to talk to each other properly, frustrating users and limiting real automation. A shared, open standard would fix this fragmentation.

Millions of applications depend on open-source code maintained by volunteers, and a single hidden change can spread unnoticed to countless systems. A trustworthy verification system remains a major unsolved need.

If P equaled NP, countless hard problems in logistics, cryptography, and optimization could be solved efficiently, but most computer scientists suspect they can't. This remains the most famous open question in computer science.

Formulas exist for degrees up to four, but general algebraic solutions for higher degrees don't exist in the same closed form, leaving open questions about alternative methods. This shapes ongoing research in both pure and computational algebra.

Physical laws impose some theoretical limits on computation speed and energy use, but the exact universal boundary, if one truly exists, remains unresolved. This connects computer science directly to fundamental physics.

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.

Some lower bounds on computational efficiency are proven for specific tasks, but a fully unified theory covering every possible algorithmic problem remains unresolved. This unresolved question shapes the outer limits of computer science.

Game theory has solved many two-player scenarios completely, but multiplayer games with shifting alliances and incomplete information remain far less understood in full generality. This unresolved question has real implications for economics and political strategy.

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.