1983年、アティヤの学生サイモン・ドナルドソンは滑らかな4次元微分可能多様体の分類では、位相同型の違いを除いた分類とは異なっていることを示す方向の研究を進めた。
1983年，阿蒂亚的学生西蒙·唐纳森在这个工作之上证明了光滑4-流形的可微性分类和同胚性分类非常不同。