Redakcija: 16:03, 13. avgust 2008 uredi XJaM (pogovor \| prispevki) Birokrati, Administratorji 123.627 urejanj m +siz ← Starejše urejanje		Redakcija: 00:32, 14. avgust 2008 uredi razveljavi XJaM (pogovor \| prispevki) Birokrati, Administratorji 123.627 urejanj m →‎Halesov dokaz Novejše urejanje →
Vrstica 41: V letu 1996 je Hales navedel, da je konec projekta na obzorju, vendar bo morda zahteval »še eno ali dve leti«. Avgusta 1998 je najavil, da je dokaz končan. V tej fazi je vseboval 250 strani opomb in 3 [[gigabajt]]e računalniških programov, podatkov in razultatov. Navkljub neobičajni naravi dokaza so se uredniki ''[[Annals of Mathematics]]'' ~~odločijo~~odločili, da ga bodo objavili. Sprejel ga je odbor dvanajstih odbornikov. Leta [[2003]] je po štirih letih dela vodja odbora [[Gábor Fejes Tóth\|Gábor Tóth]] (sin Lászla Tótha) poročal, da je verjetnost pravilnosti dokaza 99 %. Odbor ni mogel potrditi pravilnost vseh računalniških izračunov. Februarja 2003 je Hales objavil 100-stranski članek v katerem je podrobno opisal neračunalniški del svojega dokaza. ''Annals of Mathematics'' bo objavila teoretični del halesovega dokaza. Računalniški del bo objavljen v posebni reviji ''Discrete and Computational Geometry''.

Keplerjeva domneva: Razlika med redakcijama