Grok-generated group theory proof claims to settle open Boone-Higman case
Sauers_ · x · 2026-09-14
A user posted a Grok-generated theorem and proof: every finitely generated metabelian group embeds in a finitely presented simple group, generalized to fg subgroups of finite products of linear groups over fields of differing characteristics, combining Wehrfritz's theorem, Steinberg group/K-theory results, and Zaremsky's embedding theorem. Grok noted this would fill a main open case in the Boone-Higman landscape, pending verification via a paper or proof sketch.
More from Research
- 'Centuries of linear algebra plus GPUs, and matrices now write poetry' — aminkarbasi · 2026-09-14
- Microsoft and UIUC's StudentSim trains LLM student simulators with real knowledge boundaries — jiqizhixin · 2026-09-14
- 2010 SIGGRAPH paper resurfaces: eigenflows as stable Navier-Stokes solutions for real-time art — wgilpin0 · 2026-09-14
- Horse racing as an ML ranking problem: 1.18M runners, model AUC 0.729 still trails the 0.790 market baseline — gcampb41 · 2026-09-14
- Yoav Goldberg asks whether Lean proofs can constitute genuinely novel mathematics — yoavgo · 2026-09-14
- Agent trace dataset hits 50k+ monthly downloads — author speculates on SFT and reward-hacking monitor uses — maksym_andr · 2026-09-14