OpenAI Ta Yi Iƙirarin Warware Matsalar Navier–Stokes Yayin da Ake Tambaya Kan Bayanai na Codex

Abin da ya sauya

A cewar rahoton VentureBeat, OpenAI ta ce wani tsari na cikin gida da ke amfani da tarin wakilai 10,000 ya warware matsalar wanzuwa da santsi ta Navier–Stokes, ɗaya daga cikin Matsalolin Kyautar Millennium guda bakwai da aka gabatar shekaru 26 da suka wuce. Rahoton ya kuma ce OpenAI ba za ta iya kawar da yiwuwar cewa bayanan Codex masu zaman kansu na wani mai bincike sun taimaka wa sakamakon ba.

Dalilin da ya sa wannan yake da muhimmanci

Wannan bai kai ga zama wani ci gaban samfur da za a saka a taswirar shirye-shirye ba. Gwaji ne mai nauyi kan abin da furucin “AI ta warware ta” ya kamata ya nufa idan sakamakon zai iya sauya wani fanni.

Tarin wakilai na iya fitar da amsa mai ban mamaki, amma har yanzu wajibi ne ya bayyana yadda ya kai ga ita. Ga ƙungiyoyin da ke gina tsarin bincike na wakilai masu yawa, abin da hakan ke nufi a aikace a bayyane yake: sanin asalin bayanai da iya sake samar da sakamako suna zama wani ɓangare na samfurin. Tsarin da ke riƙe da hanyar hujja da za a iya bincikawa, tare da ingantaccen tarihin abubuwan da aka shigar a ciki, zai iya samun amincewar da sakamako marar bayyananniyar hanya ba zai samu ba.

Hasashenmu bisa ga bayanan da ake da su: cikin makonni masu zuwa, mai yiwuwa wannan zai ci gaba da kasancewa aikin tantancewa ne, ba wata ka’ida da aka kammala tabbatarwa ba. Idan OpenAI ta iya gabatar da hujjar da za a iya bincikawa da kuma tsabtataccen bayanin asalin bayanai, tsarin wakilai masu aiki tare na iya jawo ƙarin ƙoƙari zuwa tunani na tsari. Idan ba ta iya ba, tsarin da ke bayyana aikinsa a sarari na iya zama mafi daraja a fagen gasa.

Kwatankwacin tarihi

A 2012, Nature ta ruwaito cewa Shinichi Mochizuki ya yi iƙirarin ya tabbatar da zato na abc. Kamanceceniyar da ke tsakanin al’amuran ita ce wannan cikas mai wahala: babban iƙirarin lissafi yana buƙatar ƙwararru masu zaman kansu su binciki muhimman matakai kafin a iya yarda da shi.

Bambancin yana da muhimmanci. Hujjar Mochizuki mutum ne ya rubuta ta a cikin takardu masu yawa; iƙirarin OpenAI da aka ruwaito kuwa ya fito ne daga tsarin wakilai masu yawa, kuma yana tattare da wata tambaya dabam kan yiwuwar amfani da bayanan Codex masu zaman kansu. Zuwa 2020, Nature ta ruwaito cewa an amince da hujjar Mochizuki domin bugawa, amma ra’ayin mafi yawan masana bai sauya sosai ba bayan wasu masana lissafi biyu sun gano abin da suka ɗauka a matsayin wani babban aibi. Bugawa ba ta yanke hukunci kan ka’idar ba. A wannan karon, kayan hujja da aka bayyana wa jama’a, bayanan sake samar da sakamako da binciken asalin bayanai na iya samar da hanya mafi tsabta wajen warware batun.

Tantance tasiri

Masana lissafi masu zaman kansu na fuskantar sauyin gaggawa a aikin da ke gabansu: su tantance lissafin da aka yi iƙirari da kuma ko za a iya bincikarsa ba tare da tambayoyin asalin bayanai da ba a warware ba. Ikonsu na tabbatar da shi ne zai ƙayyade ko sanarwar za ta zama sakamako ko kuma shirin bincike.

Ƙungiyoyin bincike da ke duba yiwuwar amfani da AI mai wakilai masu yawa yanzu suna da wani ma’aunin zaɓi mafi kaifi. Magani da aka tabbatar kuma za a iya bincikawa zai iya ba da dalilin ƙara zuba jari a tunani na tsari da ke buƙatar daidaita wakilai da yawa. Sakamakon da ba a warware ba zai iya sa bayanan aiki da ke bayyane, halayen da za a iya maimaitawa da abubuwan da aka shigar da aka rubuta su zama wata fa’ida ta gasa.

Jami’o’i da cibiyoyin bincike ma na iya tsaurara abin da suke nema daga ayyukan da AI ta taimaka. Idan wani iƙirari mai muhimmanci na iya cin moriyar bayanai masu zaman kansu, bayanan kayan aiki da abubuwan da aka shigar za su zama wani ɓangare na amincin bincike, ba wani ƙarin aikin ofis kawai ba.

Yanayi masu yiwuwa

Mafi yiwuwa: Idan hanyar hujjar ko asalin bayanan ya ci gaba da zama mai wahalar bincikawa, cibiyoyi za su ɗauki iƙirarin a matsayin na wucin gadi na tsawon makonni zuwa watanni, kuma su ci gaba da sanya binciken da AI ta samar ƙarƙashin tsauraran dubawa. Wannan shi ne abin da ya fi yiwuwa saboda karɓuwar masu zaman kansu ta dogara da damar binciken muhimman sassan hujjar da bayanan amfani da bayanai. Tambayoyin tantancewa na musamman, kayan hujja da ba su cika ba, ko asalin bayanai da ba a warware ba za su ƙarfafa wannan yanayi; tabbaci daga masu zaman kansu da yawa da cikakken bincike za su sauya shi.

Fa’ida: Idan masu dubawa daga waje za su iya tabbatar da hujjar da za a iya bincikawa kuma su tabbatar cewa bayanan Codex masu zaman kansu ba su ba da gudummawa mai muhimmanci ba, ƙungiyoyin bincike za su iya ware ƙarin damar aiki ga tsarin wakilai masu aiki tare domin warware matsalolin kimiyya na tsari cikin watanni shida zuwa 12. Hakan zai sa kayan aikin tantancewa da tsara ayyukan wakilai masu yawa su zama muhimman ginshiƙan bincike. Tabbaci mai zaman kansa, halayen tsarin da za a iya maimaitawa da makamantan aiki daga sauran ƙungiyoyi za su ƙarfafa wannan hanya.

Hasara: Idan masu dubawa ba za su iya tabbatar da hujjar ko asalinta ba, ƙungiyoyi na iya buƙatar a samar da ƙarin cikakkun bayanai kan iƙirarin binciken da AI ta samar cikin shekara mai zuwa. Hakan zai iya fifita tsarin da aka tsara bisa tunani mai iya dubawa da bayanan amfani da bayanai fiye da nunin abubuwa masu ban sha’awa amma marasa bayyananniyar hanya. Wani aibi mai tsanani, binciken da bai kammala ba, ko shaidar cewa bayanan masu zaman kansu sun ba da fa’ida mai muhimmanci za su hanzarta wannan sakamako.

Abin da za a sa ido a kai gaba

• OpenAI ta fitar da hujja ko wani makamancin bayanin lissafi da za a iya bincikawa, wanda zai ba masana lissafi masu zaman kansu damar duba muhimmin zaren hujjar.
• Wata tantancewa da aka rubuta kan ko bayanan Codex masu zaman kansu sun ba da gudummawa mai muhimmanci ga sakamakon.
• Masana lissafi masu zaman kansu su gano wata hanya mai daidaito kuma aka tabbatar ta cikin maganin da aka yi iƙirari, ko kuma wani aibi mai tsanani da zai hana karɓuwarsa.