A new invariant for II₁ factors based on Ramsey theory. Computed for free group factors, giving a solution to the isomorphism problem.
Felix-Nicuşor Şelaru (Tue,) studied this question.