Mythos doesn't appear to be on the verified leaderboard for ARC-AGI 3