Memorize Theorems, Not Instances: Probing SFT Generalization through Mathematical Reasoning — AI News