Extremal graph theory studies how the intrinsic structure of graphs ensures certain types of properties (e.g., clique-formation and graph colorings) under appropriate conditions.
A basic quantity is the extremal number , the largest number of edges
in an
-vertex
simple graph containing no copy of a specified graph
. Conlon et al. (2026) proved the rational
exponents conjecture, showing that every rational
number
is realized by
for a single forbidden graph
, where
is big-Theta notation.
The proof originated in an AI-assisted research program, as described by the authors.