700 ձեռագիր, 48 ժամ, երեք հրաժարում. Ստուգողը հաղթեց։

OpenAI-ը վերջերս հրապարակեց ավելի քան 700 մաթեմատիկական ապացույցներից բաղկացած հսկայական պահոց, որոնք ստեղծվել են ներքին AI մոդելի կողմից՝ խոստանալով ժամանակի ընթացքում ապահովել դրանց ձևական հաստատումը Lean լեզվով։ Հրապարակումը բուռն քննարկումներ առաջացրեց ակադեմիական նորմերի և գիտության մեջ AI-ի դերի վերաբերյալ։ 48 ժամվա ընթացքում արդյունքներից երեքը հանվեցին, ինչը ցույց տվեց հանրային և մեխանիկական ստուգման արդյունավետությունը։ Հեղինակը պնդում է, որ այս դեպքը ցույց է տալիս AI-ի զարգացման դրական տեղաշարժը. փոխարենը միայն կորպորատիվ հայտարարություններին ապավինելու, համայնքն այժմ կարող է օգտագործել բաց պահոցները անկախ աուդիտներ իրականացնելու համար։ Ստուգման տրամաբանությունը AI-ի կողմից ստեղծված արտեֆակտների հետ միասին հրապարակելով՝ OpenAI-ն ակամայից ստեղծեց մի համակարգ, որտեղ սխալները հանրայնորեն երևում են commit-ների պատմության մեջ։ Այս իրադարձությունը կարևոր դաս է ոլորտի համար՝ ընդգծելով, որ թափանցիկությունը և մեխանիկական վերարտադրելիությունը էական են AI-ի արդյունքների նկատմամբ վստահություն ձեռք բերելու համար։