Model-Based and Sample-Efficient AI-Assisted Math Discovery in Sphere Packing