Чланци

Гоогле-ов ДеепМинд решава математичке проблеме помоћу вештачке интелигенције

Недавни напредак у моделима великих језика (ЛЛМ) учинио је вештачку интелигенцију прилагодљивијом, али ово долази са лошом страном: грешке.

Генеративна АИ има тенденцију да измишља ствари, али Гоогле ДеепМинд је смислио нови ЛЛМ који се држи математичких истина.

ФунСеарцх компаније може да реши веома сложене математичке проблеме.

За чудо, решења која она генерише нису само тачна; они су потпуно нова решења која нико никада није пронашао.

Предвиђено време читања: 4 минута

ФунСеарцх се тако зове зато што тражи математичке функције, а не зато што је забаван. Међутим, неки људи би могли сматрати проблем скупа капица шашавим: математичари се не могу ни сложити око тога како да га најбоље реше, што га чини правом нумеричком мистеријом. ДеепМинд је већ направио напредак у вештачкој интелигенцији са својим Алпха моделима као што су АлпхаФолд (преклапање протеина), АлпхаСтар (СтарЦрафт) и АлпхаГо (играње Го). Ови системи нису били засновани на ЛЛМ, већ су открили нове математичке концепте.

Уз ФунСеарцх, ДеепМинд почео са великим језичким режимом, верзијом Гоогле-овог ПаЛМ 2 под називом Цодеи. На делу је други ниво ЛЛМ, који анализира Цодеијев излаз и елиминише нетачне информације. Тим који стоји иза овог рада није знао да ли ће овај приступ функционисати и још увек није сигуран зашто, према истраживачу ДеепМинд Алхуссеин Фавзи.

За почетак, инжењери у ДеепМинд креирали су Питхон репрезентацију проблема са ограничењем, али су изоставили редове који описују решење. Кодијев посао је био да дода редове који тачно решавају проблем. Слој за проверу грешака затим оцењује Цодеи решења да види да ли су тачна. У математици високог нивоа, једначине могу имати више од једног решења, али се не сматрају сва једнако добрима. Временом, алгоритам идентификује најбоља Цодеи решења и убацује их назад у модел.

ДеепМинд дозвољава ФунСеарцх да ради неколико дана, довољно дуго да генерише милионе могућих решења. Ово је омогућило ФунСеарцх-у да прецизира код и произведе боље резултате. Према новообјављеним истраживањимаЛ 'вештачка интелигенција пронашао раније непознато, али тачно решење за проблем са скупом капа. ДеепМинд такође је ослободио ФунСеарцх за још један тежак математички проблем који се зове проблем паковања контејнера, алгоритам који описује најефикаснији начин за паковање контејнера. ФунСеарцх је пронашао решење брже од оних које су израчунали људи.

Математичари се још увек боре да интегришу ЛЛМ технологију у свој рад и рад ДеепМинд показује могући пут који треба следити. Тим верује да овај приступ има потенцијал јер генерише компјутерски код, а не решење. Ово је често лакше разумети и проверити него сирове математичке резултате.