OpenAI-ն հրապարակել է չթողարկված AI մոդելի կողմից ստեղծված 722 մաթեմատիկական աշխատանք

Երեքշաբթի՝ հոկտեմբերի 6-ին, OpenAI-ը հրապարակային GitHub պահոցում տեղադրել է 722 մաթեմատիկական ձեռագիր, որոնք դասակարգվել են 372 «արդյունքների ընտանիքների»։ Ընկերությունը հայտնում է, որ դրանք ստեղծվել են չթողարկված ներքին առաջատար մոդելի կողմից։ Scientific American-ը հաղորդում է, որ պահոցը հասանելի է դարձել EDT ժամանակով երեկոյան ժամը 6-ին։ Մաթեմատիկոսներից ամիսներ կպահանջվեն արդյունքներն ուսումնասիրելու և գնահատելու համար, թե արդյոք ապացույցները պարունակում են նոր գաղափարներ, թե պարզապես վերամշակում են գոյություն ունեցող մեթոդներըopenai+2։

Հրապարակումը կատարվել է սեպտեմբերի 8-ին OpenAI-ի այն հայտարարությունից մեկ ամիս անց, որ նույն ներքին համակարգն ապացուցել է, որ եռաչափ Նավիե-Ստոքսի հոսքերը կարող են սինգուլյարություններ առաջացնել վերջավոր ժամանակում։ Այդ խնդիրը Քլեյի մաթեմատիկական ինստիտուտի «Հազարամյակի խնդիրներից» մեկն է։ Նավիե-Ստոքսի վերաբերյալ հայտարարությունը քննադատության է արժանացել հեղինակության, թափանցիկության և ընկերության կողմից արդյունքների հրապարակման արագության վերաբերյալscientificamerican+2։

Ինչ է պարունակում պահոցը

Ընտանիքները բաշխված են 17 առարկաների միջև, որոնցից ամենաշատ գրառումները վերաբերում են տեսական համակարգչային գիտությանը, կոմբինատորիկային, հանրահաշվական երկրաչափությանը և թվերի տեսությանը։ Կատալոգը ներառում է պնդումներ պի թվի իռացիոնալության ցուցիչի, Մալերի վարկածների, NP-բարդության, ազատ խմբային գործակիցների իզոմորֆիզմի և ռելյատիվիստական Վլասով-Մաքսվելի հավասարումների վերաբերյալinterestingengineering+2։

OpenAI-ը նաև հրապարակել է ապացույցներից շատերի Lean ֆորմալիզացիաները։ Lean-ը ծրագրավորման լեզու է, որը թույլ է տալիս համակարգչին ստուգել ապացույցի յուրաքանչյուր տրամաբանական քայլը։ Սակայն ոչ բոլոր ձեռագրերն են ֆորմալիզացված։ Պահոցի README ֆայլը զգուշացնում է, որ որոշ չֆորմալիզացված արդյունքներ «կարող են խնդիրներ ունենալ», իսկ ֆորմալիզացիայի մանիֆեստում դրանց կարգավիճակը նշված է որպես «չստուգված»kingy+2։

Ընկերությունը հայտնել է, որ գնահատման ընթացքում մոդելը փորձել է լուծել մոտ 4000 խնդիր։ Նշվում է, որ միջին արդյունքի համար պահանջվել է «մոտավորապես երեք ժամ ChatGPT Pro-ի մտածողությանը» համարժեք հաշվողական ռեսուրս։ Ներառված են մոդելի տրամաբանության տասը հակիրճ ամփոփումներ։ OpenAI-ը չի բացահայտել ընդհանուր դրամական արժեքը, թոքենների քանակը կամ մոդելի հրապարակային անունըunite+2։

Խորհրդատվական խմբի ուղեցույցները մասամբ են կատարվել

OpenAI-ը հայտնել է, որ հրապարակումը ձևավորել է՝ հիմնվելով Փրինսթոնի Հեռանկարային հետազոտությունների ինստիտուտի Մաթեմատիկայի և արհեստական բանականության անկախ խորհրդատվական խմբի խորհուրդների վրա։ Խումբը սեպտեմբերի 29-ին հրապարակել էր առաջարկություններ, որոնք կոչ են անում լաբորատորիաներին հրապարակել մոդելի անունը, օգտագործված հուշումները և յուրաքանչյուր արդյունքի համար հաշվողական ծախսերը, ինչպես նաև արդյունքները տեղադրել այնպիսի պահոցներում, որոնք չեն վերահսկվում AI լաբորատորիաների կողմից։ OpenAI-ը չի հրապարակել հուշումները կամ հաշվողական ծախսերի տվյալները։ Ընկերության խոսնակը Scientific American-ին ասել է, որ OpenAI-ը լրջորեն է վերաբերվում ուղեցույցներին, սակայն դրանցով պարտավորված չէscientificamerican+2։

Նույն խոսնակը նշել է, որ գրեթե յուրաքանչյուր արդյունք ստացվել է մեկ գործակալին տրված մեկ հուշումից, թեև որոշ դեպքերում կարող էին պահանջվել բազմակի փորձերscientificamerican։

Հակասական արձագանքներ

«Մենք պետք է պահանջենք ապացույցներ», — ասել է MIT-ի մաթեմատիկոս Էնդրյու Սազերլենդը Scientific American-ին։ Նա նշել է, որ խնդիրները մեկ փորձով լուծելու մասին պնդումները պետք է համարել չհաստատված, քանի դեռ մոդելը չի թողարկվել։ Տորոնտոյի համալսարանից Դանիել Լիթը հակառակ տեսակետն է հայտնել. «Ինձ համար սա լավ բան է լինելու մաթեմատիկայի համար»scientificamerican։

OpenAI-ը հայտնել է, որ նախատեսում է ֆինանսավորել սեմինարներ և կոնֆերանսներ, որոնք կօգնեն մաթեմատիկոսներին հասկանալ AI-ի կողմից ստեղծված արդյունքները, և որ աշխատում է «պատասխանատու կերպով թողարկել մոդելը», որը կանգնած է դրանց հետևումopenai։