OpenAI-ը խնդրում է արտաքին փորձագետներին վերանայել արհեստական բանականության ստեղծած ապացույցները

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

Համակարգչային գիտություն՝ ETH-ը վիճարկվում է

OpenAI-ը ասում է, որ արդյունքներից մեկը վերաբերում է էքսպոնենցիալ ժամանակի հիպոթեզին, կամ ETH-ին, որը կապված է բուլյան բավարարելիության խնդրի՝ SAT-ի հետ։ SAT-ը հարցնում է՝ արդյոք տրամաբանական բանաձևի փոփոխականները կարելի է այնպես ընտրել, որ բանաձևը ճշմարիտ լինի։ ETH-ը ասում է, որ իրական դյուրանցում չկա, և որ փոփոխականների ավելացման հետ վատագույն դեպքի հաշվարկային ժամանակը աճում է էքսպոնենցիալ կերպով։ OpenAI-ը ասում է, որ իր համակարգը ապացուցել է, որ ETH-ը սխալ է։ Ընկերությունը ասում է, որ դա կազդի ETH-ի վրա կառուցված հարյուրավոր հոդվածների վրա, թեև գործնական օգուտների համար դեռ շատ հետազոտություն կպահանջվի։

MIT-ի Ryan Williams-ը Russell Impagliazzo-ի և Ramamohan Paturi-ի հետ միասին, որոնք UC San Diego-ից են, անկախ կերպով ստուգում և բացատրում է արդյունքը։ Խումբը ասում է, որ գաղտնիության համաձայնագրեր չունի, աշխատում է անվճար և ծրագրում է կիսվել միջանկյալ եզրակացություններով։ Բաց նամակում երեքը ասում են, որ իրենց մասնակցությունը հավանություն չէ։ OpenAI-ը հրապարակում է գրավոր ապացույցը և Lean ապացույցը, և պարտավորվել է ֆինանսավորել արդյունքին նվիրված կոնֆերանս։

Մաթեմատիկա՝ տեղային հարթեցում բոլոր չափումներում

Մաթեմատիկական արդյունքը վերաբերում է տեղային հարթեցման ենթադրությանը, որը 1991 թվականին առաջարկել է Christopher Sogge-ն։ Ենթադրությունը ասում է, որ ալիքների ծայրահեղ կենտրոնացումը միայն կարճ ժամանակ է տևում, ուստի ժամանակի ընթացքում միջինացնելիս ալիքները ավելի հարթ են վարվում։ Այն երկչափ տարածությունում ապացուցվել էր Guth-ի, Wang-ի և Zhang-ի կողմից 2019 թվականին։ OpenAI-ը ասում է, որ իր մոդելները այժմ ապացույց են ստեղծել բոլոր չափումների համար։ OpenAI-ի համաձայն՝ արդյունքը նաև ապացուցում է Կակեյայի ենթադրությունը և Սթայնի սահմանափակման ենթադրությունը բոլոր չափումներում։ OpenAI-ը ասում է, որ այս ապացույցն ուղղորդող հատուկ խումբ չկա։ Արտաքին փորձագետին հասնելուց հետո այն ուղղակիորեն հրապարակել է ապացույցի տեքստը և Lean ապացույցը, որպեսզի հետազոտողները որոշեն՝ ինչպես ստուգել արդյունքը։

Ֆիզիկա՝ քվանտային դաշտի տեսության գոյությունը

Ֆիզիկական արդյունքը վերաբերում է քվանտային դաշտի տեսությանը, որը OpenAI-ն անվանում է ժամանակակից տեսական ֆիզիկայի ամենակարևոր շրջանակը։ OpenAI-ը ասում է, որ իր արհեստական բանականությունը ապացուցել է, որ որոշ քվանտային դաշտի տեսություններ գոյություն ունեն չորս չափումներում։ Ապացույցը ընդգրկում է Յանգ-Միլսի տեսությունը, քվանտային քրոմոդինամիկան և պարզագույն մեծ միավորված տեսությունը։ Յանգ-Միլսի դեպքում OpenAI-ը ասում է, որ լուծել է միայն գոյության մասը, այլ ոչ թե զանգվածի բացը, ուստի Հազարամյակի մրցանակի խնդիրը լիովին չի լուծվի։

David Gross-ի գլխավորած խումբը կուղղորդի աշխատանքը։ Gross-ը կիսել է 2004 թվականի Նոբելյան մրցանակը ֆիզիկայի բնագավառում։ Խմբում են նաև Michael Douglas-ը, Arthur Jaffe-ը, Igor Klebanov-ը և Nikita Nekrasov-ը։ OpenAI-ը ասում է, որ Յանգ-Միլսի ապացույցը թարգմանել է Lean լեզվով, բայց այս խումբը առայժմ պահում է արհեստական բանականության նյութերը և ծրագրում է ինքնուրույն գրել արդյունքի ներկայացումը։

Վերանայման ընթացքը և վաստակը

OpenAI-ը ասում է, որ գիտական վաստակ չի պահանջում, և որ վաստակը պետք է տրվի արդյունքները բացատրող խմբերին։ Այն նաև ընդունում է, որ գործընթացը որոշակի զիջումներ է պարունակում, այդ թվում՝ առաջին ուղղորդողներին ընտրողը օգնում է որոշել, թե ովքեր առաջինը կներգրավվեն։ OpenAI-ը ասում է, որ դեռ պարզ չէ, թե վերանայման որ մոտեցումն է լավագույնս աշխատում։

Աղբյուրներ՝ The Decoder