A tudósok előtt jár a mesterséges intelligencia

Ez egy algebrai hipotézis, amelyet Dan Anderson amerikai matematikus fogalmazott meg 2014-ben. Azóta is nyitott volt a probléma – azaz olyan, amelyre nem volt bizonyított megoldás – írja a karpatalja.info.

A fejlesztést a Pekingi Egyetem egy csapata végezte, élén Dong Bin matematikussal. Rendszerük képes volt nagyszámú tudományos publikáció elemzésére, és ezek alapján megoldást találni. Fontos, hogy a mesterséges intelligencia nemcsak javasolt egy választ, hanem ellenőrizte is annak helyességét az összes matematikai szabály szerint – emberi beavatkozás nélkül.

A kutatók elmagyarázták, a rendszer nagyjából ugyanúgy működik, mint egy matematikus személy. Először „kiválogatja” a probléma megoldásának különböző megközelítéseit, logikai kapcsolatokat keres, és kialakít egy lehetséges választ. Ezt követően a rendszer egy másik része ezt a megoldást szigorú matematikai bizonyítássá alakítja át, és hibákat keres benne. Ehhez egy speciális környezetet használnak, amely egy hatalmas adatbázist tartalmaz a már ismert tételekből és definíciókból.

Ennek eredményeként a rendszernek körülbelül 80 órába telt megoldani a feladatot, írta az Independent. Ugyanakkor a tanulmány szerzői szerint, személynek nem kellett beavatkoznia a folyamatba.

A tudósok szerint ez egy fontos előrelépés. A mesterséges intelligencia általában már segít a matematikában, de állandó ellenőrzésre van szükség, mert még egy apró hiba is helytelenné teszi a bizonyítást. Ebben az esetben a rendszer nemcsak megoldást tudott találni, hanem annak pontosságát is meg tudta erősíteni.

A kutatók ugyanakkor elismerik, hogy még nem lehet teljesen helyettesíteni egy embert. Ha egy matematikus csatlakozik a folyamathoz, és korrigál egyes szakaszokat, az eredmény gyorsabban elérhető. Azonban az ilyen összetett problémák automatikus megoldásának képessége azt mutatja, hogy a mesterséges intelligencia szerepe a tudományban gyorsan növekszik, és jelentősen megváltoztathatja a kutatáshoz való megközelítéseket a jövőben.