Google DeepMind zbuloi një sistem AI që fitoi medaljen e argjendtë në Olimpiadën Ndërkombëtare të Matematikës (IMO) të këtij viti.
Sistemi hibrid i DeepMind, i cili kombinon modelet AlphaProof dhe AlphaGeometry 2, arriti të zgjidhë katër nga gjashtë problemet komplekse të propozuara, duke arritur kështu një rezultat historik për inteligjencën artificiale në matematikë, e cila fjalë për fjalë ka mundur konkurrencën njerëzore!
IMO, i konsideruar si konkursi më sfidues i matematikës në botë për nxënësit e shkollave të mesme, është bërë një pikë referimi për vlerësimin e aftësive të AI për zgjidhjen e problemeve. Sistemi DeepMind i Google fitoi 28 pikë nga 42 të mundshme, pak më pak se pragu i medaljes së artë prej 29 pikësh të arritur nga vetëm 58 nga 609 konkurrentë njerëzorë këtë vit. (Shihni të gjitha zgjidhjet këtu).
AlphaProof dhe AlphaGeometry 2, një kombinim fitues
Në qendër të kësaj arritjeje është AlphaProof, një model inovativ i AI që bashkon një model gjuhësor të para-trajnuar me algoritmin e të mësuarit të përforcimit AlphaZero, e njëjta teknologji që ka përfshirë algoritmet konkurruese në lojëra komplekse si shahu dhe Go arsyetimi matematikor me strategji të ngjashme me lojën, duke kërkuar nëpër faza të mundshme provash sikur të ishte duke lundruar në një pemë të madhe vendimesh.
Ndryshe nga qasjet e mëparshme, të kufizuara nga pamjaftueshmëria e të dhënave të shkruara nga njeriu, AlphaProof lidh hendekun midis gjuhës natyrore dhe asaj formale. Ai përdor një version të optimizuar të modelit Gemini të Google për të përkthyer problemet e gjuhës natyrore në deklarata formale, duke krijuar një bibliotekë të gjerë materialesh trajnimi.
Plotësues i AlphaProof është AlphaGeometry 2, një version i përditësuar i zgjidhësit të gjeometrisë së DeepMind. Ky sistem tregoi efikasitet të jashtëzakonshëm, duke zgjidhur një problem IMO në vetëm 19 sekonda. Performanca e tij e përmirësuar vjen nga të dhënat e përmirësuara të trajnimit dhe një mekanizëm i ri i ndarjes së njohurive që ndihmon në zgjidhjen e problemeve më komplekse.
Përpara konkursit të këtij viti, AlphaGeometry 2 ishte në gjendje të zgjidhte 83% të të gjitha problemeve historike të gjeometrisë IMO gjatë 25 viteve të fundit, një përparim domethënës mbi shkallën e suksesit prej 53% të paraardhësit të tij.
Matematika nuk ka sekrete për AI
Problemet matematikore të Olimpiadës Ndërkombëtare të Matematikës u përkthyen manualisht në një gjuhë zyrtare të kuptueshme nga sistemet e inteligjencës artificiale të DeepMind. Ndërsa studentët njerëz kanë dy seanca me nga 4 orë e gjysmë secila në dispozicion për të zgjidhur problemet, AI i DeepMind arriti të gjejë zgjidhjen e një problemi në pak minuta, duke marrë deri në 3 ditë për pyetje të tjera më komplekse.
Ky rezultat i jashtëzakonshëm nxjerr në pah përparimin e shpejtë të bërë nga AI në trajtimin e detyrave të avancuara të arsyetimit logjik-matematikor. Sisteme të tilla kanë potencialin, ndërsa evoluojnë më tej, për të përshpejtuar zbulimet shkencore dhe për të shtyrë kufijtë e aftësive njerëzore. DeepMind do të vazhdojë të eksplorojë qasje të reja të inteligjencës artificiale për të avancuar arsyetimin matematikor.
Discussion about this post