“Solving an ARC-AGI task costs approximately $5 when done by a human, compared to $26 for the high-efficiency o3 model.”