Perkiraan waktos maca: 4 menit
FunSearch disebut kitu sabab neangan fungsi matematik, lain sabab senang. Sanajan kitu, sababaraha urang bisa nganggap masalah cap set hiji hoot: matematikawan malah teu bisa satuju kumaha pangalusna pikeun ngajawab éta, sahingga hiji misteri numerik nyata. Deepmind geus nyieun kamajuan dina kecerdasan jieunan jeung model Alpha na kayaning AlphaFold (protein tilepan), AlphaStar (StarCraft), sarta AlphaGo (maén Go). Sistem ieu teu dumasar kana LLM, tapi ngungkabkeun konsép matematik anyar.
Kalayan FunSearch, Deepmind dimimitian ku mode basa badag, versi Google PaLM 2 disebut Codey. Aya tingkat LLM kadua di tempat damel, anu nganalisa kaluaran Codey sareng ngaleungitkeun inpormasi anu salah. Tim tukangeun karya ieu henteu terang upami pendekatan ieu bakal jalan sareng masih henteu yakin naha, numutkeun panaliti Deepmind Alhussein Fawzi.
Pikeun ngamimitian, insinyur di Deepmind aranjeunna dijieun ngagambarkeun Python tina masalah cap set, tapi ditinggalkeun kaluar garis ngajéntrékeun solusi. Tugas Codey nyaéta pikeun nambihan garis anu leres-leres ngarengsekeun masalahna. Lapisan mariksa kasalahan teras nyitak solusi Codey pikeun ningali naha éta akurat. Dina matematika tingkat luhur, persamaan bisa mibanda leuwih ti hiji solusi, tapi teu kabeh dianggap sarua alus. Kana waktosna, algoritma ngidentipikasi solusi Codey pangsaéna sareng ngalebetkeun deui kana modél.
DeepMind ngamungkinkeun FunSearch ngajalankeun sababaraha dinten, cukup lila pikeun ngahasilkeun jutaan solusi anu mungkin. Ieu ngamungkinkeun FunSearch pikeun nyaring kode sareng ngahasilkeun hasil anu langkung saé. Numutkeun panalungtikan anyar diterbitkeun, Theintelijen buatan mendakan solusi anu teu dipikanyaho tapi leres pikeun masalah set cap. Deepmind ogé dibébaskeun FunSearch on masalah matematik susah sejen disebut masalah wadahna packing, hiji algoritma anu ngajelaskeun cara pang éfisiénna pak peti. FunSearch mendakan solusi anu langkung gancang tibatan anu diitung ku manusa.
Ahli matematika masih berjuang pikeun ngahijikeun téknologi LLM kana karyana sareng karyana Deepmind nembongkeun jalur mungkin nuturkeun. Tim nu yakin pendekatan ieu boga poténsi sabab dibangkitkeun kode komputer tinimbang solusi. Ieu sering langkung gampang kahartos sareng diverifikasi tibatan hasil matematika atah.
BlogInnovazione.it
Ngembangkeun kaahlian motorik halus ngaliwatan ngawarnaan nyiapkeun barudak pikeun kaahlian leuwih kompleks kawas nulis. Pikeun ngawarnaan…
Sektor angkatan laut mangrupikeun kakuatan ékonomi global anu leres, anu nuju ka arah pasar 150 milyar ...
Senén kamari, Financial Times ngumumkeun deal sareng OpenAI. FT ngalisensikeun jurnalisme kelas dunya na…
Jutaan jalma mayar jasa streaming, mayar biaya langganan bulanan. Pendapat umum yén anjeun…