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
- Ex-Yahoo CEO Marissa Mayer outsourced a school assignment for her daughter to AI — Polymarket · 2026-10-27
- Clifford Pickover challenges AI to decipher a message he encoded in Norse runes — pickover · 2026-10-27
- Viral post: we refine sand to 99.99999% purity to build the smartest thing ever — for email — CatAstro_Piyush · 2026-10-27
- $50, 2-hour Kurzgesagt-style AI video reignites debate over intent in AI creation — motionbynick · 2026-10-27
- Fake-paper meme shows an agent workflow for reverse engineering trading systems into a one-person quant fund — PtrPomorski · 2026-10-27
- Steering two orthogonal concept neurons makes a model compose "gnome" — Sauers_ · 2026-10-27