مغز عجیبترین ریاضیدان قرن بیستم، چالشی بینظیر برای پیشرفتهترین سیستمهای کامپیوتری امروز بهجا گذاشت؛ رازی که حل آن نیازمند قدرت استدلال است.