voevodskyはこの新しい代数的ホモトピー論をミルナー予想の証明に使い(これによって彼はフィールズ賞を受賞した)、後にと協力してを完全に証明するのに使った。