bluesky — assigned cromulent at birth — 13 Sep 2026
A 14 million line proof does not advance human understanding of math, because humans cannot parse the structure of a tex…
#ai-mathematics #proof-verification #mathematical-philosophy
A 14 million line proof does not advance human understanding of math, because humans cannot parse the structure of a text that long in a way that provides for understanding