“The ARC benchmark is designed to be resistant to memorization-based solutions, unlike most other large language model benchmarks.”