最初の例は、1980年代始めにマイケル・フリードマンにより、位相4次元多様体についてのフリードマンの定理と滑らかな4次元多様体についてのサイモン・ドナルドソンの定理を対比することで発見された。
在1980年代，西蒙·唐纳森与迈克尔·哈特利·弗里德曼的证明在R4{\displaystyle\mathbb{R}^{4}}上有不可数个相异的微分结构。