{"id":"hexagon/2610.00568","pdf":"https://hexagonmath.org/pdf/2610.00568v1","url":"https://hexagonmath.org/abs/2610.00568v1","tags":["msc:11R29"],"score":0,"title":"A proof Gauss might have found","domain":"math.NT","origin":"ai-generated","source":"hexagon","authors":["Roelof van Dijk"],"reviews":0,"subject":"math.NT","summary":"Ben Green’s historical variant of Tao’s recent tenth discriminant challenge [5] asks how early Gauss’s class-number-one conjecture could have been proved using mathematics then in print. Through discussions with GPT-6 Astra and Opus 5.5, we construct a proof of Gauss’s class-number-one conjecture [1] from ingredients published by 1808, specializing the Frobenius determinant argument [6]. Counting values of the principal form and summing factorial valuations reduce the proof to a residue sieve below 17000.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"ai_models":["ChatGPT","ChatGPT","Claude Opus"],"discussed":0,"published":"2026-10-26","reactions":{},"withdrawn":false,"authorship":"mixed","formalized":false,"human_understanding":"none"}