Matematici vítají počítačově podporovaný důkaz v teorii „velkého sjednocení“.
Peter Scholze chce přestavět velkou část moderní matematiky, počínaje jedním z jejích základních kamenů. Nyní získal potvrzení pro důkaz v srdci svého pátrání z nepravděpodobného zdroje: počítač...