我们证明了对于所有的$n$，群$\mathrm{Aut}(F_n)$满足Boone-Higman猜想，即每个$\mathrm{Aut}(F_n)$都可以嵌入到一个有限生成的单群中。实际上，我们证明了每个$\mathrm{Aut}(F_n)$满足“置换”Boone-Higman猜想，这意味着所涉及的单群可以被取为扭曲的Brin-Thompson群。我们的方法的一个深远影响是，有限生成的扭曲Brin-Thompson群在所有有限生成且高度传递的单群中具有普适性。这表明Boone-Higman猜想与其置换版本可能是等价的。证明了$\mathrm{Aut}(F_n)$满足该猜想也确认了所有（拟）嵌入某个$\mathrm{Aut}(F_n)$的群满足该猜想，例如非闭曲面的映射类群、编织群、环编织群、带编织群以及某些Artin群。我们的方法还回答了第一作者和第四作者与Bleak和Matucci提出的一些问题。我们方法的另一个结果是，满足置换Boone-Higman猜想的性质在自由积下是封闭的。

We prove that the groups $\mathrm{Aut}(F_n)$ satisfy the Boone-Higman conjecture for all $n$, meaning each $\mathrm{Aut}(F_n)$ embeds in a finitely presented simple group. In fact, we prove that each $\mathrm{Aut}(F_n)$ satisfies the "permutational" Boone-Higman conjecture, which means the simple group in question can be taken to be a twisted Brin-Thompson group. A far-reaching consequence of our approach is that finitely presented twisted Brin-Thompson groups are universal among finitely presented simple groups that are highly transitive. This is evidence toward the Boone-Higman conjecture being equivalent to its permutational version. Proving the conjecture for $\mathrm{Aut}(F_n)$ also confirms the conjecture for all groups (virtually) embedding into some $\mathrm{Aut}(F_n)$, such as mapping class groups of non-closed surfaces, braid groups, loop braid groups, ribbon braid groups and certain Artin groups. This answers several questions of the first and fourth authors with Bleak and Matucci. Yet another consequence of our approach is that satisfying the permutational Boone-Higman conjecture is closed under free products.