Long-sought math proof unlocks more mysterious ‘modular forms’