{"id":"arxiv/2611.01007","url":"https://arxiv.org/abs/2611.01007","tags":["math.GM"],"score":0,"title":"A Computational Verification of the Markov Uniqueness Conjecture for $z\\leq 10^{500000}$","domain":"math.GM","source":"arxiv","authors":["Hu Tan","Ying Zhang"],"reviews":0,"subject":"math.GM","summary":"We describe a finite computational verification of Markov Uniqueness Conjecture for normalized positive integer solutions of $x^2+y^2+z^2=3xyz$ with $z \\leq 10^{500000}$. The archived run reports $239\\,536\\,376\\,556$ triples with distinct maximal coordinates.The method combines a disjoint tree decomposition, certified fixed-point range bounds, a deterministic 48-bit candidate screen,and replay modulo $2^{128}$. We give the mathematical justification and a reproducibility procedure covering package checks,retained-data auditing, and a full rerun. The conclusion depends on correct execution of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-31","reactions":{}}