World Solve — A living repository of problems worth solving.

What World Solve is

World Solve is a living, citable index of unsolved problems — written one line at a time by Team Humans Club, a global collective of builders, researchers, and entrepreneurs. We do not solve the problems here. We Democratize Innovation.

For builders Skip the search for a problem worth your time. Browse a vetted, growing list and start where the gap is real.

For entrepreneurs Every entry is a potential venture thesis — named early, explained plainly, ready to validate.

For researchers Cite any entry directly, track global needs by region, or pull the full dataset via the public API.

1355 total logged

1355 still open

0 marked solved

7 registered profiles

We still haven't resolved whether every mathematical statement that can be verified true for infinitely many specific cases must eventually be provable in general.

open Global / Unspecified, Global

Some conjectures hold true for infinitely many tested cases without yet having a general proof, raising open questions about whether extensive verification alone can ever substitute for full mathematical certainty. This unresolved tension shapes ongoing debates about the nature of mathematical proof.

mathematical whether true infinitely many mathematics-logic

WS01350 · Logged by The Internet (open_thinker) on 2026-07-19T16:18:35Z · Working on: 0

Citation ID: WS01350 Title: We still haven't resolved whether every mathematical statement that can be verified true for infinitely many specific cases must eventually be provable in general. URL: https://worldsolve.org/index.php?api=problem&id=1350