A Google legújabb AI-innovációja: Egy nemzetközi olimpiai aranyérmes szintjén megoldhatja a geometriai problémákat
Az AlphaGeometry 25 olimpiai geometriai feladatot old meg a szokásos időkorláton belül, felülmúlva az előző verzió 10 feladatból álló határát.
„Az olimpiai szintű geometriai problémák megoldása fontos lépés a mély matematikai érvelés fejlesztésében a fejlettebb és általánosabb mesterséges intelligencia rendszerek felé vezető úton” – írták Trieu Trinh és Thang Luong, a Google mesterséges intelligencia kutatói egy blogbejegyzésben.
A ChatGPT-hez hasonló rendszert használtak
A DeepMind azt állítja, hogy a matematikai tételek bizonyításához, vagy annak logikus magyarázatához, hogy egy tétel (pl. a Pitagorasz-tétel) miért igaz, megkívánja az érvelést és a megoldáshoz vezető számos lehetséges lépés közül a választás képességét. „Az adott sejtés igazának vagy hamisságának bizonyítása még a mai legfejlettebb mesterséges intelligenciarendszerek képességeit is kiterjeszti” – olvasható a DeepMind sajtóanyagában, amelyet a TechCrunch rendelkezésére bocsátott.
Az AlphaGeometry tervezése során a labor egy „neurális nyelvi” modellt, a ChatGPT-hez hasonló architekturális modellt párosított egy „szimbolikus következtetés motorral”, egy olyan motorral, amely matematikai-szerű szabályokat használ a problémák megoldására.
Végül a laboratórium a semmiből képezte ki az AlphaGeometry-t, és értékelte az Olimpia geometriai problémáira. Az olimpiák geometriai problémái olyan diagramokon alapulnak, amelyek megoldása előtt „konstrukciókat” kell hozzáadni, például pontokat, vonalakat vagy köröket. „Annyi példával, hogy ezek a konstrukciók hogyan vezettek bizonyításhoz, az AlphaGeometry nyelvi modellje jó javaslatokat tud tenni új konstrukciókhoz, ha olimpiai geometriai problémákkal szembesül” – írják a kutatók.
„Hosszú távú célunk továbbra is az, hogy olyan mesterséges intelligenciarendszereket építsünk, amelyek általánosíthatók minden matematikai területen, kifinomult problémamegoldás és érvelés kialakítása, amelytől az általános mesterséges intelligencia rendszerek függnek, miközben kiterjesztjük az emberi tudás határait” – írják a tekintélyes folyóiratban. Természet az alkalmazás fejlesztői.
