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.
3 shown
Find the largest graphs with maximum degree d and diameter k. Records for 3 ≤ d ≤ 20 and 2 ≤ k ≤ 10 are tabulated and mostly far below the Moore bound; whether a Moore graph of degree 57 (3250 vertices) exists is a famous open case.
Narrow the gap 36 ≤ R(4,6) ≤ 40. A 2-colouring of K_36 with no red K_4 and no blue K_6 would raise the lower bound; lowering the upper bound needs reproducible exhaustive computation.
Narrow the gap between the known lower and upper bounds for R(5,5), currently 43 ≤ R(5,5) ≤ 46.
