Navier-Stokes

Հետազոտողները OpenAI-ի Նավիե-Ստոքսի ապացույցում անհամապատասխանություն են հայտնաբերել

Մաթեմատիկոսները ստուգում են OpenAI-ի կողմից հոկտեմբերի 6-ին հրապարակված արհեստական բանականության միջոցով ստեղծված ապացույցների մեծ փաթեթը, և նրանց հայտնաբերած որոշ փաստեր կասկածներ են հարուցում: Քեմբրիջի հետազոտողների թիմը հայտնում է, որ ընկերության նախկին Նավիե-Ստոքսի ապացույցի մարդու համար ընթեռնելի և համակարգչով ստուգելի տարբերակները…

Մաթեմատիկոսները OpenAI-ի ստեղծած ապացույցը «գրեթե անհասկանալի» են որակում

OpenAI-ը երկուշաբթի՝ սեպտեմբերի 21-ին, հայտարարեց, որ համագործակցում է Մաթեմատիկայի և արհեստական բանականության հարցերով անկախ խորհրդատվական խմբի հետ, որը տեղակայված է Փրինսթոնի Հեռանկարային հետազոտությունների ինստիտուտում։ Այս քայլը հաջորդեց Նավիե-Ստոքսի հազարամյակի մրցանակային խնդրի վերաբերյալ AI-ի կողմից ստեղծված վիճահարույց և մեծ մասամբ անընթեռնելի…

OpenAI-ն պնդում է, որ AI-ն լուծել է 100-ից ավելի մաթեմատիկական խնդիրներ, սակայն ապացույցներ չի ներկայացնում

OpenAI-ը սեպտեմբերի 21-ին հայտարարեց, որ անանուն ներքին մոդելը, որի ուսուցումը սկսվել է օգոստոսի 28-ին, լուծել է մաթեմատիկայի գրեթե բոլոր ոլորտներում ավելի քան 100 վաղեմի բաց խնդիրներ, ներառյալ Նավիե-Ստոքսի հազարամյակի մրցանակային խնդիրը: Ընկերությունը չի ներկայացրել ոչ մի ապացույց, խնդիրների ցանկ կամ…

Ինժեներները պնդում են, որ OpenAI-ի Նավիե-Ստոքսի ապացույցը շուտով չի փոխի հեղուկների դինամիկայի աշխատանքը

Սեպտեմբերի 8-ին OpenAI-ը հայտարարեց, որ չհրապարակված ներքին AI համակարգը ապացույց է ներկայացրել, որ եռաչափ Նավիե-Ստոքսի հավասարումները կարող են վերջավոր ժամանակում եզակիություն առաջացնել՝ հնարավոր է լուծելով 2000 թվականին Քլեյի մաթեմատիկական ինստիտուտի կողմից առաջադրված վեց մնացած «Հազարամյակի մրցանակի» խնդիրներից մեկը։ Ընկերությունը հրապարակել…

Ֆիլդսյան մրցանակի 25 դափնեկիրներ զգուշացնում են, որ արհեստական բանականության կողմից մաթեմատիկական հայտնագործությունների յուրացումը սպառնում է գիտությանը

OpenAI-ը սեպտեմբերի 8-ին հայտարարեց, որ իր ներքին չհրապարակված ԱԲ մոդելը լուծել է Նավիե-Ստոքսի գոյության և հարթության խնդիրը, որը մաթեմատիկայի յոթ հազարամյակի խնդիրներից մեկն է, 88 ժամվա ընթացքում համակարգելով մոտ 10,000 ԱԲ գործակալների աշխատանքը։ Այս պնդումը, որը դեռ սպասում է անկախ…

OpenAI-ն պնդում է, որ 10 000 AI գործակալ լուծել է 90-ամյա մաթեմատիկական խնդիր

OpenAI-ը երեքշաբթի օրը հայտարարեց, որ չհրապարակված ներքին AI մոդելը, աշխատելով մոտ 10 000 համակարգված գործակալների միջոցով, ստեղծել է Նավիե-Ստոքսի գոյության և հարթության խնդրի առաջարկվող ապացույցը. սա «Հազարամյակի մրցանակի» յոթ խնդիրներից մեկն է, որոնցից յուրաքանչյուրը Քլեյի մաթեմատիկայի ինստիտուտի կողմից 1 միլիոն…

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

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