Vánoční rekord: Počítače našly nové největší prvočíslo