Математиците приветстват компютърно подпомогнато доказателство в теорията за „голямото обединение“.
Петер Шолце иска да възстанови голяма част от съвременната математика, като започне от един от нейните крайъгълни камъни. Сега той получи потвърждение за доказателство в основата на своето търсене от малко вероятен източник: компютър...