{"id":"arxiv/2609.10420","url":"https://arxiv.org/abs/2609.10420","tags":["math.AG"],"score":0,"title":"Pierce-Birkhoff conjecture is false","domain":"math.AG","source":"arxiv","authors":["Zehua Lai","Lek-Heng Lim","Junyu Ren"],"reviews":0,"subject":"math.AG","summary":"We provide a counterexample to the Pierce-Birkhoff conjecture: a continuous function that is piecewise quadratic on a finite collection of semialgebraic sets that partition $\\mathbb{R}^n$ but that cannot be expressed as a finite lattice combination of polynomials. The counterexample was found with the assistance of our multi-agent, multi-model setup that chains together GPT 5.6, GPT 6, Claude Opus 5, and Claude Fable 5.1.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-09","reactions":{}}