Artikel

DeepMind Google ngrampungake masalah matematika kanthi intelijen buatan

Kemajuan anyar ing model basa gedhe (LLM) nggawe AI luwih gampang adaptasi, nanging ana kekurangan: kesalahan.

Generatif AI cenderung nggawe, nanging Google DeepMind wis nggawe LLM anyar sing tetep ing bebener matematika.

FunSearch perusahaan bisa ngatasi masalah matematika sing rumit banget.

Ajaib, solusi sing diasilake ora mung akurat; padha solusi rampung anyar sing ora ana manungsa wis tau ketemu.

Perkiraan wektu maca: 4 menit

FunSearch diarani mangkono amarga nggoleki fungsi matematika, dudu amarga nyenengake. Nanging, sawetara wong bisa nganggep masalah cap set minangka hoot: ahli matematika malah ora bisa setuju babagan cara paling apik kanggo ngatasi masalah kasebut, dadi misteri numerik sing nyata. Deepmind wis nggawe kemajuan ing intelijen buatan kanthi model Alpha kayata AlphaFold (lempitan protein), AlphaStar (StarCraft), lan AlphaGo (muter Go). Sistem iki ora adhedhasar LLM, nanging dicethakaké konsep matématika anyar.

Kanthi FunSearch, Deepmind diwiwiti kanthi mode basa gedhe, versi Google PaLM 2 sing diarani Codey. Ana tingkat LLM kapindho ing karya, sing nganalisa output Codey lan ngilangi informasi sing salah. Tim konco karya iki ora ngerti yen pendekatan iki bakal bisa lan isih ora yakin apa, miturut peneliti Deepmind Alhussein Fawzi.

Kanggo miwiti, engineers ing Deepmind padha digawe perwakilan Python saka masalah nyetel tutup, nanging kiwa metu garis njlèntrèhaké solusi. Tugas Codey yaiku nambah garis sing ngrampungake masalah kasebut kanthi akurat. Lapisan pamriksa kesalahan banjur menehi skor solusi Codey kanggo ndeleng manawa akurat. Ing matematika tingkat dhuwur, persamaan bisa duwe luwih saka siji solusi, nanging ora kabeh dianggep padha apik. Sajrone wektu, algoritma ngenali solusi Codey sing paling apik lan nglebokake maneh menyang model kasebut.

DeepMind ngidini FunSearch mlaku sawetara dina, cukup suwe kanggo ngasilake jutaan solusi sing bisa ditindakake. Iki ngidini FunSearch nyaring kode lan ngasilake asil sing luwih apik. Miturut riset sing mentas diterbitake, Ingintelijen buatan nemokake solusi sing durung dingerteni nanging bener kanggo masalah set tutup. Deepmind uga mbebasake FunSearch ing masalah matematika liyane angel disebut masalah packing wadhah, algoritma sing njlèntrèhaké cara paling efisien kanggo Pack kontaner. FunSearch nemokake solusi sing luwih cepet tinimbang sing diwilang dening manungsa.

Matématikawan isih berjuang kanggo nggabungake teknologi LLM menyang karya lan karya Deepmind nuduhake dalan sing bisa ditindakake. Tim kasebut yakin pendekatan iki duweni potensi amarga ngasilake kode komputer tinimbang solusi. Iki asring luwih gampang dingerteni lan diverifikasi tinimbang asil matematika mentah.