چهار ریاضیدان توسط دولت ایالات متحده استخدام می شوند تا قوی ترین مسئله تاریخ علم کامپیوتر را حل کنند.