Inteliģences sistēmas AlphaProof un AlphaGeometry 2 ir sasniegušas sudraba medaļas līmeni Starptautiskajā matemātikas olimpiādē (IMO), atrisinot četrus no sešiem uzdevumiem.
IMO ir prestižākais konkurss jauniem matemātiķiem, kas ik gadu notiek kopš 1959. gada. Dalībnieki pavada tūkstošiem stundu, gatavojoties risināt sarežģītus uzdevumus algebrā, kombinatorikā, ģeometrijā un skaitļu teorijā. Daudzi Fīldsa balvas laureāti, viena no matemātikas augstākajām balvām, ir piedalījušies šajā olimpiādē.
AI rezultātus vērtēja vadoši matemātiķi: profesors ser Timotijs Gauerss (Timothy Gowers), zelta medaļas ieguvējs IMO un Fīldsas balvas laureāts, un doktors Džozefs Maierss (Joseph Myers), divkārtējs zelta medaļas ieguvējs IMO un IMO 2024. uzdevumu atlases komisijas priekšsēdētājs.
Gauerss sacīja: "Pielietotnes spēja radīt negaidītas konstrukcijas apbrīnojami pārsteidz un ievērojami pārsniedz to, ko es uzskatīju par mūsdienu attīstības līmeni."
AlphaProof atrisināja divus algebraiskus uzdevumus un vienu no skaitļu teorijas, nosakot atbildi un pierādot tās pareizību. Sistēma risināja vissarežģītāko olimpiādes uzdevumu, ko atrisināja tikai pieci šīgada IMO dalībnieki. AlphaGeometry 2 pierādīja ģeometrisku uzdevumu, bet divi kombinatoriks uzdevumi palika nerisināti.
AlphaProof ir sistēma, kas patstāvīgi mācās pierādīt matemātiskos apgalvojumus formālajā valodā Lean. Tā apvieno iepriekš apmācītu valodu modeli ar pastiprināšanas mācību algoritmu AlphaZero, kas iepriekš apguva šaha, shogi un go spēles.
AlphaGeometry 2 ir uzlabota iepriekšējās sistēmas versija. Tās valodu modelis ir balstīts uz Gemini un ir apmācīts ar ievērojami lielāku sintētisko datu apjomu. Tas ļāva sistēmai risināt sarežģītākus ģeometriskus uzdevumus, īpaši objektu kustības un leņķu, proporciju vai attālumu vienādojumus.
Izstrādātāji turpina izpētīt dažādas pieejas AI matemātiskās domāšanas pilnveidošanai. Viņi tiecas radīt nākotni, kur matemātiķi sadarbojas ar AI rīkiem, lai izpētītu hipotēzes, atrastu jaunus pieejas veidus ilgstošu problēmu risināšanā un ātri veiktu darbietilpīgus pierādījumu elementus.
Avots: Deepmind.google
Komentāri (0)
Šobrīd nav neviena komentāra