2009-06-30 Freedman-Gompf-Morrison-Walker, Man and machine thinking about the smooth 4-dimensional Poincaré conjecture math http://jp.arxiv.org/abs/0906.5177
