Gamifying quantum research: harnessing human intuition

Aspasia V. Oikonomou

Andrea Gawrylewski

Yanqiao Wang, Jin-Peng Liu, Peng Li +1 more

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 for jump-type functions such as the sign function, and might therefore serve as a design principle for quantum algorithms. Rather than merely assisting after the problem was fixed, AI-assisted exploration, including workflows later integrated into the agentic AI-mathematician system AIM, played a key role in expanding this intuition into a route map, comparing candidate formulations, and converging toward sign embedding as the central framework. AIM then helped connect a known matrix-sign identity to wider classes of matrix equations and matrix functions, and drafted proof and complexity calculations. The decisive scientific judgments remained human: selecting which human-AI-expanded routes were worth pursuing, rejecting a Cayley-trapezoidal approximation when its validity required a hidden condition, and refining the Sylvester implementation from a coarse quadratic-gap query route to the final factorized and scaled analysis. The report argues that human-AI co-discovery workflows, with systems such as AIM as important components, are most valuable not as standalone theorem provers, but as research partners for problem formation, connection discovery, derivation, and skeptical review inside a human-gated research loop.

R. A. Wolf

No one should wait until college to get acquainted with core concepts of quantum information. Given the human bias of favouring the familiar over the unknown, early exposure to concepts of quantum information helps learners build stronger appetence for the field, as well as allowing them to develop an intuitive approach to it. In this work, I present an intuitive gamified approach to one of the core concepts in quantum error correction: the stabiliser formalism.

Brittany Corn-Agostini, Emily Palmer

Pi Liu, Denny Yu