Týden na ScienceMag.cz: Nejdelší matematický důkaz, 200 TB dat (diskuse)

[Kurama]

200 terabytový důkaz? To je nějakých 100 miliard normostran. Kdybych dokázal číst rychlostí stránka za vteřinu, tak to budu číst přes 3000 let.

Ten důkaz bude platnej asi jako bžiliontá číslice π =)

[Jendа]

Třeba k tomu dodávají automatický dokazovač, který to přechroupe rychleji.