Mobili versija | Apie | Visos naujienos | RSS | Kontaktai | Paslaugos
 
Jūs esate čia: Pradžia » Visos temos » Mokslas » Matematika

Kompiuteris metė neįveikiamą matematinį iššūkį žmogaus protui

2014-02-22 (16) Rekomenduoja   (4) Perskaitymai (8286)
    Share

Regis, mes priartėjome prie esminės žmonijos civilizacijos raidos ribos. Žmonių sukurti kompiuteriai jau seniai prie šachmatų lentos įveikinėja tituluotus didmeistrius, o robotai - chirurgai sėkmingai pavaduoja profesionalus rutininių operacijų metu.

Dabar paaiškėjo, jog dar viena žmonių intelekto naudojimo sritis iškėlė baltą vėliavą prieš mašiną: apmaudu, bet tai matematika.

„Physorg“ pranešė, jog kompiuteris pateikė matematinį rodymą, kurio patikrinti nepajėgs nė vienas žmogus. Liverpulio universiteto (D. Britanija) matematikai Aleksejus Lisica ir Borisas Konevas iškėlė įdomią problemą: jei kompiuteris pateikia matematinės užduoties, kuri pernelyg sunki, kad ją būtų galima išspręsti, sprendimą, kaip galima spręsti apie jo teisingumą?

„arXiv“ paskelbtame savo straipsnyje mokslininkai aprašė savo sukurtą kompiuterinę programą, skirtą nedidelei daliai Erdös'o neatitikimo problema (Erdős discrepancy problem) vadinamai užduočiai spręsti.

Rezultatas buvo ne toks jau netikėtas: mokslininkai manė, kad kompiuteris darbuosis ilgai, o jo darbo rezultatas bus įspūdingos apimties. Tačiau galiausiai jie liko nustebinti: kompiuterinis failas su užduoties sprendimo atsakymu užėmė 13 gigabaitų! Tai 2 gigabaitais daugiau, nei visos „Wikipedia“ enciklopedijos apimtis.

Dabar mokslo pasauliui iškilo dilema: arba pasikliauti skaičiavimo mašinų pateiktais įrodymais ir išvadomis (nors nepajėgiame patikrinti jų teisingumo), arba atsisakyti jas naudoti ir taip apriboti savo pačių galimybes.

Verta skaityti! Verta skaityti!
(29)
Neverta skaityti!
(1)
Reitingas
(4)
Komentarai (16)
Komentuoti gali tik registruoti vartotojai
Naujausi įrašai

Įdomiausi

Paros
99(5)
61(0)
31(0)
24(0)
22(0)
22(0)
15(0)
14(7)
13(1)
Savaitės
107(14)
76(0)
74(6)
63(1)
Mėnesio
156(0)
133(27)
126(0)
111(5)
110(0)