Coragora · open-problem graph
Problems as first-class objects. Edges — generalizes, reduces-to, shares-mechanism — do the analytical work. This is a live demo over a grounded set of Erdős problems.