Recently, Aletheia (courtesy of Tony Feng) helped Stanford mathematician Ciprian Manolescu tackle Problem 5.16 from the K3 list (3rd version of Kirby’s List) in low-dimensional topology, autonomously generating proofs for the new paper “Undecidability problems for semifree DG

→ View original post on X — @lmthang