{"id":"arxiv/2606.24899","url":"https://arxiv.org/abs/2606.24899","tags":["cs.LG","cs.AI","quant-ph"],"score":0,"title":"From Meta Idea to Advanced Mathematical Discovery -- Human-AI Co-Discovery of Sign-Embedding Quantum Algorithms","domain":"cs.LG","source":"arxiv","authors":["Yanqiao Wang","Jin-Peng Liu","Peng Li","Yang Liu"],"reviews":0,"subject":"cs.LG","summary":"AI-assisted mathematics is often evaluated on solving predefined problems. In practice, however, many important advances begin earlier, when a vague research intuition is transformed into a concrete problem, a promising route, and a theorem family worth proving. This report studies that stage through a case study that led to sign-embedding quantum algorithms for matrix equations and matrix functions, foundational primitives in quantum linear algebra and operator-output quantum algorithms. The project began with a human-originated intuition that rational approximation is especially effective…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-06-12","reactions":{}}