OpenAI-ն հայտարարել է երեք նոր գիտական ապացույցների մասին և ներգրավել արտաքին փորձագետների

OpenAI-ը երկուշաբթի՝ հոկտեմբերի 26-ին, հայտարարեց, որ իր ներքին մոդելները ստացել են երեք նոր արդյունք։ Դրանցից մեկը տեղային հարթեցման վարկածի ապացույցն է բոլոր չափումներում, որը նաև կլուծի Kakeya-ի և Stein-ի սահմանափակման վարկածները։ Երկրորդը Էքսպոնենցիալ ժամանակի վարկածի հերքումն է, իսկ երրորդը՝ քվանտային քրոմոդինամիկայի գոյության խիստ ապացույցը։ Փոխանակ ակադեմիական վարկանիշ պահանջելու, ընկերությունը հրավիրել է արտաքին փորձագետների՝ որպես «հովիվներ» հանդես գալու և աշխատանքը ստուգող ու բացատրող խմբեր կազմակերպելու համարtheverge.com+1։

Երեք արդյունք, երեք թողարկման պլան

Մաթեմատիկական պնդումը հիմնված է Քրիստոֆեր Սոգգեի 1991 թվականի տեղային հարթեցման վարկածի վրա։ Մաթեմատիկոսներն այն ապացուցել են երկչափ տարածությունում 2019 թվականին, իսկ Kakeya-ի վարկածը եռաչափ տարածությունում ապացուցվել է 2025 թվականին։ OpenAI-ը նշում է, որ իր ապացույցը հիմնված է «նոր օժանդակ մասնակի դիֆերենցիալ հավասարման» վրա։ Փորձագետի խորհրդով՝ OpenAI-ը հրապարակել է մոդելի նկարագրությունը և Lean ապացույցը GitHub-ում, ինչպես արել էր հոկտեմբերի 6-ի թողարկման ժամանակopenai.com+1։

Համակարգչային գիտության արդյունքը նկարագրում է դետերմինիստական ալգորիթմ, որը հաշվարկում է ֆիքսված լայնության CNF բանաձևերի բավարարող նշանակումները ենթաէքսպոնենցիալ ժամանակում։ 3-SAT-ի վրա կիրառելու դեպքում դա կհերքեր մի վարկած, որն օգտագործվում է հարյուրավոր դժվարության ապացույցներում։ UC San Diego-ից Ռասել Իմպալյացոն և Ռամամոհան Պատուրին, որոնք առաջինն էին առաջարկել այդ վարկածը, MIT-ից Ռայան Ուիլյամսի հետ միասին կղեկավարեն ստուգումը։ Նրանք զգուշացրել են, որ «մեր մասնակցությունը չպետք է ընկալվի որպես պնդման հավաստագրում»։ OpenAI-ը նաև համաձայնել է ֆինանսավորել կոնֆերանս՝ քննարկելու արդյունքի նշանակությունը ոլորտի համարthenextweb.com+1։

Ֆիզիկայի վերաբերյալ նյութերը ժամանակավորապես չեն հրապարակվել։ Նոբելյան մրցանակակիր Դեյվիդ Գրոսի գլխավորած խումբը, որի կազմում են Մայքլ Դուգլասը, Արթուր Ջաֆեն, Իգոր Կլեբանովը և Նիկիտա Նեկրասովը, որոշել է ինքնուրույն գրել արդյունքի մասին։ Աշխատանքը ներառում է մաքուր Yang-Mills տեսության գոյության ապացույցը, որը Clay Millennium մրցանակային խնդիրներից մեկն էopenai.com։

Հարցեր «հովվի» մոդելի վերաբերյալ

OpenAI-ը հայտարարում է, որ հովիվները չեն ստորագրի գաղտնիության պայմանագրեր և չեն վարձատրվի։ Ընկերությունը նաև նշում է, որ «չի ձգտում ակադեմիական վարկանիշի» իր մոդելների բացահայտումների համար։ Ընկերությունն ընդունել է, որ առաջին հովիվների ընտրությունը «ստեղծում է տեղեկատվական անհամաչափություն»։ Այս պայմանավորվածությունը լրացնում է OpenAI-ի վերջին 5 միլիոն դոլարի ներդրումը Simons Foundation-ում, որը կֆինանսավորի AI-ի կողմից ստացված արդյունքների վերաբերյալ սեմինարներըopenai.com։

Բոլորը չէ, որ համաձայն են այս մոտեցման հետ։ Հայտարարությունից մեկ օր առաջ OpenAI-ի մաթեմատիկական խորհրդատուների սեփական խումբը խորհուրդ էր տվել AI ընկերություններին չորդեգրել ընտրված անձանց մոդելի արդյունքներին առաջնահերթ հասանելիություն տրամադրելու պրակտիկան։ Խումբը մատնանշել է անհավասար հասանելիությունը, փոխառված հեղինակությունը և կողմնակալ ընտրությունը։ Gizmodo-ն նշել է, որ Lean ստուգումը նախկինում ևս խնդիրներ է առաջացրել։ OpenAI-ի Navier-Stokes-ի վերաբերյալ ավելի վաղ արված պնդման ընթերցողները մտահոգված էին, որ Lean ապացույցը ստուգել էր ավելի թույլ պնդում, քան այն, որը հրապարակել էր ընկերությունը։ OpenAI-ը նոր ձեռագրերը նկարագրում է որպես «հում հետազոտական տվյալներ», որոնք գիտական հանրությունը դեռ պետք է վերածի գիտելիքիgizmodo.com+1։