Artikulo

Nilulutas ng DeepMind ng Google ang mga problema sa matematika gamit ang artificial intelligence

Ang mga kamakailang pagsulong sa mga malalaking modelo ng wika (LLM) ay ginawang mas madaling ibagay ang AI, ngunit ito ay may kasamang downside: mga error.

Ang Generative AI ay may posibilidad na gumawa ng mga bagay-bagay, ngunit ang Google DeepMind ay nakabuo ng isang bagong LLM na nananatili sa mga katotohanan sa matematika.

Ang FunSearch ng kumpanya ay maaaring malutas ang lubhang kumplikadong mga problema sa matematika.

Himala, ang mga solusyong nabubuo nito ay hindi lamang tumpak; ang mga ito ay ganap na bagong mga solusyon na hindi pa nahanap ng tao.

Tinatayang oras ng pagbabasa: 4 minuto

Tinatawag iyon ang FunSearch dahil naghahanap ito ng mga mathematical function, hindi dahil ito ay masaya. Gayunpaman, maaaring ituring ng ilang mga tao na ang problema sa cap set ay isang sigaw: ang mga mathematician ay hindi maaaring sumang-ayon sa kung paano pinakamahusay na malutas ito, na ginagawa itong isang tunay na misteryo ng numero. Deepmind Nakagawa na ng mga pagsulong sa artificial intelligence kasama ang mga modelong Alpha nito tulad ng AlphaFold (protein folding), AlphaStar (StarCraft), at AlphaGo (naglalaro ng Go). Ang mga sistemang ito ay hindi batay sa LLM, ngunit nagsiwalat ng mga bagong konsepto sa matematika.

Sa FunSearch, Deepmind nagsimula sa isang malaking mode ng wika, isang bersyon ng PaLM 2 ng Google na tinatawag na Codey. Mayroong pangalawang antas ng LLM sa trabaho, na sinusuri ang output ni Codey at inaalis ang maling impormasyon. Ang koponan sa likod ng gawaing ito ay hindi alam kung ang diskarte na ito ay gagana at hindi pa rin sigurado kung bakit, ayon sa mananaliksik Deepmind Alhussein Fawzi.

Upang magsimula, ang mga inhinyero sa Deepmind lumikha sila ng representasyon ng Python ng problema sa cap set, ngunit iniwan ang mga linyang naglalarawan sa solusyon. Ang trabaho ni Codey ay magdagdag ng mga linya na tumpak na lumutas sa problema. Ang layer ng pagsuri ng error ay nagbibigay ng marka sa mga solusyon sa Codey upang makita kung tumpak ang mga ito. Sa mataas na antas ng matematika, ang mga equation ay maaaring magkaroon ng higit sa isang solusyon, ngunit hindi lahat ay itinuturing na pantay na mabuti. Sa paglipas ng panahon, kinikilala ng algorithm ang pinakamahusay na mga solusyon sa Codey at ipinapasok ang mga ito pabalik sa modelo.

newsletter ng pagbabago
Huwag palampasin ang pinakamahalagang balita sa pagbabago. Mag-sign up upang matanggap ang mga ito sa pamamagitan ng email.

Hinahayaan ng DeepMind ang FunSearch na tumakbo nang ilang araw, sapat na tagal upang makabuo ng milyun-milyong posibleng solusyon. Pinayagan nito ang FunSearch na pinuhin ang code at makagawa ng mas magagandang resulta. Ayon sa bagong-publish na pananaliksik, L 'artipisyal na katalinuhan nakakita ng dati nang hindi alam ngunit tamang solusyon sa problema sa cap set. Deepmind pinalaya din ang FunSearch sa isa pang mahirap na mathematical na problema na tinatawag na container packing problem, isang algorithm na naglalarawan ng pinakamabisang paraan upang mag-pack ng mga container. Nakahanap ang FunSearch ng solusyon nang mas mabilis kaysa sa mga kinakalkula ng mga tao.

Nahihirapan pa rin ang mga mathematician na isama ang teknolohiya ng LLM sa kanilang trabaho at gawain ng Deepmind nagpapakita ng posibleng landas na sundan. Naniniwala ang team na may potensyal ang diskarteng ito dahil bumubuo ito ng computer code sa halip na solusyon. Ito ay kadalasang mas madaling maunawaan at ma-verify kaysa sa mga hilaw na resulta ng matematika.

Mga Kaugnay na Pagbasa

BlogInnovazione.it

newsletter ng pagbabago
Huwag palampasin ang pinakamahalagang balita sa pagbabago. Mag-sign up upang matanggap ang mga ito sa pamamagitan ng email.

Kamakailang Mga Artikulo

Pumirma ang mga publisher at OpenAI ng mga kasunduan para i-regulate ang daloy ng impormasyong pinoproseso ng Artificial Intelligence

Noong nakaraang Lunes, inihayag ng Financial Times ang isang deal sa OpenAI. Nilisensyahan ng FT ang world-class na pamamahayag nito...

Abril 30 2024

Mga Online na Pagbabayad: Narito Kung Paano Ka Binabayaran ng Mga Serbisyo ng Streaming Magpakailanman

Milyun-milyong tao ang nagbabayad para sa mga serbisyo ng streaming, na nagbabayad ng buwanang bayad sa subscription. Karaniwang opinyon na ikaw ay…

Abril 29 2024

Itinatampok ng Veeam ang pinakakomprehensibong suporta para sa ransomware, mula sa proteksyon hanggang sa pagtugon at pagbawi

Ang Coveware ng Veeam ay patuloy na magbibigay ng mga serbisyo sa pagtugon sa insidente ng cyber extortion. Mag-aalok ang Coveware ng mga kakayahan sa forensics at remediation...

Abril 23 2024

Green and Digital Revolution: Kung Paano Binabago ng Predictive Maintenance ang Industriya ng Langis at Gas

Binabago ng predictive maintenance ang sektor ng langis at gas, na may makabago at proactive na diskarte sa pamamahala ng halaman.…

Abril 22 2024