Nemotron-IMO-Bench 2026 C24

A triangle-free graph on $n$ vertices and having maximal degree $\leq d$ has an independent set of size at least $\frac{\log_2 d}{8d}n$ .

Dataset text Nemotron-IMO-Bench. Open licence.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.