Predviđeno vrijeme čitanja: 4 minute
FunSearch se tako zove jer traži matematičke funkcije, a ne zato što je zabavan. Međutim, neki ljudi bi mogli smatrati problem skupa kapa čudnim: matematičari se ne mogu ni složiti oko toga kako ga najbolje riješiti, što ga čini pravom numeričkom misterijom. DeepMind je već napravio napredak u umjetnoj inteligenciji sa svojim Alpha modelima kao što su AlphaFold (slaganje proteina), AlphaStar (StarCraft) i AlphaGo (igranje Go). Ovi sistemi nisu bili zasnovani na LLM, već su otkrili nove matematičke koncepte.
Uz FunSearch, DeepMind počeo sa velikim jezičkim modom, verzijom Googleovog PaLM 2 pod nazivom Codey. Na djelu je drugi LLM nivo, koji analizira Codeyjev izlaz i eliminiše netačne informacije. Tim koji stoji iza ovog rada nije znao hoće li ovaj pristup funkcionirati i još uvijek nije siguran zašto, prema istraživaču DeepMind Alhussein Fawzi.
Za početak, inženjeri na DeepMind kreirali su Python reprezentaciju problema s ograničenjem, ali su izostavili redove koji opisuju rješenje. Kodijev posao je bio da doda redove koji tačno rešavaju problem. Sloj za provjeru grešaka zatim boduje Codey rješenja kako bi vidio da li su tačna. U matematici visokog nivoa, jednačine mogu imati više od jednog rješenja, ali se ne smatraju sva jednako dobrima. Vremenom, algoritam identifikuje najbolja Codey rešenja i ubacuje ih nazad u model.
DeepMind dozvoljava FunSearch da radi nekoliko dana, dovoljno dugo da generiše milione mogućih rješenja. Ovo je omogućilo FunSearch-u da precizira kod i proizvede bolje rezultate. Prema nedavno objavljenom istraživanjuThevještačka inteligencija pronašao prethodno nepoznato, ali ispravno rješenje za problem skupa kapa. DeepMind takođe je oslobodio FunSearch na još jednom teškom matematičkom problemu koji se zove problem pakovanja kontejnera, algoritam koji opisuje najefikasniji način pakovanja kontejnera. FunSearch je pronašao rješenje brže od onih koje su izračunali ljudi.
Matematičari se i dalje bore da integrišu LLM tehnologiju u svoj rad i rad DeepMind pokazuje mogući put koji treba slijediti. Tim vjeruje da ovaj pristup ima potencijal jer generiše kompjuterski kod, a ne rešenje. Ovo je često lakše razumjeti i provjeriti nego sirove matematičke rezultate.
BlogInnovazione.it
Razvijanje finih motoričkih sposobnosti kroz bojenje priprema djecu za složenije vještine poput pisanja. Za bojenje…
Pomorski sektor je prava globalna ekonomska sila, koja je krenula ka tržištu od 150 milijardi...
Prošlog ponedjeljka Financial Times je objavio dogovor sa OpenAI. FT licencira svoje novinarstvo svjetske klase…
Milioni ljudi plaćaju usluge striminga, plaćajući mjesečne pretplate. Uvriježeno je mišljenje da vi…