“Jack Cole's high-scoring model on the ARC benchmark required pre-training on millions of synthetically generated ARC-like tasks to achieve its performance.”