DziaŁ:Technologie Temat: Nauka
Shai Ben - David .jest Associate Professor Computer Science Department Technion ( Technion City, Haifa 32000, Israel) oraz równolegle w School of Computer Science University of Waterloo 200 University Avenue West Waterloo, Ontario, Kanada.
Jego pasją naukową jest matematyczna teoria uczenia się przez automaty, zwane dowcipnie Artificial Intelligence ( AI ).Właśnie w tych dniach w prestiżowym czasopiśmie rangi światowej, ukazała się praca jego grupy badawczej [1], przedstawiajaca wyniki badań nad warunkami uczenia się maszyn AI.Wyniki te mogą wywołać w świecie informatyki szok, wsród fanów i kapłanów kultu AI niedowierzenie,popłoch i żal , a nawet wściekłosć.Tego typu kibice współczesnej cywilizacji, nie znoszą najbardziej wszelkich ograniczeń,granic ,limesów w egzystencji człowieka.
Prof.ShaiBen-David już wcześniej wykazał, że aby zrozumieć zdolność uczenia się automatu nalezy zwrócić szczególną uwagę na formalizm matematyczny ,który zastosujemy w budowie prgramu maszyny uczacej się.Badania nad różnymi formalizmami doprowadziły go do odkrycia,że definiowanie zdolności uczenia się nie polega na istnieniu algorytmu uczenia sie ,lecz na istnieniu funkcji uczenia się.
Takie sformułowanie problemu odsłania zaskakujacą własnośćAI : nie można udowodnić, ani obalić zdolności uczenia się automatu ! Czyli w informatyce występuje odpowiednik twierdzenia Gódla.W pracy [1] autorzy pokazują formalnie proste scenariusze, w których nie można udowodnić, ani obalić umiejętności uczenia się przy użyciu standardowych aksjomatów matematyki.
Albo jaśniej : gdy mamy już AI , to nie można udowodnić, czy system "nauczył się" czegoś, lub rozwiązał problem.
Jak przeżyją to wydarzenie blogerzy: Marek Szleper i GPS? A może nareszcie zrozumieją,że znaczenie pojawienia się AI w cywilizacji jest tego samego rzędu, co pojawienie się długopisu, lub wiecznego pióra na biurku z kałamarzem i gęsim piórem odpowiednio przyciętym?
Literatura
[1]Shai Ben-David, and All, Learnability can be undecidable,Nature Machine Intelligence volume 1, pages44–48 ,07.01.2019
