Секретный проект по разрешению спорного математического доказательства с помощью компьютера.

Группа математиков, работая втайне более двух лет, приступила к решению одной из самых долгих и ожесточенных битв в современной математике….