Ħin tal-qari stmat: 4 minuta
FunSearch jissejjaħ hekk għax ifittex funzjonijiet matematiċi, mhux għax huwa pjaċevoli. Madankollu, xi nies jistgħu jqisu l-problema tas-sett tal-limitu bħala hoot: il-matematiċi lanqas biss jistgħu jaqblu dwar kif l-aħjar isolvuha, u jagħmilha misteru numeriku reali. DeepMind diġà għamel avvanzi fl-intelliġenza artifiċjali bil-mudelli Alpha tiegħu bħal AlphaFold (tiwi tal-proteini), AlphaStar (StarCraft), u AlphaGo (playing Go). Dawn is-sistemi ma kinux ibbażati fuq LLM, iżda żvelaw kunċetti matematiċi ġodda.
Bil FunSearch, DeepMind beda b'mod ta 'lingwa kbira, verżjoni tal-PaLM 2 ta' Google imsejħa Codey. Hemm it-tieni livell LLM fuq ix-xogħol, li janalizza l-output ta 'Codey u jelimina informazzjoni skorretta. It-tim wara dan ix-xogħol ma kienx jaf jekk dan l-approċċ kienx se jaħdem u għadu mhux ċert għaliex, skont ir-riċerkatur DeepMind Alhussein Fawzi.
Biex tibda, l-inġiniera fuq DeepMind huma ħolqu rappreżentazzjoni Python tal-problema tas-sett ta 'limitu, iżda ħallew barra l-linji li jiddeskrivu s-soluzzjoni. Ix-xogħol ta 'Codey kien li jżid linji li solvew il-problema b'mod preċiż. Is-saff tal-iċċekkjar tal-iżbalji mbagħad jikseb is-soluzzjonijiet Codey biex jara jekk humiex preċiżi. Fil-matematika ta’ livell għoli, l-ekwazzjonijiet jista’ jkollhom aktar minn soluzzjoni waħda, iżda mhux kollha jitqiesu tajbin bl-istess mod. Maż-żmien, l-algoritmu jidentifika l-aħjar soluzzjonijiet Codey u jdaħħalhom lura fil-mudell.
DeepMind iħalli lil FunSearch jaħdem għal diversi jiem, twil biżżejjed biex jiġġenera miljuni ta' soluzzjonijiet possibbli. Dan ippermetta lil FunSearch jirfina l-kodiċi u jipproduċi riżultati aħjar. Skont riċerka ppubblikata ġdida, L 'Intelliġenza artifiċjali sabet soluzzjoni mhux magħrufa qabel iżda korretta għall-problema tas-sett ta’ limiti. DeepMind ħeles ukoll lil FunSearch fuq problema matematika diffiċli oħra msejħa l-problema tal-ippakkjar tal-kontenituri, algoritmu li jiddeskrivi l-aktar mod effiċjenti biex jiġu ppakkjati l-kontenituri. FunSearch sabet soluzzjoni aktar malajr minn dawk ikkalkulati mill-bnedmin.
Il-matematiċi għadhom qed ibatu biex jintegraw it-teknoloġija LLM fix-xogħol tagħhom u fix-xogħol tagħhom DeepMind juri triq possibbli li ssegwi. It-tim jemmen li dan l-approċċ għandu potenzjal minħabba li jiġġenera kodiċi tal-kompjuter aktar milli s-soluzzjoni. Dan ħafna drabi huwa aktar faċli biex jinftiehem u tivverifika minn riżultati matematiċi mhux ipproċessati.
BlogInnovazione.it
It-Tnejn li għadda, il-Financial Times ħabbret ftehim mal-OpenAI. FT tagħti liċenzja għall-ġurnaliżmu ta’ klassi dinjija tagħha...
Miljuni ta 'nies iħallsu għal servizzi ta' streaming, iħallsu miżati ta 'abbonament ta' kull xahar. Hija opinjoni komuni li inti...
Coveware minn Veeam se jkompli jipprovdi servizzi ta' rispons għal inċidenti ta' estorsjoni ċibernetika. Coveware se joffri forensiċi u kapaċitajiet ta' rimedju...
Il-manutenzjoni ta’ tbassir qed tirrivoluzzjona s-settur taż-żejt u l-gass, b’approċċ innovattiv u proattiv għall-ġestjoni tal-impjant...
