Machine-found counterexample to the Jacobian conjecture lands in a Fields Medal week
soumitrashukla9 · x · 2026-07-21
- A mathematician says a machine-found counterexample to the Jacobian conjecture has appeared, landing in the same week as Fields Medal celebrations.
- The post frames this as a sign of a new era: AI is no longer just assisting proof search, but surfacing results on long-standing open problems.
- A linked talk at the NAS reportedly discussed this broader shift in mathematical work.
Related event: AI Overturns Multiple Math Conjectures, Sparking Heated Debate(13 posts)→
More from Research
- Diamandis: AI Cancer Navigator and $100 Genome Sequencing Close the Care Gap — PeterDiamandis · 2026-10-27
- EMNLP Oral: training-free Nexus Sampling cuts KV-cache memory 10x; OpenResearcher tops BrowseComp-Plus at 54.8% — yuz9yuz · 2026-10-27
- ICML 2026 position paper: LLM 'thinking traces' are a harmful anthropomorphism — rao2z · 2026-10-27
- Forking gap follows a power law in context frequency; masking rare n-grams shrinks it — ZimingLiu11 · 2026-10-27
- How forking happens: n-gram tables split logits into non-interacting subspaces — ZimingLiu11 · 2026-10-27
- The best LoRA explainer video yet: rank constraints meet intrinsic dimension — sophiamyang · 2026-10-27