A problem of Andrews and Dhar on partitions

Simon Mahns, Ken Ono, Jujian Zhang

This paper is motivated by a broad question about AI-assisted mathematics: can an AI system help discover and certify an explicit bijection between two infinite sequences of compli…