ペレルマンはポアンカレ予想を解決したが
4次元ポアンカレ予想は未解決
フリードマンの仕事は
4次元ポアンカレ予想の可微分バージョンの解決