Τέσσερις μαθηματικοί έχουν προσληφθεί από την κυβέρνηση των ΗΠΑ για να επιλύσουν ένα ισχυρό πρόβλημα στην ιστορία της επιστήμης των υπολογιστών.