Ill-Posed

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

Read the source →

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…

0 comments