Największy dowód matematyczny w historii

Węgierski matematyk Paul Erdős, jednym z najwybitniejszych w XX wieku chętnie opowiadał o księdze ksiąg, w której Bóg przechowuje perfekcyjne dowody twierdzeń matematycznych. I wygląda na to, że z tamtej właśnie księgi musi pochodzić dowód jednego z twierdzeń Erdős, znanego jako problem sekwencji ±1, przedstawiony właśnie przez naukowców z Uniwersytetu Liverpoolu, Alexei Lisitsa i Borisa Koneva. Jest to bowiem dowód o objętości większej niż Wikipedia, a dokładnie „waży” aż 13 gigabajtów na dysku.

Dla uczonych to nie tylko rekord „wielkości” dowodu matematycznego, ale również przekroczenie granic „ludzkiej matematyki”. Otwarcie mówi o tym Lisitsa, nazywając wywód, który opublikowali z kolegą czymś „nieludzkim”. Oni sami wykorzystali do przeprowadzenia dowodu komputer o wielkiej mocy obliczeniowej, któremu analiza sekwencji liczbowych zajęła sześć godzin i efektem był wspomniany dowód w postaci dokumentu o trzy gigabajty większego niż cała Wikipedia, której objętość szacuje się na 10 gigabajtów.

Sprawdzenie dowodu twierdzenia Erdősa przez człowieka zajęłoby wiele lat i raczej nie wchodzi w grę. Potrzebny jest zatem jeszcze większy komputer, który wygeneruje jeszcze większy plik, aby to zrobić. Zatem opinie o „nieludzkiej” matematyce są chyba uzasadnione.