Cherlin–Zil'ber conjecture for tame simple $K^*$-groups

Let $G$ be an infinite simple tame $K^*$-group, where a $K^*$-group is a group of finite Morley rank in which every proper definable subgroup is a $K$-group, and a $K$-group is one whose every infinite simple definable and connected section is an algebraic group over an algebraically closed field.

Tame $K^*$-group conjecture. The group $G$ is isomorphic to an algebraic group over an algebraically closed field.

The paper presents this as the reduction of the Cherlin–Zil'ber classification conjecture in an inductive setting. The supplied text does not state whether this reduced formulation has been resolved, so its status is left open.