I have an MSc in math but haven't managed to grasp modular forms, which is needed for the proof.

If anybody has a learning path or a primer recommendation for modular forms (assuming formal math education), I'd be very interested in reading more about it.

But as such I doubt it can be more accessible to everybody.