Tsarin AI biyu masu gabas, da suke aiki ba tare da juna ba, sun yi abin da babu wani masanin lissafi dan adam da ya yi tsawon shekaru talatin: karye Exponential Time Hypothesis (ETH).
OpenAI ta sanar da cewa samfurin bincikenta ya samu karyewar ETH a harshen yau da kullum a ranar 16 ga Oktoba kuma an sanya shi a hukumance washegari a cikin Lean, mai duba hujjoji ta na'ura. Takardar shafi 67 tana dauke da marubuci "OpenAI".
'Yan sa'o'i kafin haka, Anthropic ta buga takardarta ta shafi 49, "A 2^o(n) Time Algorithm for 3-SAT", wadda aka bayyana a matsayin "Claude, Anthropic". Wani samfuri na binciken Claude na cikin gida ya gano babban algorithm a ranar guda, 16 Oktoba.
ETH, wacce Russell Impagliazzo da Ramamohan Paturi suka gabatar a kusan shekarar 1999, tana cewa babu wata algorithm da za ta iya warware matsalar Boolean satisfiability da sauri fiye da lokacin exponential. Ita ce ginshikin daruruwan sakamakon wahala masu sharadi a fannin graph theory, databases, computational biology da computational geometry.
Kungiyoyin biyu yanzu suna da'awar wata algorithm mai tabbaci da take kirga satisfying assignments a cikin lokacin subexponential, tare da babban juzu'i guda a exponent. Idan da'awar ta tsaya, to babbar bango daya a theory na complexity ya rushe.
Injinar tabbataccen hujja tana da karfi fiye da yadda aka saba. An sanya hujjar a Lean, wanda ke duba kowane mataki ta hanyar na'ura. Stefan Szeider na TU Wien, wanda ya duba kayan da aka fitar, yana sa ran zai jure duba. Abin da ya fi ban mamaki: OpenAI ta nada kwamitin bita mai zaman kansa wanda ya hada da Impagliazzo da Paturi da kansu - marubutan kudurin suna duba karyewar sa. Wasikarsu ta bukace tana cewa wannan na iya canza wani muhimmin bangare na kimiyyar kwamfuta.
Iyakoki suna da muhimmanci kamar sakamakon. P versus NP bai taɓu ba. Sabuwar algorithm har yanzu superpolynomial ce, don haka babu wani mai warware SAT mai sauri da zai fito daga gare ta. Abin da ya canza shi ne taswirar abin da yake yiwuwa a ka'idarce, da kuma wanda - ko me - yake sake zana ta.
Ga shugabannin kasuwanci, alamar ba a lissafi take ba. Alama ita ce AI ta wuce daga rubuta rubutu da code zuwa samar da bincike na ainihi wanda na'ura ta tabbatar. Kudurin cewa na'urori ba za su iya yin sabon kimiyya ba ya samu babbar kisa, kuma iyakar iyawa yanzu tana gudu da sauri fiye da yawancin zagayowan tsarawa.
Kamfanonin da za su dauki AI a matsayin abokin tarayya na bincike, ba mai bugawa ba, su ne za su kafa saurin shekaru goma masu zuwa.
Yi tunani a lissafi. Yi aiki da wayo. Jagoranta da dabara. Gina da alhakin amfani. Fadada a duniya. Kirkira ainihin darajar kasuwanci ta hanyar basira wucin gadi.
