Track the frontier, from condensed matter to cosmology.
Search papers, labs, and topics across Lattice.
Addressing a longstanding open problem in quantum query complexity, this work establishes the optimal query constant for quantum ordered search. Determining this exact constant has eluded researchers since the problem's formulation, despite known constant-factor speedups over classical binary search. Using AI-driven discovery via Claude Fable 5 and GPT-5.6-Sol, the authors exhibit both a zero-error and an exact algorithm that achieve the optimal bound of $\frac{1}{\pi}\ln n + o(\log n)$ queries.
Frontier AI models have resolved a decades-old open problem in theoretical computer science by pinpointing the exact optimal bound of $\frac{1}{\pi}\ln n$ queries for quantum ordered search.
Ordered search is the problem of locating a target element in a sorted list of size $n$ using comparison queries. Classically, binary search requires $\lceil \log_2 n\rceil$ queries, which is optimal. Quantum algorithms offer a constant-factor speedup, but the precise constant has been a longstanding open question. We close this gap by exhibiting two new quantum algorithms for ordered search, each using the optimal $\frac{1}π\ln n+o(\log n)$ queries. The first, discovered by Claude Fable 5, is a simple zero-error algorithm derived from a continuum relaxation of the problem. The second, discovered by GPT-5.6-Sol (informed by Claude's zero-error algorithm), is an exact algorithm based on an analytic solution of the polynomial program of Farhi, Goldstone, Gutmann, and Sipser.