Tag
This paper presents a case study of human-AI co-discovery in mathematics, where AI assisted in expanding an intuition about sign-embedding quantum algorithms into a formal framework and proofs, with human judgment guiding route selection.