Články

DeepMind od Googlu řeší matematické problémy s umělou inteligencí

Nedávné pokroky ve velkých jazykových modelech (LLM) učinily AI přizpůsobivější, ale přichází s nevýhodou: chyby.

Generativní AI má tendenci si věci vymýšlet, ale Google DeepMind přišel s novým LLM, který se drží matematických pravd.

FunSearch společnosti dokáže vyřešit velmi složité matematické problémy.

Jako zázrakem jsou řešení, která generuje, nejen přesná; jsou to zcela nová řešení, která žádná lidská bytost nikdy nenašla.

Odhadovaná doba čtení: 4 minuti

FunSearch se tak nazývá proto, že hledá matematické funkce, ne proto, že by byl zábavný. Někteří lidé by však mohli považovat problém s množinou čepice za hovadinu: matematici se ani nemohou shodnout na tom, jak jej nejlépe vyřešit, což z něj činí skutečnou číselnou záhadu. DeepMind již dosáhla pokroku v oblasti umělé inteligence se svými modely Alpha, jako je AlphaFold (skládání proteinů), AlphaStar (StarCraft) a AlphaGo (hraní Go). Tyto systémy nebyly založeny na LLM, ale odhalily nové matematické koncepty.

S FunSearch, DeepMind začalo s velkým jazykovým režimem, verzí Google PaLM 2 s názvem Codey. Funguje zde druhá úroveň LLM, která analyzuje výstupy Codey a eliminuje nesprávné informace. Tým stojící za touto prací nevěděl, zda tento přístup bude fungovat, a podle výzkumníka si stále není jistý proč DeepMind Alhussein Fawzi.

Pro začátek, inženýři v DeepMind vytvořili pythonskou reprezentaci problému cap set, ale vynechali řádky popisující řešení. Codeyho úkolem bylo přidat řádky, které přesně vyřešily problém. Vrstva kontroly chyb pak hodnotí řešení Codey, aby zjistila, zda jsou přesná. V matematice na vysoké úrovni mohou mít rovnice více než jedno řešení, ale ne všechny jsou považovány za stejně dobré. Postupem času algoritmus identifikuje nejlepší řešení Codey a vloží je zpět do modelu.

DeepMind umožňuje FunSearch běžet několik dní, dostatečně dlouho na to, aby vygenerovalo miliony možných řešení. To umožnilo FunSearch upřesnit kód a poskytnout lepší výsledky. Podle nově zveřejněného výzkumu, umělá inteligence našli dříve neznámé, ale správné řešení problému s nastavením čepice. DeepMind také osvobodil FunSearch od dalšího obtížného matematického problému zvaného problém s balením kontejnerů, což je algoritmus, který popisuje nejefektivnější způsob balení kontejnerů. FunSearch našel řešení rychleji, než počítali lidé.

Matematici se stále snaží integrovat technologii LLM do své práce a práce společnosti DeepMind ukazuje možnou cestu. Tým věří, že tento přístup má potenciál, protože generuje počítačový kód spíše než řešení. To je často snazší pochopit a ověřit než hrubé matematické výsledky.