Man and machine thinking about the smooth 4-dimensional Poincaré conjecture

Michael Freedman, Robert Gompf, Scott Morrison +1

While topologists have had possession of possible counterexamples to the smooth 4-dimensional Poincaré conjecture (SPC4) for over 30 years, until recently no invariant has existed…