Eine wichtige Anwendung des PCP-Theorems ist, dass es Ergebnisse vom Typ "Härte der Approximation" liefert. In relativ einfacheren Fällen kann man eine solche Härte ohne PCP nachweisen. Gibt es jedoch einen Fall, in dem die Härte des Approximationsergebnisses zuerst mit dem PCP-Theorem bewiesen wurde, dh das Ergebnis war vorher nicht bekannt, aber später wurde ein direkterer Beweis gefunden, der nicht von PCP abhängt? Mit anderen Worten, gab es einen Fall, in dem PCP zuerst notwendig erschien, später jedoch beseitigt werden konnte?