OpenAI-ը հայտարարում է երեք գիտական հայտնագործությունների և նոր ակադեմիական համագործակցության մասին
OpenAI-ը հայտարարում է մաթեմատիկայի, ինֆորմատիկայի և ֆիզիկայի նոր խոշոր հայտնագործությունների մասին. Արտաքին փորձագետները ուղղորդում են որոշ արդյունքներ, իսկ AI-ի արդյունքը հրապարակվել է մաթեմատիկայի հետազոտողների համար։
OpenAI-ը հայտարարում է մաթեմատիկայի, ինֆորմատիկայի և ֆիզիկայի ևս երեք խոշոր հայտնագործության մասին՝ հարյուրավոր ձեռագրերի հրապարակումից մեկ ամսից պակաս անց, որոնք, ընկերության խոսքով, երկար տարիներ բաց մնացած մաթեմատիկական հարցերի լուծումներ էին պարունակում։ Արտաքին փորձագետները ուղղորդում են ինֆորմատիկայի և ֆիզիկայի արդյունքները, իսկ մաթեմատիկայի դեպքում OpenAI-ը AI-ի արդյունքը հրապարակել է հետազոտողների ինքնուրույն բացատրության համար։
Մաթեմատիկա և ֆիզիկա
OpenAI-ը GitHub-ում հրապարակել է արդյունքներ, ներառյալ Էվկլիդեսյան ալիքային հավասարման տեղական հարթեցման ապացույցը։ Այն օգտագործում է օժանդակ մասնակի ածանցյալներով հավասարում՝ Սոգեի տեղական հարթեցումը հաստատելու համար բոլոր տարածական չափումներում՝ սկսած երկուսից, և տալիս է Կակեյայի մաքսիմալ ու չափողականության վարկածները և Սթայնի գնդային սահմանափակման գնահատականները ենթադրվող միջակայքի ներքին մասում։ OpenAI-ը նշում է, որ մոդելը նաև ապացուցել է տեղական հարթեցման վարկածը բոլոր չափումներում՝ լուծելով Կակեյայի և Սթայնի սահմանափակման վարկածները։ Ֆիզիկայի տվյալները ամբողջությամբ հրապարակված չեն, բայց OpenAI-ը դրանք նկարագրում է որպես չորս չափումներում չափիչ դաշտեր և ֆերմիոններ պարունակող փոխազդող քվանտային դաշտային տեսությունների մաթեմատիկորեն խիստ գոյության ապացույց՝ ներառյալ Քվանտային քրոմոդինամիկան և Ստանդարտ մոդելի միասնական ամբողջացումը։ David Gross-ը կղեկավարի խումբ՝ Michael Douglas, Arthur Jaffe, Igor Klebanov և Nikita Nekrasov-ի հետ։
Ինֆորմատիկա
Ինֆորմատիկայի արդյունքը պնդում է, որ լայնորեն ճշմարիտ համարվող Էքսպոնենցիալ ժամանակի վարկածը կեղծ է։ Հոդվածը տալիս է դետերմինիստական ալգորիթմ, որը ենթաէքսպոնենցիալ ժամանակում և բազմանդամ հիշողության մեջ ճշգրիտ հաշվում է ֆիքսված լայնության CNF բանաձևերի բավարարող նշանակումները, իսկ 3-SAT-ը հերքում է վարկածը։ Russell Impagliazzo-ի, Ramamohan Paturi-ի և Ryan Williams-ի գլխավորած անկախ խումբը կուսումնասիրի և կբացատրի ապացույցը, և նրա խնդրանքով OpenAI-ը նյութերը հրապարակել է անմիջապես։ Խումբը GitHub-ում հրապարակել է AI-ի գրավոր արդյունքը և Lean ապացույցը, ինչպես նաև բաց նամակ՝ պնդման ուսումնասիրության և AI-ի բեկումների նորմերի շուրջ կարծիքի համար։
Հրապարակման պրակտիկա
OpenAI-ը ընդունում է, որ մոտեցումը կարող է խնդիրներ ունենալ։ OpenAI-ի AGMAI մաթեմատիկական խորհրդատուների խումբը երեկ խորհուրդ տվեց չնշանակել որոշ մարդկանց արդյունքն առաջինը ստանալու համար՝ հղում անելով անհավասար հասանելիությանը, փոխառված հեղինակությանը և կողմնակալ ընտրությանը։ Փոխարենը խորհուրդ է տրվում արդյունքները հրապարակել գիտական պահոցներում՝ Lean-ով ձևակերպված ապացույցներով, խնդիրների ընտրության մասին տեղեկություններով, արդյունքները հասկանալու աշխատանքի ֆինանսավորմամբ և այլ տվյալներով։ Բաց նամակը հարցեր է բարձրացնում վաղ հասանելիության, շահերի բախումների և չհրապարակված նյութի օգտագործման, վարկի բաշխման և ուսանողների ու հետազոտողների աջակցության մասին՝ պահպանելով արդյունքները կասկածի տակ դնելու ունակությունը։ OpenAI-ը նաև 5 միլիոն դոլար է տալիս մաթեմատիկոսներին AI-ի հետազոտությունները հասկանալու համար։
Համատեքստ
Մի քանի ամիս առաջ NYU-ի պրոֆեսոր Hong Wang-ը Ֆիլդսի մեդալ ստացավ Մաթեմատիկայի միջազգային միությունից Կակեյայի վարկածը երեք չափումներում լուծելու համար։ OpenAI-ի հոկտեմբերի 6-ի ավելի վաղ հրապարակումը հիշատակվում է նոր արդյունքում, և ընկերությունը նախկինում հրապարակել էր հարյուրավոր ձեռագրեր, որոնք, նրա խոսքով, վաղուց բաց մնացած մաթեմատիկական հարցերի լուծումներ էին պարունակում։
SiTech — AI-ով հզորացված վեբ մշակում
Ստեղծում ենք արագ ու ժամանակակից կայքեր և AI-ը ներդնում իրական բիզնես գործընթացներում։ Ունե՞ք նախագիծ կամ հարց։ Ուրախ կլինենք օգնել։