OpenAI објави решенија за околу 400 математички проблеми

- Advertisement -

Еден месец откако го реши еден од шесте најголеми отворени проблеми во математиката, компанијата соопшти дека нејзиниот нов внатрешен модел решил уште многу други – овојпат без огромните трошоци од повеќе милиони долари.

Веднаш откако новиот голем јазичен модел на OpenAI го постигна најголемиот математички пробив во последните две децении, компанијата објави дури 372 резултати добиени со истиот модел. Според компанијата, секој од нив решава или значително придонесува кон решавање на некој важен отворен проблем во математиката или теоретската компјутерска наука.

- Advertisement -

OpenAI ги објави резултатите во складиште на GitHub во 18:00 часот по источно летно време (EDT). На математичарите ќе им бидат потребни месеци за да ги анализираат и разберат овие резултати – вклучително и за да утврдат дали доказите содржат нови и важни идеи или се главно комбинација од постоечки техники. Сепак, многу од резултатите веќе се потврдени во Lean – програмски јазик што ја верификува логиката на доказите – па затоа е речиси сигурно дека се точни.

Меѓу наведените резултати се решението за четиридимензионалната хипотеза на Какеја, подобрувања на некои од најважните компјутерски алгоритми во светот, како и реален напредок кон најтешкиот математички проблем – Римановата хипотеза.

- Advertisement -

Портпарол на OpenAI изјави за Scientific American дека новиот модел – кој компанијата сè уште не го пуштила во јавност – ги генерирал речиси сите овие резултати како одговор на една единствена инструкција зададена на еден агент со вештачка интелигенција. Ова претставува впечатлива разлика во однос на претходното големо решение на OpenAI за проблемот Навје-Стоукс, кое беше постигнато преку колективните напори на „рој“ од 10.000 агенти, чија работа чинеше милиони долари во компјутерска моќ. Доколку е точно, тоа би значело дека наскоро секому би можела да му биде достапна математичка моќ од невидени размери. Сепак, репутацијата на OpenAI меѓу математичарите – позната по смели тврдења и слаба транспарентност – предизвикува значителен скептицизам.

„Сè додека не го објават моделот и додека луѓето не можат да ги репродуцираат нивните резултати, сметам дека сите тврдења за решавање проблеми ‘од прва’ со помош на еден агент треба да се третираат како непотврдени“, вели Ендрју Сатерленд, математичар од Технолошкиот институт во Масачусетс (MIT). „Треба да бараме докази.“ (Портпаролот на OpenAI исто така изјави за Scientific American дека за некои од резултатите можеби биле потребни повеќе обиди.)

- Advertisement -

Начинот на кој OpenAI постапи при објавувањето на решението за равенките Навје-Стокс предизвика толку големи контроверзии што, на 21 септември, компанијата објави дека формира независна советодавна група од математичари, чија задача е да дадат препораки за одговорно објавување на резултати генерирани од вештачка интелигенција. Препораките изготвени од групата наложуваат компанијата што ги објавува таквите резултати јавно да ги прикаже моделот, точната инструкција (промпт) и времето на пресметка за секој од нив. Сепак, и покрај препораките на групата, OpenAI одлучува да го открие само просечното време на пресметка за одреден проблем, заедно со некои дополнителни статистички податоци, но без да ги открие инструкциите.

Портпаролот на OpenAI изјави за Scientific American дека тимот сериозно ги сфаќа насоките на советодавната група и прави сè што е во негова моќ за да ги почитува, но додаде дека компанијата не е обврзана да се придржува кон овие препораки.

Препораките особено ги критикуваат компаниите за вештачка интелигенција што користат „сопственички внатрешни модели“ кои не се широко достапни за математичарите. Од OpenAI за Scientific American изјавија дека компанијата работи на тоа што е можно побрзо и поодговорно да го објави моделот.

Како што се одвиваше спорот околу равенките Навје-Стокс, коментарите од вработените во OpenAI наведоа некои математичари да веруваат дека моделот на компанијата генерирал и други резултати, но дека компанијата се двоумела да ги објави. Ова покренува клучно прашање: дали е поштетно да се „затрупа“ заедницата со мноштво необјаснети докази или тие целосно да се задржат во тајност?

Фото – Wikimedia

- Advertisement -