Az IBM be és ki. A mesterséges intelligencia rövid története 7

Az IBM kifejlesztette az első programot egy geometriai tétel bizonyítására.

Évtizedeken át az IBM volt a számítástechnikai ipar vitathatatlan vezetője. Munkája még ma is aktuális, bár nem tölti be azt a meghatározó szerepet, mint egykor. A mesterséges intelligencia esetében azonban az IBM be- és kilépése meglehetősen gyors, bár nagyon fontos volt.

Az ötvenes években az e tudományág kutatását a jobb számítógépek építéséhez szükséges ismeretek szerves részének tekintették. Ezért az IBM úgy döntött, hogy zöld utat ad egy olyan program kifejlesztésének, amely tételeket old meg.

Az IBM be és ki

láttuk be korábbi cikkek hogy Simonnak és csapatának sikerült egy matematikai tételeket bizonyító programmal. Ehhez új programozási nyelvet kellett létrehozniuk.

Az IBM előtt álló kihívás egy további problémával is járt. Ahhoz, hogy a számítógép bebizonyítson egy geometriai tételt, látnia kellett az ábrát. A képek feldolgozására alkalmas webkamerákat és szoftvereket még nem találták fel.

A feladatra kiválasztott csapat Az IBM 704 volt. A világ egyik első szuperszámítógépeként tartják számon fEz volt az első, amely hardvert tartalmazott lebegőpontos.

A lebegőpontos műveletek közé tartozik az összeadás, kivonás, osztás, szorzás és négyzetgyökszámítás nagyon nagy vagy nagyon kis számokkal.

Mágneses magmemóriával is rendelkezett, amely gyorsabb volt, mint a korábbi modellekben használt mágneses dobrendszer, és másodpercenként negyvenezer utasítást tudott végrehajtani, 36 bites utasításokban kifejezve.

A szoftvernek három évbe telt, mire elkészült a menedzsere, egy fizikadoktor, Herbert Gellenter, tÚj programozási nyelvet kellett feltalálnia amely képes volt manipulálni az olyan szimbólumokat, mint az IPL, de könnyen programozható volt a Fortran, amely maga az IBM fejlesztése tudományos számítási alkalmazások létrehozására.

A program lyukkártyák formájában megadott koordináta-sorozat formájában kapott információt a geometriai alakzatról, amellyel dolgoznia kellett és az ismert adatokból köztes eredményeket vezetett le.

A szoftver Geometry Theorem Prover (Geometry Problem Prover) néven vált ismertté, és azon tulajdonságokon alapult, amelyeket a rajzon ellenőrizni tudott. sikerült megoldania egy kétlépéses tételt huszonöt különböző lehetőségre, amikor vakon csinálva milliót kellene elemeznie.

A geometriai probléma tesztelője volt az első, amely a modellreferencia néven ismert technikát használta.. Hacsak nem szálltál le 5 perccel ezelőtt egy repülő csészealjra, biztosan hallottál a technika alkalmazásának egyik legújabb eredményéről: a ChatGPT-ről.

A mesterséges intelligencia területén A modell egy összetett folyamat reprezentációja, amelyből következtetéseket lehet levonni. A tesztelő esetében a geometriai alakzat koordinátái, a ChatGPT esetében az emberi nyelv feldolgozására alkalmas modell volt a modell.

Más IBM számítógépek kevésbé komoly dolgokat csináltak, például dámát vagy sakkot tanultak. Az első esetben az volt a cél, hogy megnézzük, képes-e egy gép megtanulni ellenfele játékmódját. Végül sikerült megvernie, így úgy tűnik, sikerült.

Az IBM korai sikerei egyben az oka annak is, hogy felhagyott ezzel a területtel. A sakk- és dámajátékra szánt számítógépek nagyon sikeresek voltak a sajtóban, de nem annyira a cég részvényesei között, akik ezt pénzkidobásnak tartották.

Ehhez hozzá kell tenni, hogy a cég marketing osztálya Észrevette, hogy potenciális ügyfelei körében nő a számítógépekkel szembeni bizalmatlanság. A megszerzésükért felelős személyek féltek attól, hogy a vásárlásuk végül leváltja őket.

A mesterséges intelligencia kutatását felhagyták, és az új marketingstratégia az volt, hogy a számítógépeket adatfeldolgozóként jellemezzék, amelyek csak azt teszik, amit mondanak nekik.

Ugyanez fog történni a most divatos új eszközökkel is? Ki fogják tiltani őket a cégektől, mert attól tartanak, hogy végül a legmagasabb pozíciókat töltik be?

Várnunk kell, hogy láthassuk.


Hagyja megjegyzését

E-mail címed nem kerül nyilvánosságra. Kötelező mezők vannak jelölve *

*

*

  1. Az adatokért felelős: AB Internet Networks 2008 SL
  2. Az adatok célja: A SPAM ellenőrzése, a megjegyzések kezelése.
  3. Legitimáció: Az Ön beleegyezése
  4. Az adatok közlése: Az adatokat csak jogi kötelezettség alapján továbbítjuk harmadik felekkel.
  5. Adattárolás: Az Occentus Networks (EU) által üzemeltetett adatbázis
  6. Jogok: Bármikor korlátozhatja, helyreállíthatja és törölheti adatait.