DeepSeek reaches close to its best score even when given a smaller reasoning budget.
ARC-AGI-1: Low solves about 84. Max solves about 89.
Extra reasoning recovers only five additional puzzles.
This suggests DeepSeek's post-training produces unusually efficient abstract reasoning.