Inicialmente, essa prova não foi aceita por todos os matemáticos porque a prova assistida por computador era inviável para um ser humano verificar manualmente.
ˌinisiˌɑlmˈeɪŋtɨ, ˈɛsɐ pɹˈɔvɐ nˌɐ̃ʊ̃ foɪ ˌɐsˈeɪtɐ puɹ tˈodʊz uʒ mˌɐtɨmˈatikʊʃ pˈoɾəkɨ ɐ pɹˈɔvɐ ˌɐsiʃtˈidɐ puɹ kˌumputɐdˈoɹ ˌɛɾɐ ˌiŋviˈavˌɛl pˌɐɾɐ ũŋ sɨɹ ˌumˈɐ̃nʊ vˌeɾifikˈaɹ mɐnuˌɑlmˈeɪŋtɨ.