{"id":"arxiv/2603.08322","url":"https://arxiv.org/abs/2603.08322","tags":["cs.AI","cs.HC","math.CO"],"score":0,"title":"Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design","domain":"cs.AI","source":"arxiv","authors":["Hai Xia","Carla P. Gomes","Bart Selman","Stefan Szeider"],"reviews":0,"subject":"cs.AI","summary":"We study mathematical discovery through the lens of neurosymbolic reasoning, where an AI agent powered by a large language model (LLM), coupled with symbolic computation tools, and human strategic direction, jointly produced a new result in combinatorial design theory. The main result of this human-AI collaboration is a tight lower bound on the imbalance of Latin squares for the notoriously difficult case $n \\equiv 1 \\pmod{3}$. We reconstruct the discovery process from detailed interaction logs spanning multiple sessions over several days and identify the distinct cognitive contributions of…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-03-09","reactions":{}}