Navier-Stokes-ի հետ կապված AI-ի առաջընթացը վեճ է հարուցել OpenAI-ի և Anthropic-ի հետ կապված հետազոտողների միջև

Մաթեմատիկայի ամենահայտնի չլուծված խնդիրներից մեկի շուրջ վեճ է բռնկվել երեքշաբթի օրը, երբ NYU-ի մաթեմատիկոս Տրիստան Բակմաստերը հրապարակել է հայտարարություն՝ մեղադրելով OpenAI-ին իր հետազոտության վրա հիմնված աշխատանքի համար վարկանիշ ձեռք բերելու շտապողականության մեջ, ինչպես նաև իր համահեղինակին մրցակից AI ընկերության հետ կապերի պատճառով հեղինակությունից հեռացնելու համար ճնշում գործադրելու մեջ:

Մաթեմատիկան

Բակմաստերը և Լևենտ Ալպյոգեն, որը Anthropic-ի աշխատակից է, մոտ մեկ տարի օգտագործել են AI գործիքներ՝ Դիեգո Կորդոբայի և Լուիս Մարտինես-Զորոայի կողմից սկզբնավորված հետազոտական ծրագիրը ընդլայնելու համար: Նրանց աշխատանքը, որը հրապարակվել է երկուշաբթի ուշ երեկոյան Lean ապացույցների օգնականում ձևական ստուգման հետ միասին, ցույց է տվել, որ Navier-Stokes-ի հետ սերտորեն կապված մի քանի հեղուկային հավասարումներ, ներառյալ 3D անսեղմելի Էյլերի հավասարումները, կարող են եզակիություններ առաջացնել վերջավոր ժամանակում սահուն ստիպողականության պայմաններում: Ֆիլդսյան մրցանակակիր Տերենս Տաոն արդյունքներն անվանել է «ուշագրավ նվաճում» և ասել, որ ինքը «ոչ մի հիմնարար խոչընդոտ» չի տեսնում մեթոդները Navier-Stokes-ի ամբողջական հավասարումների վրա տարածելու համար:newscientist+2

Navier-Stokes-ի հավասարումները, որոնք նկարագրում են հեղուկների շարժումը, Clay մաթեմատիկական ինստիտուտի կողմից սահմանված յոթ «Հազարամյակի մրցանակային խնդիրներից» են, որոնցից յուրաքանչյուրն ունի 1 միլիոն դոլար պարգև: Մաթեմատիկոսները երկու դար շարունակ պայքարել են պարզելու համար, թե արդյոք հավասարումների լուծումները միշտ մնում են սահուն, թե կարող են վերածվել եզակիությունների:scientificamerican

Վեճը

Ըստ Բակմաստերի հրապարակային հայտարարության, իր և Ալպյոգեի առաջընթացի մասին լուրերը OpenAI-ին հասել են սեպտեմբերի 3-ի շրջակայքում: Մի քանի օր անց OpenAI-ի գիտնական Սեբաստիան Բուբեկը նրան ասել է, որ ներքին մոդելը ստեղծել է մոտ 100 էջանոց ապացույց, որը տարածվում է Navier-Stokes-ի ամբողջական հարկադրված հավասարումների վրա: Բակմաստերը պնդում է, որ ընկերության ջանքերը սկսվել են միայն իր աշխատանքի մասին իմանալուց հետո, և որ այն հետևել է նույն նեղ տեխնիկական մոտեցմանը, որը նա և Ալպյոգեն լուռ հետապնդում էին:officechai+1

Բակմաստերն ասում է, որ Բուբեկը երկու անգամ ճնշում է գործադրել Ալպյոգեին հեղինակների կազմից հեռացնելու համար՝ որպես բարդություն նշելով նրա աշխատանքը Anthropic-ում: Երբ Բակմաստերն ասել է, որ հրապարակելու է այս մասին, նա պնդում է, որ Բուբեկը պատասխանել է. «Ինչո՞ւ պետք է կործանես կարիերադ»: Նա նաև ասում է, որ հարցրել է, թե արդյոք OpenAI-ի մոդելը վարժեցվել է իր Codex-ի մասնավոր նստաշրջանի տվյալների վրա, որոնք պարունակում էին ապացույցների նախագծեր: Նա ասում է, որ հստակ պատասխան չի ստացել:scientificamerican+1

Բուբեկը X-ում պատասխանել է՝ մեղադրանքները անվանելով «կեղծ և սադրիչ» և ասելով, որ ինքը գործել է «ակադեմիական նորմերին համապատասխան»: Նա խոստացել է ավելի մանրամասն հայտարարություն:officechai

Ինչն է մնում չլուծված

OpenAI-ի պնդած Navier-Stokes-ի ապացույցը հանրությանը չի ներկայացվել և չի ստուգվել արտաքին մաթեմատիկոսների կողմից: Նույնիսկ Բակմաստեր-Ալպյոգեի ստուգված արդյունքները վերաբերում են հավասարումների հարկադրված տարբերակներին, այլ ոչ թե Navier-Stokes-ի չհարկադրված խնդրին, ինչպես փորձագետների մեծ մասն է մեկնաբանում «Հազարամյակի մրցանակը»: Մանչեսթերի համալսարանից Դեյվիդ Սիլվեստերը նշել է, որ ընթացիկ աշխատանքը, այնուամենայնիվ, կարող է բավարար լինել մրցանակին հավակնելու համար, մինչդեռ Սուրեյի համալսարանից Կամիլա Նոբիլին զգուշացրել է, որ Navier-Stokes-ի ամբողջական հավասարումներին հասնելը կպահանջի ավելին, քան պարզապես նույն տեխնիկայի կրկնումը:glitchwire+3

«Ոչինչ չի փոխվի այն ոլորտներում, որտեղ օգտագործվում է Navier-Stokes-ը այս արդյունքի պատճառով», — ասել է Սիլվեստերը: «Անկեղծ ասած, սա մաթեմատիկական նրբություն է»: Ավելի մեծ հարցը՝ արդյոք մրցակցող AI լաբորատորիաները կխեղաթյուրեն մաթեմատիկական հայտնագործությունների նորմերը, կարող է ավելի դժվար լուծելի լինել, քան հենց հավասարումները:newscientist