A Grothendieck joke meets an AI math debate
teortaxesTex · x · 2026-07-20
- A short jab at the idea that Grothendieck would now side with machines.
- The attached thread discusses an apparent AI-assisted breakthrough in algebraic geometry: a postdoc and another researcher had spent years brute-forcing candidate counterexamples to the Jacobian Conjecture, while a later system reportedly found one in degree 7.
- Commenters debate whether the result is being oversold as a marketing stunt, whether the search space was constrained, and how much actual LLM involvement there was.
- One reply notes earlier work that put a lower bound of about 100 for counterexamples in that framework, later improved to 108 in a cited arXiv paper.
More from Fun
- mark_k: "Eject all doomers from the AI companies — they're destroying you from the inside" — mark_k · 2026-09-11
- rand_longevity: the only thing left to worry about is surviving until aging is solved — rand_longevity · 2026-09-11
- Author retracts 'a16z partner calls for nationalising frontier AI' post: likely a troll — S_OhEigeartaigh · 2026-09-11
- No, Linus Doesn't Code on GitHub — Those Green Squares Are Merge Commits From kernel.org — _jaydeepkarale · 2026-09-11
- Five Years Into the AI Boom, Google Docs Still Red-Underlines 'Compute' as a Noun — ohlennart · 2026-09-11
- Open ECDSA.fail challenge uses AI agents to shrink Shor's-algorithm quantum circuits for Bitcoin keys — StefanoGogioso · 2026-09-11