bluesky — Lina Jane — 9 Oct 2026
it is on going. i mean they retracted 3 and then i heard the hodge proof had a sign error. a fucking sign error! i don't…
#ai-assisted-mathematics #mathematical-verification #proof-formalization
it is on going. i mean they retracted 3 and then i heard the hodge proof had a sign error. a fucking sign error! i don't trust the model to be doing formalization well enough for this whole thing not to be a flop. i think the low-level and some mid-tier results will survive but the big ones will