Solomon's classification conjecture for simple 2-fusion systems

Establish that every simple saturated 2-fusion system is either a Benson–Solomon fusion system or the 2-fusion system F_S(G) of a finite simple group.

Background

Within the classification program for saturated 2-fusion systems, the only known exotic simple examples are the Benson–Solomon fusion systems. The conjecture attributed to Solomon posits that these, together with the group-derived systems from finite simple groups, exhaust all possibilities for simple 2-fusion systems.

Confirming this conjecture would largely complete the landscape for simple 2-fusion systems and significantly constrain the existence of exotic structures at the prime 2.