Քլեյի մաթեմատիկայի ինստիտուտը մեկնաբանել է OpenAI-ի հայտարարությունը Նավիե-Ստոքսի խնդրի վերաբերյալ

OpenAI-ն սեպտեմբերի 8-ին հայտարարեց, որ դեռևս չհրապարակված ներքին ԱԲ մոդելը, օգտագործելով շուրջ 10,000 ինքնավար գործակալներ 88 ժամվա ընթացքում, ներկայացրել է ապացույց առ այն, որ եռաչափ Նավիե-Ստոքսի հավասարումները կարող են վերջավոր ժամանակահատվածում առաջացնել եզակիություն. արդյունք, որը հաստատվելու դեպքում կլուծի 2000 թվականին Քլեյի մաթեմատիկայի ինստիտուտի սահմանած Հազարամյակի մրցանակային մնացած վեց խնդիրներից մեկը: Հայտարարությունը ստվերվել է Նյու Յորքի համալսարանի մաթեմատիկոս Թրիստան Բաքմասթերի և Anthropic-ի հետազոտող Լևենտ Ալփյոգեի հետ խորացող վեճով, որը վերաբերում է հետազոտական հեղինակային իրավունքներին և փակ տվյալների հնարավոր օգտագործմանը:nature+2

Հեղուկների դինամիկայում հայտարարված ճեղքումը

Նավիե-Ստոքսի հավասարումները նկարագրում են հեղուկների և գազերի, օրինակ՝ ջրի և օդի շարժումը, իսկ այն հարցը, թե արդյոք դրանց լուծումները միշտ մնում են կանոնավոր, թե կարող են «պայթել» (առաջացնելով ֆիզիկապես անհնարին անսահման արագություններ), տասնամյակներ շարունակ բաց է մնացել: OpenAI-ն նշել է, որ իր ապացույցը ցույց է տալիս, որ սկզբնապես հանգիստ վիճակում գտնվող հարթ հեղուկը արտաքին հարթ ազդեցության տակ կարող է առաջացնել նման եզակիություն, ընդ որում արդյունքը ստուգվել է Lean թեորեմների ֆորմալ ապացուցման լեզվի միջոցով: OpenAI-ի ղեկավարների համաձայն, ջանքերը պահանջել են «միլիոնավոր դոլարների» հաշվողական ռեսուրսներ:axios+3

Scientific American-ը և S&P Global Inc. ↘ 0.98%-ն հայտնել են, որ Lean համակարգով ստուգումը «գրեթե երաշխավորում է» ապացույցի ճշտությունը, թեև լայն մաթեմատիկական համայնքը դեռ պետք է ավարտի գրախոսությունը: Քլեյի մաթեմատիկայի ինստիտուտը սեպտեմբերի 11-ին հայտարարել է, որ «կիսում է ոգևորությունը», քանի որ արդյունքը «վերլուծվում և ուսումնասիրվում է»՝ ձեռնպահ մնալով խնդիրը լուծված հայտարարելուց:scientificamerican+1

Հեղինակության շուրջ վեճը

Այս նվաճումը տեղի ունեցավ Բաքմասթերի այն պնդումների ֆոնին, թե OpenAI-ն արագացրել է իր աշխատանքը այն բանից հետո, երբ իմացել է իր և Ալփյոգեի կատարած հարակից հետազոտության մասին, որն մասամբ իրականացվել էր OpenAI-ի Codex գործիքի կիրառմամբ: Բաքմասթերն ու Ալփյոգեն սեպտեմբերի 7-ին հրապարակեցին իրենց արդյունքները, որոնք ցույց էին տալիս վերջավոր ժամանակում պայթյուն հարակից, սակայն պարզեցված հեղուկների հավասարումների համար: TechRepublic-ի փոխանցմամբ՝ Բաքմասթերը պնդում է, որ OpenAI-ն իրեն առաջարկել է միանձնյա հեղինակություն Նավիե-Ստոքսի լուծման համար այն պայմանով, որ Ալփյոգեի անունը հանվի. պնդում, որը հերքել է OpenAI-ի հետազոտող Սեբաստիեն Բուբեկը:techrepublic+3

OpenAI-ն հայտարարել է, որ իր հետազոտողներն ու գործակալները «որևէ եղանակով չեն տեսել նրանց աշխատանքը, քանի դեռ այն հրապարակայնորեն չէր թողարկվել», և որ «այս խնդիրը լուծելու համար օգտատերերի որևէ կոնկրետ տվյալի հասանելիություն չի օգտագործվել»: Այնուամենայնիվ, ընկերությունը ընդունել է, որ «չի կարող բացառել, որ մեր ապրանքների օգտագործումից ստացված ապանունավորված տվյալները նպաստել են մեր մոդելների բարելավմանը»: Բաքմասթերը հրապարակայնորեն անվանել է Բուբեկի ներկայացրած տարբերակը «լիովին կեղծ», իսկ Բուբեկը հետագայում ներողություն է խնդրել իրենց շփումների ընթացքում արած դիտողության համար, հայտնում է The Next Web-ը:thenextweb+4

Ավելի լայն հետևանքներ

Վեճն արձագանք է գտել մաթեմատիկական ողջ համայնքում: Առաջատար մաթեմատիկոսների ստորագրած բաց նամակում քննադատության են ենթարկվում ԱԲ ընկերությունները՝ առանց պատշաճ հղումների հայտնի խնդիրները լուծելու շտապողականության համար: Ֆիլդսյան մրցանակակիր Դեն Յուն սոցիալական ցանցերում կատակել է, որ եթե ԱԲ-ն լուծի մաթեմատիկական բոլոր խնդիրները, «ես տուն կգնամ և կգրեմ իմ յուրի վեպը»՝ միաժամանակ զգուշացնելով, որ ԱԲ-ն «անհանգստության և անհամբերության մթնոլորտ է ստեղծել մաթեմատիկական շրջանակներում»: Քլեյի մաթեմատիկայի ինստիտուտի պաշտոնական պատասխանում հատկանշականորեն գովաբանվել է «մարդկային նոր ըմբռնման» պոտենցիալը, սակայն որևէ հիշատակում չի արվել մրցանակի արժանանալու պահանջներին համապատասխանելու մասին:thenews+1