You know the silent tragedy of modern research. A brilliant mind spends three years grinding away on a problem, only to discover someone else solved it in 2014, or worse, that the problem was a structural dead end. This isn’t just bad luck. It’s a systemic failure of coordination.
Enter the Open Problem Gallery (OPG). At first glance, you might roll your eyes. Great, another wiki of unsolved math problems. We already have Wikipedia, Stack Exchange, and a thousand dusty academic forums. But if you stop there, you’re missing the point entirely.
A library of infinite options is just a graveyard of unmade choices.
The real innovation of OPG isn’t the list of problems. It’s the underlying coordination protocol. The launch essay hints at a verification and falsification model that actually dictates how mathematicians should prioritize their effort. It forces a trade-off: sacrificing the illusion of completeness for actual tractability.
When a commenter on Hacker News asked how the creators decide what goes into the gallery given the “near infinite” open problems, they hit the nail on the head. The answer isn’t to list everything. The answer is to curate ruthlessly.
We don’t need more places to dump questions; we need a protocol to align our brightest minds.
By requiring verification and creating a space for falsification, OPG transforms a static repository into a living, breathing coordination layer. It takes a side. It says, “These are the problems worth your finite lifespan.” Yes, that introduces bias. Yes, it risks excluding niche but vital work. But neutrality in the face of infinite choice is death.
If you’re a researcher, this directly addresses the agonizing pain of choosing what to attack. If you’re not, it’s a masterclass in solving collective action problems in niche domains. Stop celebrating infinite backlogs. Start curating the path forward.
FAQ
Q: Isn't a curated list just going to introduce bias and exclude niche problems?
A: Yes, and that's the point. Neutrality in the face of infinite choice is paralysis. A biased, highly tractable list is infinitely more useful than a perfectly complete graveyard of unsolvable questions.
Q: What's the practical implication for a working mathematician?
A: You stop wasting years on dead ends or duplicated effort. The verification and falsification model acts as a filter, aligning your finite time with problems that actually have collective momentum.
Q: What's the contrarian take?
A: The list of problems doesn't matter at all. The only thing that matters is the falsification model—if it can't kill bad ideas, it's just another digital landfill.