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
- Tesla’s new Caraoke scoring update becomes a relationship joke — XFreeze · 2026-07-22
- Gemini Omni Flash turns a boat cabin into a cave in Flow by Google — chrisfirst · 2026-07-22
- GitHub review bot hits its PR limit and forces a 39-minute cooldown — DanielLockyer · 2026-07-22
- AI turns a revenge prompt into a self-help pep talk in a new meme screenshot — colorlys7 · 2026-07-22
- Hand-painted figurines run through Seedance look eerily alive — cocktailpeanut · 2026-07-22
- An AI agent-made bayou country music video is making the rounds on Reddit — LazyKaleidoscope4696 · 2026-07-22