Five volumes, 1,666 pages on the abc conjecture: a global substrate over which Spec Z acquires a base, strain, the Theta-dilation, an unconditional trace-invariance theorem, Theorems A and B conditional on 98 named obligations, and abctk. The abc conjecture remains open. DOI 10.5281/zenodo.23610034.
python open-access category-theory elliptic-curves formal-verification number-theory monograph grothendieck arithmetic-geometry lean4 condensed-mathematics prismatic-cohomology abc-conjecture mathematical-ai ai-for-math certified-computation habiro-ring szpiro-conjecture grothendieckian-programme
-
Updated
Oct 29, 2026 - Python