Največje znano praštevilo potrjeno

Projekt distribuiranega izračunavanja GIMPS je odkril novo največje praštevilo na svetu. Gre za število 2^43.112.609 − 1, ki ima v decimalnem zapisu dobrih 12 milijonov števk, kar bi v standardno stavljenem tekstu zavzelo 3461 strani, o čemer smo že pisali. Sedaj pa je tudi uradno potrjeno, da GIMPS bo od Electronic Frontier Foundation prejel 100.000 dolarjev nagrade za odkritje tako ogromnega praštevila, od katerih bo šla četrtina v dobrodelne namene, polovica pa na matematični oddelek UCLA, kjer je GIMPS tekel. Obupati pa tudi ostalim iskalcem še ne gre, saj praštevilo z več kot sto milijoni števk prinaša 150.000 dolarjev, tako z milijardo pa 250.000 dolarjev.

Zvedavi bralec bo pri brskanju po seznamih največjih znanih praštevil bržkone hitro zastrigel z ušesi ob ugotovitvi, da so vsa največja znana praštevila oblike 2^p - 1. Zanje imamo celo posebno ime, pravi se jim namreč Mersennova praštevila. To ni posledica kakšne specialne distribucije praštevil na številski osi, marveč omejene računske moči računalnikov. Testiranje praštevilskosti je v splošnem matematično zahteven problem, za Mersennova praštevila pa obstaja genialen test, ki ga je sredi 19. stoletja razvila Lucas, dobrih 70 let pozneje pa dopolnil Lehmer. Projekt GIMPS zato išče le praštevila take vrste, pri čemer mu gre kar dobro. V 13 letih delovanja so odkrili prav toliko praštevil.