问题
有限单群 «两元素生成» 已成定理（阿斯巴克斯–格鲁拉克–卢贝茨基，经 CFSG）， «随机对大概率生成» 也已证（利贝克–沙列夫）。本问的 «两个对合» 版本则要先做一次重要的概念澄清：两个对合生成的群必是二面体群（命题 1 给完整证明），故字面版对一切非二面体单群自动否定。当代真正在推进的是三个等价强度的现代形式：①对合 + 另一元素生成（(2, x)-生成）；②三对合生成；③(2, 3)-生成（对合 + 三阶元）。三条战线在 CFSG 框架下都已大幅推进。
主要概念
对合生成的二面体陷阱
对合 a, b 的积 ab 被 a 反转（(ab)a = ba = (ab)−1），故 ⟨ab⟩ 被 ⟨a⟩ 正规化，⟨a, b⟩ = ⟨ab⟩⋊⟨a⟩ 是二面体群的商—— «二面体谱 » 封死了非二面体单群的两对合生成。
(2, 3)-生成与三角形群
⟨x, y | x² = y³ = (xy)k = 1⟩ 型三角形群的有限商宇宙覆盖了绝大多数单群：An（n ≥ 9 及小例外核查）、多数李型群已证 (2, 3)-生成； «随机 (2, 3)-对 » 的概率渐近（利贝克–沙列夫）是概率侧的平行定理。
主要命题与证明
命题 1（完整证明：字面版的不可能性） 两个对合生成的群是二面体群（或其商）。故有限单群被两对合生成 ⟺ 它是 C₂——一切非交换单群自动排除字面版。
证明 设 a² = b² = 1，记 d = ab。则 dad… 精确地：共轭 da = a(ab)a = ba = d−1，故 a 反转 ⟨d⟩ 的每个元素（dka = d−k），⟨d⟩ ⊴ ⟨a, b⟩。任一元素可写成 dk 或 dka（消去算法：b = d−1a，一切字归约为 «⟨d⟩ 倍数 + 可选 a»），即 ⟨a, b⟩ = ⟨d⟩ ∪ ⟨d⟩a——二面体结构。□
命题 2（对合 + 另一元素，完整骨架） 每个非交换单群都有生成对 (t, g)，t 是对合。骨架：李型群取 «长根对合 » 与 «单参数 » 元，经布鲁哈特分解 «对合 × 环绕 » 覆盖群；交错群取显式对合对 5-轮换的 «若尔当判据 » 验证（传递 + 素阶轮换 ⟹ ≥ An）；散在群 GAP 枚举逐个核验。□
命题 3（(2, 3)-生成与三对合，完整陈述） ①An（n ≥ 9；5 亦真，6/7/8 例外）与多数李型群 (2, 3)-生成；②«每个有限单群由三个对合生成 » 在 CFSG 逐族核验下大面积成立（三对合不再有二面体陷阱——三阶 ⟨a, b, c⟩ 的积 abc 结构自由度足够）；③随机版：随机 (2, 3)-对生成概率 → 1（利贝克–沙列夫）。□
进展与文献
Dixon《Generating sets of finite simple groups》；Liebeck–Shalev 的概率生成系列；Malle–Saxl 与 Guralnick 等的 «对合生成 » 定理族；Conder 的三角形群商理论（(2, 3, k) 谱）。开放核心：三对合生成的最后散在核查；(2, 3)-生成的完整家族表（剩余李型小秩情形）；«生成对谱 » 的系统化（哪些共轭类对 (C₁, C₂) 生成——迪克逊谱在 PSL₂ 的完全计算是黄金标准）。