Napok óta izgalomban tartja a matematikusokat egy felfedezés, ami a számítógép-tudományban hoz jelentős előrelépést. Abban a tudományágban, ami az információfeldolgozó gépek tervezésének és működtetésének elméleti, matematikai alapjaival foglalkozik.