Keményen beindult a matematikai feladatok formális megoldását generáló mesterséges intelligenciák fejlesztése, egy rakat startup tolja már ezt. Szerintem ha ez jól fog menni, akkor az értelmes szöveg generálásban jelentkező problémák is megoldódnak varázsütésre, mert tippem szerint a nehezen formalizálható kijelentések természetes nyelven nehezen értelmezhetőek is (illetve ha nem így érezzük, az azért van, mert tévesen értelmezzük őket). Most azt a játékot játsszák, hogy az Erdős Pál által javasolt megoldatlan feladatokat kezdik megoldani mesterséges intelligenciával, egyelőre inkább csak az történt, hogy a rendszer megtalált olyan megoldásokat, amelyek már léteztek, de nem váltak széles körben ismertté, de tegnap már bejelentettek egy teljesen új formalizált megoldást is. Gondolom egy év alatt elfogy a cirka 1000 feladat (ha csak nincs a Riemann hipotézis, vagy egyéb régóta ismert, de megoldatlan feladat bonyolultságával megegyező feladat is köztük) és lehet újabb célt kitűzni.
Volt még egy egészen érdekes meglátás a tuitteren, miszerint a nyelvmodellek gyorsabban fejlődnek és változnak, mint ahogy az emberek az előző változat hibáit eléggé ki tudnák szűrni, hogy terméket lehessen belőlük csinálni. És tényleg, amikor bejelentették, hogy applikációkat lehet majd feléjük fejleszteni, mindenki azt hitte, hogy berobban egy AI alapú appstore a weben vagy akár mobilon, de nem lett az egészből semmi, nem volt elég konzisztens és elég jó a modellek eredménye, azaz a felhasználó még mindig jobban masszírozgathatja a modell kimenetét mint ahogy azt automatikusan meg lehet csinálni. Na de, ha a szöveges kimenethez lesz egy formalizált kimenet is, akkor sokkal könnyebb lesz ez a feladat.
És akkor ha a kezdeti axiómarendszerbe beletesszük a mechanikát is, végre egy nyelvmodell is tudni fogja, hogy mi történik a kancsóval, ha kihúzzuk az asztalt alóla.
Más. Az utóbbi napokban kijött egy csomó nyílt modell is, a kínaiak még egy olyan gondolkodós modellt is kiadtak ami a világolimpiás matekfeladatokat oldja iszonyú jól, szóval nincs komoly lemaradás a zárt modellekhez képest. Remélem sosem lesz nagyobb a lemaradás mint amekkora idő elég lenne a zárt modelleknek hogy instrumentalizálják az előnyüket a világ leigázásához. Ha ez így marad, akkor nyugi lesz, valószínűleg azok fognak nyerni, akik a közjót tűzik zászlajukra.
Sőt, úgy tűnik, hogy azok a feladatok is kezdeni megadni magukat, amelyekhez tényleg igazi gondolkodás és absztrakció kell (arc). Szerintem 2029-ig összejön az emberi szintű intelligencia és mivel minden ember szintjét egyszerre fogja meglépni, ezért akár szuperemberinek is nevezhetjük. Lehet ezt úgy is értelmezni akár, hogy a modell több szuperokos ember munkáját tudja internalizálni mint ahány szuperokos ember munkáját tudja internalizálni egy ember. Ez azért van, mert a szuperokos emberek száma lassabb exponenciális görbén nő mint amilyenen a mesterséges intelligencia nő, és főként annál gyorsabb mint ahogy egyetlen ember tudja a tudását kiterjeszteni.
Demó.
Wow.
Nincsenek megjegyzések:
Megjegyzés küldése