{"id":"arxiv/2606.12776","url":"https://arxiv.org/abs/2606.12776","tags":["math.NT"],"score":0,"title":"An AI Proof of 18-Variable Undecidability for Diophantine Equations over $\\mathbb Z[i]$","domain":"math.NT","source":"arxiv","authors":["Yuchen Ding","Junfeng Li"],"reviews":0,"subject":"math.NT","summary":"This paper presents an AI proof that there is no algorithm deciding whether a polynomial equation over the Gaussian integers in $18$ unknowns has a solution. The proof improves the $20$-unknown theorem of Matiyasevich and Sun. It follows their rationality criterion and integer test, but saves two variables: the clearing-denominator variable is avoided by imposing two integer conditions, and the remaining nonzero condition is absorbed into the relation-combining lemma by the one-variable gadget $(2R+1)(3R+1)$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-11","reactions":{}}