An AI Proof of 18-Variable Undecidability for Diophantine Equations over $\mathbb{Z}[i]$

Yuchen Ding, Junfeng Li

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…