World Solve

Artisanal gold miners use liquid mercury to extract gold, discharging toxic heavy metals into river systems and causing severe neurological damage.

Workers use bare hands and open nitric acid to extract gold and copper from electronics, inhaling deadly fumes and contaminating urban drainage networks.

Subtle cognitive changes often precede a formal dementia diagnosis by years, but current screening tools aren't sensitive enough to reliably catch this earliest stage. Better early detection could open the door to earlier, more effective intervention.

With finite budgets and staff, agencies inevitably choose which laws to prioritize enforcing, but this decision-making is often informal and opaque rather than publicly explained. This can lead to uneven, seemingly arbitrary enforcement.

Beyond voting for representatives, most citizens have no formal path to propose legislation themselves, leaving lawmaking almost entirely in the hands of elected officials and their staff. Direct citizen lawmaking tools remain underdeveloped in most democracies.

Citizens can submit formal complaints or petitions to agencies without any guarantee of a response, let alone a timely one. This can make citizen engagement with government feel more symbolic than functional.

Even where indigenous communities have lived on land for centuries, national laws sometimes fail to formally recognize their ownership or governance rights over it. This leaves them vulnerable to displacement by governments or corporations.

Once elected, officials often make major decisions with limited mechanisms for ongoing public feedback until the next vote, sometimes years away. Tools for continuous citizen input remain underdeveloped almost everywhere.

Even where donation limits exist, wealthy donors can often find legal workarounds through political action groups or indirect spending. This keeps outsized influence in the hands of a few, regardless of formal campaign finance rules.

Public hearings and consultations are often required by law but sometimes function more as formalities than genuine two-way input processes. Making these processes truly meaningful remains an unresolved governance challenge.

Gig work can offer flexibility but often comes with unpredictable income swings that make financial planning difficult for workers. A system that offers more income stability without eliminating flexibility remains unresolved.

Migrant workers often pay steep fees to send money to family in their home countries, cutting into wages that are frequently already low. Cheaper remittance systems could meaningfully improve financial security for millions of families.

Some communities have lived with contaminated air, water, or soil for generations due to nearby industrial activity, with little formal compensation or cleanup. Establishing fair, enforceable accountability remains a persistent governance gap.

Billions of people still lack any formal digital identity, cutting them off from banking, healthcare, and government services. A decentralized system could include everyone without handing control to one entity.

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.

Some mathematical truths may be true but fundamentally unprovable within any given formal system, a possibility raised by Gödel's work but not fully mapped out for all classes of statements. This unresolved boundary shapes the philosophy of computation.

While specific puzzle sizes have been fully solved computationally, generalizing the worst-case difficulty formula across all puzzle sizes remains an open combinatorial question. This links recreational mathematics with formal complexity theory.

Formal proof systems capture enormous portions of mathematical reasoning, but whether a truly complete and finite rule set exists for absolutely every valid form of proof remains philosophically and technically unresolved. This touches the very foundations of what mathematics is capable of expressing.

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.

Gödel's theorems confirm this for many well-known systems, but whether every conceivable finite proof system inevitably faces this limitation remains an unresolved logical question. This continues to shape foundational research into the nature of formal systems.