{"id":"arxiv/2606.05117","url":"https://arxiv.org/abs/2606.05117","tags":["math.CO"],"score":0,"title":"A problem of Andrews and Dhar on partitions","domain":"math.CO","source":"arxiv","authors":["Simon Mahns","Ken Ono","Jujian Zhang"],"reviews":0,"subject":"math.CO","summary":"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 complicated combinatorial sets already known to be equinumerous? The challenge is to find a reversible structure explaining that equality uniformly across the sequence. We give an affirmative test case in the setting of a partition problem. Andrews and Dhar introduced two partition families $\\mathcal{C}_3(n)$ and $\\mathcal{D}_3(n)$, and for \"nonexceptional'' $n$, they asked for a bijective proof of their equality \\[…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-03","reactions":{}}