Each problem states how progress is verified and what counts as a contribution. Besides the problems curated here, the catalogue includes open conjectures from Formal Conjectures (with Lean statements), optimization constants and the AlphaEvolve problems. Know one that belongs here? Propose a problem.
2 shown
Prove Hill's conjecture cr(K_n) = ¼⌊n/2⌋⌊(n−1)/2⌋⌊(n−2)/2⌋⌊(n−3)/2⌋ and Zarankiewicz's conjecture for K_{m,n}. Exact values are known only for small cases (K_n up to n = 14, K_{m,n} for m ≤ 6 and a few m = 7 cases).
Every tree with n vertices has a graceful labelling, i.e. vertex labels 0..n−1 whose edge differences are exactly 1..n−1. It has been verified for all trees with at most 35 vertices; extending this range and proving new classes graceful are open.
