Artikulo

Gisulbad sa DeepMind sa Google ang mga problema sa matematika gamit ang artificial intelligence

Ang bag-o nga mga pag-uswag sa dagkong mga modelo sa pinulongan (LLMs) naghimo sa AI nga mas mapasibo, apan kini adunay usa ka downside: mga sayop.

Ang Generative AI lagmit nga maghimo sa mga butang, apan ang Google DeepMind adunay usa ka bag-ong LLM nga nagpabilin sa mga kamatuoran sa matematika.

Ang FunSearch sa kompanya makasulbad sa labihan ka komplikado nga mga problema sa matematika.

Sa milagrosong paagi, ang mga solusyon nga namugna niini dili lamang tukma; bug-os sila nga bag-ong mga solusyon nga wala’y nakit-an nga tawo.

Gibanabana nga oras sa pagbasa: 4 minuti

Gitawag kana ang FunSearch tungod kay nangita kini alang sa mga function sa matematika, dili tungod kay kini makalingaw. Bisan pa, ang pipila ka mga tawo mahimo’g ikonsiderar ang problema sa cap set nga usa ka hoot: ang mga mathematician dili gani magkauyon kung giunsa kini labing maayo nga sulbaron, nga naghimo niini nga usa ka tinuud nga misteryo sa numero. DeepMind nakahimo na og mga pag-uswag sa artificial intelligence uban sa mga Alpha nga modelo niini sama sa AlphaFold (protein folding), AlphaStar (StarCraft), ug AlphaGo (pagdula sa Go). Kini nga mga sistema wala gibase sa LLM, apan nagpadayag sa bag-ong mga konsepto sa matematika.

Uban sa FunSearch, DeepMind nagsugod sa usa ka dako nga mode sa pinulongan, usa ka bersyon sa PaLM 2 sa Google nga gitawag og Codey. Adunay ikaduha nga lebel sa LLM sa trabaho, nga nag-analisar sa output ni Codey ug nagtangtang sa dili husto nga kasayuran. Ang grupo sa luyo niini nga trabaho wala mahibal-an kung kini nga pamaagi molihok ug dili gihapon sigurado kung ngano, sumala sa tigdukiduki DeepMind Alhussein Fawzi.

Sa pagsugod, ang mga inhenyero sa DeepMind naghimo sila og representasyon sa Python sa problema sa cap set, apan gibiyaan ang mga linya nga naghulagway sa solusyon. Ang trabaho ni Codey mao ang pagdugang og mga linya nga tukma nga nakasulbad sa problema. Ang layer sa pagsusi sa sayup dayon nag-iskor sa mga solusyon sa Codey aron makita kung tukma ba kini. Sa taas nga lebel sa matematika, ang mga equation mahimong adunay labaw sa usa ka solusyon, apan dili tanan giisip nga parehas nga maayo. Sa paglabay sa panahon, ang algorithm nagpaila sa labing maayo nga mga solusyon sa Codey ug gisulod kini balik sa modelo.

newsletter sa kabag-ohan
Ayaw kalimti ang labing hinungdanon nga balita sa kabag-ohan. Pag-sign up aron madawat sila pinaagi sa email.

Gitugotan sa DeepMind ang FunSearch nga modagan sulod sa pipila ka mga adlaw, igo nga gidugayon aron makamugna og minilyon nga posible nga mga solusyon. Kini nagtugot sa FunSearch sa pagpino sa code ug pagmugna og mas maayong resulta. Sumala sa bag-ong gimantala nga panukiduki, L 'artipisyal nga paniktik nakit-an ang wala nahibal-an kaniadto apan husto nga solusyon sa problema sa cap set. DeepMind gibuhian usab ang FunSearch sa lain nga lisud nga problema sa matematika nga gitawag nga problema sa pagputos sa sulud, usa ka algorithm nga naghulagway sa labing episyente nga paagi sa pagputos sa mga sudlanan. Ang FunSearch nakakaplag ug solusyon nga mas paspas kay sa gikalkula sa mga tawo.

Ang mga mathematician nanlimbasug gihapon sa pag-integrate sa teknolohiya sa LLM sa ilang trabaho ug sa trabaho sa DeepMind nagpakita ug posibleng dalan nga subayon. Ang team nagtuo nga kini nga pamaagi adunay potensyal tungod kay kini nagmugna sa computer code kay sa solusyon. Kini kasagaran mas sayon ​​sabton ug mapamatud-an kay sa hilaw nga mga resulta sa matematika.

May Kalabutan nga mga Pagbasa

BlogInnovazione.it

newsletter sa kabag-ohan
Ayaw kalimti ang labing hinungdanon nga balita sa kabag-ohan. Pag-sign up aron madawat sila pinaagi sa email.

Bag-ong mga artikulo

Giunsa pagkonsolida ang datos sa Excel

Ang bisan unsang operasyon sa negosyo nagpatunghag daghang datos, bisan sa lainlaing mga porma. Manu-mano nga isulod kini nga datos gikan sa usa ka Excel sheet aron…

14 Mayo 2024

Cisco Talos quarterly analysis: corporate emails nga gitarget sa mga kriminal Paggama, Edukasyon ug Healthcare mao ang labing apektado nga mga sektor

Ang pagkompromiso sa mga email sa kompanya misaka labaw sa doble sa unang tulo ka bulan sa 2024 kumpara sa katapusang quarter sa…

14 Mayo 2024

Interface segregation principle (ISP), ikaupat nga SOLID nga prinsipyo

Ang prinsipyo sa interface segregation maoy usa sa lima ka SOLID nga prinsipyo sa object-oriented nga disenyo. Ang usa ka klase kinahanglan adunay…

14 Mayo 2024

Giunsa ang labing maayo nga pag-organisar sa datos ug mga pormula sa Excel, alang sa usa ka maayo nga pagtuki

Ang Microsoft Excel mao ang himan sa pakisayran alang sa pagtuki sa datos, tungod kay nagtanyag kini daghang mga bahin alang sa pag-organisar sa mga set sa datos,…

14 Mayo 2024

Positibo nga konklusyon para sa duha ka importante nga Walliance Equity Crowdfunding nga mga proyekto: Jesolo Wave Island ug Milano Via Ravenna

Walliance, SIM ug plataporma sa mga lider sa Europe sa natad sa Real Estate Crowdfunding sukad 2017, nagpahibalo sa pagkompleto…

13 Mayo 2024

Unsa ang Filament ug kung giunsa paggamit ang Laravel Filament

Ang filament usa ka "gipadali" nga balangkas sa pagpalambo sa Laravel, nga naghatag daghang mga sangkap nga puno sa stack. Gidisenyo kini aron mapasimple ang proseso sa…

13 Mayo 2024

Ubos sa kontrol sa Artipisyal nga Kaalam

«Kinahanglan kong mobalik aron makompleto ang akong ebolusyon: I-proyekto nako ang akong kaugalingon sa sulod sa kompyuter ug mahimong puro nga kusog. Sa dihang nahusay na sa…

10 Mayo 2024

Ang bag-ong artificial intelligence sa Google mahimong modelo sa DNA, RNA ug "tanan nga molekula sa kinabuhi"

Gipaila sa Google DeepMind ang usa ka gipaayo nga bersyon sa modelo sa artipisyal nga paniktik niini. Ang bag-ong gipaayo nga modelo naghatag dili lamang…

9 Mayo 2024

Basaha ang Innovation sa imong pinulongan

newsletter sa kabag-ohan
Ayaw kalimti ang labing hinungdanon nga balita sa kabag-ohan. Pag-sign up aron madawat sila pinaagi sa email.

Sunda kanato