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
- AIR: Effective-Learning-Rate Scheduler Beats Cosine on 128B-Token MoE Pretraining — stochasticchasm · 2026-10-30
- NVIDIA researcher: train robot policies with privileged sim info, improving Pi 0.5 — wellecks · 2026-10-30
- CMU's Gym-Anything Auto-Builds 200+ Agent Environments from Any Software, Selected by GDP — wellecks · 2026-10-30
- CMU Auto-Builds 25 Robot Simulations with Agents; Frontier Model Solves 0 of 25 Test Tasks — wellecks · 2026-10-30
- Leveraging Simulator Privileged Information: Three Methods to Improve Robot Models — wellecks · 2026-10-30
- DeepMind's f_charton shares his take on the current state of AI and mathematics in Sorbonne talk — f_charton · 2026-10-30