“The version of OpenAI's o3 model tested by ARC Prize was trained on 75% of the ARC-AGI Public Training set.”