Progress around the Boone-Higman Conjecture

A conjecture of Boone and Higman from the 1970's asserts that a finitely generated group $G$ has solvable word problem if and only if $G$ can be embedded into a finitely presented simple group. We comment on the history of this conjecture and survey recent results that establish the conjecture for many large classes of interesting groups.
Comment: v2: minor changes, submitted version. 22 pages