{"id":"openai-math/Finite-algebraic-envelopes-and-the-Boone-Higman-conjecture","pdf":"https://github.com/openai/math/blob/main/preprints/Finite-algebraic-envelopes-and-the-Boone-Higman-conjecture-September-23-2026/paper.pdf","url":"https://github.com/openai/math/tree/main/preprints/Finite-algebraic-envelopes-and-the-Boone-Higman-conjecture-September-23-2026","tags":["group-theory","word-problem","decidability"],"score":0,"title":"Finite algebraic envelopes and the Boone–Higman conjecture","domain":"Group theory","family":"250","origin":"ai-generated","source":"openai-math","authors":["OpenAI"],"reviews":0,"subject":"math.GR","summary":"We prove the Boone–Higman conjecture. A finitely generated group has decidable word problem if and only if it embeds in a finitely presented simple group.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":1,"published":"2026-09-23","reactions":{},"discussion":[{"url":"https://proofsandprompts.com/2026/10/08/100-reactions-to-100-solutions/#:~:text=It%20turns%20out%20our%20sufficient%20condition%20always%20works","date":"2026-10-08","kind":"web","site":"Proofs and Prompts","text":"It turns out our sufficient condition always works, and the main mechanism we were missing was morally quite similar to the thing that was our 2025 breakthrough (extremely roughly speaking, the key is affine-like actions of things). So, apparently we were really on to something, and it’s…","added":"2026-10-24","title":"100+ reactions to 100+ solutions"}],"formalized":false,"family_title":"Boone–Higman embeddings with higher finiteness"}