Iko mukati uye kunze kweIBM. Nhoroondo pfupi yeArtificial Intelligence 7

IBM yakagadzira chirongwa chekutanga kuratidza geometric theorem.

Kwemakumi emakore, IBM yaive mutungamiri asingapokane weindasitiri yemakomputa. Kunyange nanhasi, kunyange zvazvo risingatori basa rakanyanya kuoma sezvaraiita, basa rake rinoramba richikosha. Nekudaro, kana iri nyaya yeArtificial Intelligence, kupinda nekubuda kweIBM kwaive nekukurumidza kunyangwe kwakakosha.

Mumakumi mashanu, kutsvagisa muchirango ichi kwaionekwa sechikamu chakakosha chezivo inodiwa kuvaka makomputa ari nani. Saka IBM yakafunga kupa mwenje wegirini kukuvandudza kwechirongwa chaizogadzirisa theorems.

Iko mukati uye kunze kweIBM

takanga taona mukati zvinyorwa zvakapfuura kuti Simon nechikwata chake vakabudirira nepurogiramu yakaratidza dzidziso dzemasvomhu. Nokuda kweizvi, vaifanira kugadzira mutauro mutsva wepurogiramu.

Dambudziko rakatarisana neIBM raive nerimwe dambudziko. Kuti komputa iratidze theorem yejometri, yaifanira kuona chimiro. Makamera ewebhu uye software inokwanisa kugadzirisa mifananidzo yakanga isati yagadzirwa.

Chikwata chakasarudzwa kuita basa racho Yaiva IBM 704. Inoonekwa seimwe yemakomputa makuru ekutanga pasi rose fYakanga iri yekutanga kubatanidza hardware inoyangarara nzvimbo.

Mashandiro anoyangarara-nzvimbo anosanganisira kuwedzera, kubvisa, kupatsanura, kuwanda, uye masvomhu akaenzana ane nhamba huru kana idiki kwazvo.

Yakanga iine zvakare magineti core memory yaive nekukurumidza kupfuura iyo magnetic drum system yakashandiswa mumamodheru apfuura uye yaikwanisa kuita zviuru makumi mana zvemirairo pasekondi yakaratidzwa mu36-bit mirairo.

Iyo software yakatora makore matatu kuti igadzirire semaneja wayo, chiremba wefizikisi anonzi Herbert Gellenter, tAifanira kutanga mutauro mutsva wepurogiramu iyo yaigona kushandura zviratidzo se IPL asi izvo zvaive nekureruka kwehurongwa Fortran, budiriro neIBM pachayo yekugadzira maapplication ekuverenga kwesainzi.

Purogiramu yakagamuchira ruzivo pamusoro pechimiro chejometri chaaifanira kushanda nacho muchimiro chenhevedzano yezvirongwa zvakapinda muchimiro chemakadhi akaroverwa. uye aitora mhedzisiro yepakati kubva kune inozivikanwa data.

Iyo software yakazozivikanwa seGeometry Theorem Prover (Geometry Problem Prover) uye zvichibva pane izvo zvivakwa zvayaigona kuratidza mukudhirowa. akakwanisa kugadzirisa maviri-nhanho theorem kune makumi maviri neshanu akasiyana mikana apo, achizviita neupofu, aifanira kuongorora miriyoni.

Muedzi wegeometry dambudziko ndiye akatanga kushandisa nzira inozivikanwa semodhi referencing.. Kunze kwekunge wamhara pasosa rinobhururuka maminetsi mashanu apfuura, zvirokwazvo wakanzwa nezveimwe yeazvino mhedzisiro yekushandiswa kweiyi nzira: ChatGPT.

Mumunda weuchenjeri hwekugadzira A modhi inomiririra nzira yakaoma iyo fungidziro inogona kuitwa. Muchiitiko chemuongorori, modhi yacho yaive macoordinates eiyo geometric figure, kana iri ChatGPT modhi inokwanisa kugadzirisa mutauro wevanhu.

Mamwe makomputa eBM aiita zvinhu zvisinganyanyi kukosha sekudzidza macheki kana chess. Pakutanga, chinangwa chaiva chokuona kana muchina waikwanisa kudzidza matambiro omuvengi wawo. Akazokwanisa kumurova zvekuti zvinoita sekunge ndiye.

Kubudirira kwekutanga kweIBM kwaivewo chikonzero chekusiya kwayo ndima iyi. Makomputa akatsaurirwa kutamba chess uye cheki akabudirira kwazvo nemapepanhau, asi kwete zvakanyanya pakati pevaridzi vekambani vaizviona sekupambadza mari.

Kune izvi tinofanira kuwedzera kuti dhipatimendi rekutengesa rekambani Akaona kuti pakati pevaaigona kuzotenga kusavimba nemakombuta kwaiwedzera. Paiva nekutya kune avo vaitungamirira kuvatora kuti kutenga kwavo kwaizoguma kwavatsiva.

Tsvagiridzo muArtificial Intelligence yakasiiwa uye nzira nyowani yekushambadzira yaive yekuratidzira makomputa sedata processors vaingoita zvavakaudzwa.

Ko zvimwe chetezvo zvichaitika nemidziyo mitsva ikozvino mufashoni? Vacharambidzwa kubva kumakambani nekutya kuti vanozopedzisira vatora zvinzvimbo zvepamusoro?

Tichafanira kumirira kuti tione.


Siya yako yekutaura

Your kero e havazobvumirwi ichibudiswa. Raida minda anozivikanwa ne *

*

*

  1. Inotarisira data: AB Internet Networks 2008 SL
  2. Chinangwa cheiyo data: Kudzora SPAM, manejimendi manejimendi.
  3. Legitimation: Kubvuma kwako
  4. Kutaurirana kwedata
  5. Dhata yekuchengetedza: Dhatabhesi inobatwa neOccentus Networks (EU)
  6. Kodzero: Panguva ipi neipi iwe unogona kudzora, kupora uye kudzima ruzivo rwako