Matematikai Atrado Kompiuterio Problemą, Kurios Niekas Niekada Negali Išspręsti

{h1}

Mokslininkai, dirbantys su mašinų mokymu, atrado problemą, kurios niekas niekados niekur negalės išspręsti.

Iš Austrijos kilęs matematikas Kurtas Godelis Išplėstinių studijų institute.

Iš Austrijos kilęs matematikas Kurtas Godelis Išplėstinių studijų institute.

Matematikai atrado problemą, kurios jie negali išspręsti. Tai nereiškia, kad jie nėra pakankamai protingi; paprasčiausiai nėra atsakymo.

Problema susijusi su mašininiu mokymu - dirbtinio intelekto modeliais, kuriuos kai kurie kompiuteriai naudoja „išmokti“ atlikti tam tikrą užduotį.

Kai „Facebook“ ar „Google“ atpažįsta jūsų nuotrauką ir siūlo jums priskirti sau žymą, jis naudojasi mašininiu mokymu. Kai pats važiuojantis automobilis važiuoja judrioje sankryžoje, tai yra mašinų mokymasis. Neuromokslininkai naudojasi mašininiu mokymu, norėdami „perskaityti“ kažkieno mintis. Masinio mokymosi dalykas yra tas, kad jis remiasi matematika. Dėl to matematikai gali tai išstudijuoti ir suprasti teoriniu lygmeniu. Jie gali parašyti absoliučius įrodymus apie tai, kaip veikia kompiuterinis mokymasis, ir visais atvejais juos pritaikyti. [Nuotraukos: dideli skaičiai, apibūdinantys visatą]

Šiuo atveju matematikų komanda sukūrė mašininio mokymosi problemą, vadinamą „įvertinant maksimumą“ arba „EMX“.

Norėdami suprasti, kaip veikia EMX, įsivaizduokite tai: norėtumėte patalpinti skelbimus svetainėje ir maksimaliai padidinti tai, kiek žiūrovų bus nukreipti pagal šiuos skelbimus. Turite skelbimų, skirtų sporto gerbėjams, kačių mylėtojams, automobilių fanatikams ir mėgėjams, ir kt., Tačiau iš anksto nežinote, kas lankysis svetainėje. Kaip pasirenkate skelbimą, kuris padidins jūsų nukreipiamų žiūrinčiųjų skaičių? EMX turi išsiaiškinti atsakymą, pateikdamas tik nedaug duomenų apie tai, kas lankosi svetainėje.

Tada tyrėjai uždavė klausimą: kada EMX gali išspręsti problemą?

Esant kitoms kompiuterinio mokymosi problemoms, matematikai paprastai gali pasakyti, ar mokymosi problemą konkrečiu atveju galima išspręsti remiantis jų turimais duomenų rinkiniais. Ar pagrindinį metodą, kurį „Google“ naudoja jūsų veidui atpažinti, galima pritaikyti prognozuojant akcijų rinkos tendencijas? Nežinau, bet kažkas gali.

Bėda ta, kad matematika tarsi nutrūko. Jis nutrūko nuo 1931 m., Kai logistas Kurtas Gödelis paskelbė garsiąsias neužbaigtumo teoremas. Jie parodė, kad bet kurioje matematinėje sistemoje yra tam tikrų klausimų, į kuriuos negalima atsakyti. Jie nėra iš tikrųjų sunkūs - jie nežinomi. Matematikai sužinojo, kad jų galimybės suprasti visatą buvo iš esmės ribotos. Gödelis ir kitas matematikas, vardu Paulas Cohenas, rado pavyzdį: tęstinės hipotezės.

Tęstinė hipotezė yra tokia: matematikai jau žino, kad yra skirtingo dydžio begalybės. Pavyzdžiui, yra be galo daug sveikųjų skaičių (skaičiai kaip 1, 2, 3, 4, 5 ir tt); ir yra be galo daug realiųjų skaičių (kurie apima skaičius, pvz., 1, 2, 3 ir panašiai, bet jie taip pat apima tokius skaičius, kaip 1,8 ir 5222,7 ir pi). Bet net jei yra be galo daug sveikųjų skaičių ir be galo daug realiųjų skaičių, yra tikrai daugiau realiųjų skaičių nei yra sveikų skaičių. Kyla klausimas, ar yra kokių nors begalinių dalių, didesnių už sveikųjų skaičių aibę, bet mažesnių už realiųjų skaičių aibę? Tęstinėje hipotezėje sakoma, kad ne, jų nėra.

Gödel ir Cohen parodė, kad neįmanoma įrodyti, kad ištisinė hipotezė yra teisinga, bet taip pat neįmanoma įrodyti, kad ji neteisinga. "Ar ištisinė hipotezė yra tiesa?" yra klausimas be atsakymo.

Pirmadienį, sausio 7 d., Publikuotame žurnale „Nature Machine Intelligence“ tyrėjai parodė, kad EMX yra neatsiejamai susijęs su tęstinumo hipoteze.

Pasirodo, EMX gali išspręsti problemą tik tuo atveju, jei ištisinė hipotezė yra teisinga. Bet jei tai netiesa, EMX negali.. Tai reiškia, kad klausimas: "Ar EMX gali išmokti išspręsti šią problemą?" turi tokį patį nežinomą atsakymą, kaip pati hipotezė.

Geros žinios yra tai, kad tęstinės hipotezės sprendimas nėra labai svarbus daugumai matematikos. Ir panašiai, ši nuolatinė paslaptis gali nesudaryti didelių kliūčių mašinų mokymuisi.

„Kadangi EMX yra naujas mašininio mokymosi modelis, mes dar nežinome jo naudingumo kuriant realaus pasaulio algoritmus“, - rašė Levas Reyzinas, Čikagos Ilinojaus universiteto matematikos profesorius, kuris nedirbo popieriaus. pridedamame „Nature News & Views“ straipsnyje. „Taigi šie rezultatai gali pasirodyti neturintys praktinės svarbos“, - rašė Reyzin.

Kovodamas su neišsprendžiama problema, rašė Reyzin, yra tarsi plunksna mašininio mokymosi tyrinėtojų dangtelyje.

Tai įrodo, kad mašinų mokymasis „subrendo kaip matematikos disciplina“, - rašė Reyzin.

Mašinų mokymasis „dabar prisijungia prie daugelio matematikos poskyrių, kuriuose nagrinėjama neišpildomumo našta ir su tuo susijusios neramumai“, - rašė Reyzin. Galbūt tokie rezultatai, kaip šis, mašinų mokymosi srityje atneš sveiką nuolankumo dozę, net jei mašininio mokymosi algoritmai ir toliau revoliucionuoja mus supantį pasaulį. "

  • Albumas: Gražiausios pasaulio lygtys
  • 9 masyviausi skaičiai
  • Susukta fizika: 7 protu nesuvokiami radiniai

Redaktoriaus pastaba: Ši istorija buvo atnaujintasausio 14 d., 14.15 val. EST ištaisyti ESS apibrėžimą tęstinė hipotezė. Straipsnyje iš pradžių teigiama, kad jei kontinuumo hipotezė yra tiesa, tada yra begalybės, didesnės nei sveikųjų skaičių aibė, bet mažesnės už realiųjų skaičių aibę. Tiesą sakant, jei kontinuumo hipotezė yra tiesa, tada nėra ne infinitetų, didesnių už sveikųjų skaičių aibę, bet mažesnių už realiųjų skaičių aibę.

Iš pradžių paskelbta Gyvasis mokslas.


Vaizdo Papildas: .




Tyrimas


Vidurinės Mokyklos Moksleivis Kuria Cheminį Detektorių Robotą
Vidurinės Mokyklos Moksleivis Kuria Cheminį Detektorių Robotą

„Wright“ Skrajutės: 1903, 1905 Ir 1908 M
„Wright“ Skrajutės: 1903, 1905 Ir 1908 M

Mokslas Naujienos


Keista Priežastis, Kodėl Šio Mėnesio Mėnulio Pilnatis Yra „Mėlyna“
Keista Priežastis, Kodėl Šio Mėnesio Mėnulio Pilnatis Yra „Mėlyna“

Susitelkia Neryškių Krūmų „Šaudymo“ Žvaigždės (Nuotrauka)
Susitelkia Neryškių Krūmų „Šaudymo“ Žvaigždės (Nuotrauka)

Pėdų, Kojų Amputacijų Sumažėjimas Sergantiems Diabetu
Pėdų, Kojų Amputacijų Sumažėjimas Sergantiems Diabetu

Veteranai Gali Susidurti Su Sunkiu Pertvarkymu Po Irako
Veteranai Gali Susidurti Su Sunkiu Pertvarkymu Po Irako

Nuotraukose: Niokojantys Laukiniai Gaisrai Kalifornijoje
Nuotraukose: Niokojantys Laukiniai Gaisrai Kalifornijoje


LT.WordsSideKick.com
Visos Teisės Saugomos!
Dauginti Jokių Medžiagų Leidžiama Tik Prostanovkoy Aktyvią Nuorodą Į Svetainę LT.WordsSideKick.com

© 2005–2020 LT.WordsSideKick.com