Ìwé

DeepMind Google yanju awọn iṣoro mathematiki pẹlu oye atọwọda

Awọn ilọsiwaju aipẹ ni awọn awoṣe ede nla (LLMs) ti ṣe AI diẹ sii ni ibamu, ṣugbọn eyi wa pẹlu isalẹ: awọn aṣiṣe.

Generative AI duro lati ṣe awọn nkan soke, ṣugbọn Google DeepMind ti wa pẹlu LLM tuntun ti o duro si awọn otitọ mathematiki.

FunSearch ile-iṣẹ le yanju awọn iṣoro mathematiki idiju pupọ.

Lọ́nà ìyanu, àwọn ojútùú tó ń gbé jáde kì í ṣe pé ó péye nìkan; wọn jẹ awọn ojutu tuntun patapata ti eniyan ko tii rii.

Iye akoko kika: 4 iṣẹju

FunSearch ni a pe ni iyẹn nitori pe o wa awọn iṣẹ mathematiki, kii ṣe nitori pe o dun. Bibẹẹkọ, diẹ ninu awọn eniyan le ro iṣoro ṣeto fila bi hoot: awọn onimọ-jinlẹ ko le paapaa gba lori bii o ṣe dara julọ lati yanju rẹ, ṣiṣe ni ohun ijinlẹ nọmba gidi kan. Onigbagbo ti ni ilọsiwaju tẹlẹ ninu itetisi atọwọda pẹlu awọn awoṣe Alpha rẹ gẹgẹbi AlphaFold (pipada amuaradagba), AlphaStar (StarCraft), ati AlphaGo (ti ndun Go). Awọn ọna ṣiṣe wọnyi ko da lori LLM, ṣugbọn ṣafihan awọn imọran mathematiki tuntun.

Pẹlu FunSearch, Onigbagbo bẹrẹ pẹlu ipo ede nla kan, ẹya Google's PaLM 2 ti a pe ni Codey. Ipele LLM keji wa ni iṣẹ, eyiti o ṣe itupalẹ abajade Codey ati imukuro alaye ti ko tọ. Ẹgbẹ ti o wa lẹhin iṣẹ yii ko mọ boya ọna yii yoo ṣiṣẹ ati pe ko ni idaniloju idi, ni ibamu si oniwadi naa Onigbagbo Alhusein Fawzi.

Lati bẹrẹ, awọn Enginners ni Onigbagbo nwọn si da a Python oniduro ti fila ṣeto isoro, ṣugbọn osi jade awọn ila apejuwe awọn ojutu. Iṣẹ Codey ni lati ṣafikun awọn ila ti o yanju iṣoro naa ni deede. Layer iṣayẹwo aṣiṣe lẹhinna ṣe ikun awọn ojutu Codey lati rii boya wọn jẹ deede. Ni mathimatiki ipele-giga, awọn idogba le ni ojutu diẹ sii ju ọkan lọ, ṣugbọn kii ṣe gbogbo wọn ni a ka pe o dara bakanna. Ni akoko pupọ, algorithm ṣe idanimọ awọn solusan Codey ti o dara julọ ati fi sii wọn pada sinu awoṣe.

DeepMind jẹ ki FunSearch ṣiṣẹ fun ọpọlọpọ awọn ọjọ, gun to lati ṣe ipilẹṣẹ awọn miliọnu awọn solusan ti o ṣeeṣe. Eyi gba FunSearch laaye lati ṣatunṣe koodu ati gbejade awọn abajade to dara julọ. Gẹgẹbi iwadii tuntun ti a tẹjade, L 'oye atọwọda ri aimọ tẹlẹ sugbon ti o tọ ojutu si fila ṣeto isoro. Onigbagbo tun ni ominira FunSearch lori iṣoro mathematiki ti o nira miiran ti a pe ni iṣoro iṣakojọpọ apoti, algorithm kan ti o ṣapejuwe ọna ti o munadoko julọ lati gbe awọn apoti. FunSearch rii ojutu kan yiyara ju awọn ti o ṣe iṣiro nipasẹ eniyan.

Awọn onimo ijinlẹ sayensi tun n tiraka lati ṣepọ imọ-ẹrọ LLM sinu iṣẹ wọn ati iṣẹ ti Onigbagbo fihan ọna ti o ṣeeṣe lati tẹle. Ẹgbẹ naa gbagbọ pe ọna yii ni agbara nitori pe o ṣe ipilẹṣẹ koodu kọnputa ju ojutu lọ. Eyi nigbagbogbo rọrun lati ni oye ati rii daju ju awọn abajade mathematiki aise lọ.