“The ARC-AGI benchmark has spurred significant research activity over the past five years.”