mastodon — josh g. — 27 Oct 2026
Every maths-related "proof" released by an AI company should be treated as though posted to arXiv by someone u…
#ai-mathematics #formal-verification #research-integrity
Every maths-related "proof" released by an AI company should be treated as though posted to arXiv by someone unaffiliated with any math department anywhere and with no existing track record of math research. If the latter would be assumed to be faulty or a quack at worst, why are we assuming better from tech companies' text generating linear algebra systems #math #themathpocalypseisf…