Naujoji „Google“ AI sistema pasiekė matematinį etapą – Kompiuterių pasaulį
„Google“ dirbtinio intelekto padalinys „Deepmind“ pademonstravo dvi naujas AI sistemas „AlphaProof“ ir „AlphaGeometry 2“, kurios gali sėkmingai išspręsti sudėtingas matematines problemas, o tai yra reikšmingas DI kūrimo etapas, praneša „Reuters“.
Šiandieniniai AI modeliai veikia gebėdami atpažinti šablonus ir statistiškai numatyti, pavyzdžiui, kitą žodį, kuris turėtų būti sugeneruotas. Tačiau to nepakanka norint valdyti abstrakčią matematiką, o tam reikia sistemos, kuri galėtų samprotauti taip, kad ji būtų labiau panaši į žmogaus intelektą.
„AlpaProof“ ir „AlphaGeometry 2“ šių metų tarptautinėje matematikos olimpiadoje (IMO) sugebėjo išspręsti keturis iš šešių klausimų. Vienas klausimas buvo išspręstas vos per kelias minutes; kitų sprendimas užtruko iki trijų dienų, o tai yra ilgiau nei leidžia konkursas. „AlpaProof“ taip pat sugebėjo išspręsti sunkiausią konkurso problemą, kurią pavyko padaryti tik penkiems iš 600 žmonių.
