Erdős Problem #146: Degeneracy Conjecture
Prior state unknown→disproved
If $H$ is bipartite and $r$-degenerate, is $\mathrm{ex}(n;H) \ll n^{2-1/r}$ (a \$500 Erdős-Simonovits prize conjecture)? A counterexample refutes the degeneracy conjecture.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review