“According to Francois Chollet, a system that solves the ARC-AGI benchmark is a necessary but not sufficient condition for achieving AGI.”