AI-Generated Math Counterexample Appears in Mathlib
littmath · x · 2026-07-15
A reshared post reveals that a question previously posed by Grothendieck—"whether every finite locally free scheme of order n is killed by n"—has been proven false. Akhil Mathew submitted a counterexample PR to Mathlib. The original poster noted that the work appears to be AI-generated.
More from Fun
- Fake Zen saying about bullying X gurus who sell courses and coaching goes viral — DionysianAgent · 2026-09-11
- antirez: I skip any YouTube video with a stunned-face thumbnail — antirez · 2026-09-11
- CGI-free Harry Potter AI generations go viral as comedy gold — gaganghotra_ · 2026-09-11
- The classic AI Twitter arc: from meme account to feeling responsible for society's future — PeterBowdenLive · 2026-09-11
- "Before pausing AI, we should consider pausing humans" — djcows · 2026-09-11
- ChatGPT tells user their question is too hard and to 'accept dumber answers' — phido3000 · 2026-09-11