{"id":"openai-math/Simple-F-infinity-overgroups-of-groups-with-decidable-word-problem","pdf":"https://github.com/openai/math/blob/main/preprints/Simple-F-infinity-overgroups-of-groups-with-decidable-word-problem-September-23-2026/paper.pdf","url":"https://github.com/openai/math/tree/main/preprints/Simple-F-infinity-overgroups-of-groups-with-decidable-word-problem-September-23-2026","tags":["group-theory","geometric-group-theory","word-problem","finiteness-properties"],"score":0,"title":"Simple F∞ overgroups of groups with decidable word problem","domain":"Group theory","family":"250","origin":"ai-generated","source":"openai-math","authors":["OpenAI"],"reviews":0,"subject":"math.GR","summary":"Every finitely generated group with decidable word problem embeds in a simple group of type F ∞ . This resolves the higher-finiteness strengthening of the Boone–Higman conjecture.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-23","reactions":{},"formalized":false,"family_title":"Boone–Higman embeddings with higher finiteness"}