AI-Generated Mathematical Paper on Nonhyperlinear Groups Published, Awaiting Human Verification
An AI-generated mathematical paper, titled 'Nonhyperlinear groups exist,' has been published by Jihao Liu, with its proof accepted by the Danus verifier. The paper constructs a countable discrete group that is not hyperlinear, providing a negative answer to Connes’ embedding problem for groups. The group is a generalized wreath product W = (⊕ G/Γ Z/2) ⋊ G, where Γ = EL3(F2[x1, x2, x3]) and G = EL3(F2[x1±1, x2±1, x3±1]) ⋊ SL3(Z). This work builds on previous research, including the first nonsofic group found by OpenAI. A key new ingredient is a theorem on tracial ultraproducts of matrix algebras, which offers a positive answer to the centralizer problem (Open Problem 6.2(a) of Alekseev and Thom). The Danus system, utilizing seven proof workers, found the proof in 7 hours and 11 minutes. The manuscript explicitly states that while the proof has been machine-checked, it has not yet been verified by a human, urging readers to independently check all mathematical claims.