Ya kasance mako guda da ya bar masana lissafi cikin mamaki. Nan da nan bayan guguwar lamura inda fasahar wucin gadi ta ci gaba a fannin, OpenAI ta yi iƙirarin babbar nasara: sabon samfurinta na AI ya warware wata Matsala ta Kyautar Millennium, wuyar warwarewa mai kyautar dala miliyan ɗaya wadda ta daɗe tana mamaye tunanin mutane shekaru da dama.
Nasarar ba ta yi kama da yadda ake warware matsalolin lissafi ba. Wani kamfani mai zaman kansa mai darajar kusan tiriliyan ɗaya ya saki wakilai 10,000—tsarin AI da ke yin ayyuka da kansu—a kan matsalar. An kiyasta kuɗin da aka kashe a dala miliyan 15.
Hanyar zuwa ga AI mai iya lissafin da ya wuce na ɗan adam ta daɗe a bayyane, amma warware irin wannan babbar matsala da sauri ya girgiza fannin. Masana lissafi suna tambayar me zai rage musu idan aikin da ake ci gaba da yi aka share aka ce na wani ne, da kuma yadda za su horar da ƙarni na gaba yayin da har ma mafi wuyan ayyuka za a iya warware su da danna maɓalli.
"Ina jin kamar an buge ni da tsawa," in ji Farfesa Colva Roney-Dougal, shugabar lissafin tsantsa a Jami'ar St Andrews. A wata lacca ta jama'a da ta yi kwanan nan, ta ce ta yi imani AI ba zai iya yin wani abu mai ban mamaki nan ba da jimawa ba. "Bayan wata uku, na yi kuskure gaba ɗaya," in ji ta. "Dukanmu muna jira mu ga abin da zai faru. Yana zuwa da sauri sosai."
Farfesa David Silvester, masanin lissafi a Jami'ar Manchester, ya ce fannin yana jin "rashin kwanciyar hankali sosai" ganin saurin canji. "Duk matsalolin lissafin da ba a warware ba za su iya faɗuwa idan an sami isassun kayan aiki," in ji shi. "Wannan ba zai iya juyawa ba. Wannan ba zai canza ba."
Farfesa James Robinson, masanin lissafi a Jami'ar Warwick, ya ce matsaloli masu wuya su ne man fetur na lissafi, suna motsa hanyoyin kirkire-kirkire a tsakanin ƙarnuka. "Abin takaici ne ganin waɗannan manyan kamfanonin fasaha suna ƙone wannan man fetur ne kawai don su nuna girman sabon samfurinsu," in ji shi. "Yana kama da girman kai na yara a filin wasa da aka faɗaɗa, wanda biliyoyin daloli ke goya baya da yuwuwar babbar illa ga muhalli a zamanin da sauyin yanayi wataƙila shine babbar ƙalubalen da muke fuskanta."
Ɗaya daga cikin dalilan da Silvester ya shiga lissafi shine jin daɗin fasa matsala. Ga masana lissafi da yawa, makonni, watanni, da shekaru da ake kashewa ana kewaya matsala, a rarraba ta, a gwada hanya ɗaya bayan ɗaya, ba a daina ba, su ne abin da ke jan hankali. "Idan ba tare da haka ba, batun ya zama kamar wani abu dabam gaba ɗaya a gare ni," in ji Silvester.
Masana lissafi sun riga sun kashe lokaci mai yawa suna tabbatar da hujjojin juna. Irin wannan bita ne ya gano gibi a aikin Andrew Wiles kan Ƙarshen Theorem na Fermat a 1993, wanda ya sa an yi ƙarin ƙoƙari na shekara guda don gyara aibin. Silvester yana tsammanin masana lissafi za su iya samun kansu suna nazarin hujjoji da yawa da AI ta yi da sauri. "Ya fi kama da zama akawu, kana bincike, kana dubawa," in ji shi.
Akwai tasirin da ke biyo baya a duk fannin. Ana ɗaukar masana lissafi aiki bisa takardun da suka wallafa, amma matsalolin da suka shafe watanni suna aiki a kansu yanzu AI na iya warware su cikin kwanaki. "Akwai ainihin jin 'Zan iya kashe wata mai zuwa ina tunanin wani abu sai wani ya yi shi da danna maɓalli,'" in ji Roney-Dougal. "Wannan abin tsoro ne, kuma ina tsammanin zai zama abin tsoro na wasu shekaru."
Hakanan ciwon kai ne ga koyar da ɗaliban digiri na farko. Jami'o'i suna ba ɗalibai matsaloli da tambayoyi akai-akai don su yi a gida. Irin wannan aikin karatun ya mutu yanzu. "Babu amfanin yin shi saboda ba za mu iya tabbatar da ingancinsa ba," in ji Silvester. Malamai yanzu dole su gaya wa ɗalibai kada su yi amfani da AI don wasu matsaloli, yayin da suke tabbatar da cewa za su iya amfani da shi don wasu: bayan haka, lissafin da AI ke taimakawa shine makomar gaba.
Duk da wannan tashin hankali, Farfesa Alexander Paseau, wanda ke nazarin falsafar lissafi a Jami'ar Oxford, ya yi imanin lissafi ba zai rasa yawancin jan hankalinsa ba. "Ƙalubalen zai kasance har yanzu, ko da AI zai iya zama mafi kyau fiye da ɗan adam a bincike," in ji shi. "Za ka so ka fahimci lissafin da kanka. Kuma za mu ci gaba da jin daɗinsa da kuma yaba kyawunsa: jin daɗin kai tsaye da kyawun hujjar lissafi za su kasance koyaushe. AI ba zai ɗauke ko ɗaya daga cikin waɗannan ba."
Yawancin lissafin AI ba ya warware matsaloli daga farko amma yana ginuwa kan aikin ɗan adam, in ji shi. Misali, nasarar OpenAI ta dogara sosai kan aikin masana lissafi na Madrid Diego Córdoba da Luis Martinez-Zoroa.
Aikin OpenAI ya bayyana mafita ga matsalar Navier-Stokes, wadda ta ƙunshi lissafin da ke hasashen yadda ruwa, har ma da yanayi, ke motsawa. Yana ɗaya daga cikin matsalolin Kyautar Millennium guda bakwai da Cibiyar Lissafi ta Clay ta wallafa a 2000. Sanarwar kamfanin ranar Talata ta haifar da ƙarin damuwa a cikin al'umma. OpenAI ta sa sabon samfurinta ya yi aiki bayan jin jita-jita cewa masana lissafi sun warware matsalolin Millennium guda biyu. Farfesa Tristan Buckmaster na Jami'ar New York da Levent Alpöge na Anthropic suna yin aiki mai alaƙa kan Navier-Stokes kuma sun yi amfani da samfuran OpenAI a cikin aikin. Sun yi zargin cewa samfurin OpenAI ya koya daga aikin da suke ci gaba da yi. Bayan bincike, OpenAI ta musanta hakan.
Wasu masana lissafi har yanzu suna cikin shakka, duk da haka. "Babban labari a yanzu a lissafi shine babu wanda yake son raba wani abu," Buckmaster ya gaya wa Guardian. "Lissafi ya bambanta yau da yadda yake kwanaki kaɗan da suka wuce. Dole mu yanke shawarar abin da za mu yi game da hakan."
Tambayoyin da ake yawan yi
FAQs Girman Kai na Yara a Filin Wasa Masana Lissafi Cikin Damuwa kan Nasarar OpenAI ta Kwanan Nan
Tambayoyin Farko
Menene ake nufi da girman kai na yara a filin wasa a nan
Kalmace ce da masu suka ke amfani da ita sa'ad da kamfanonin AI suke yin fahariya kan warware matsaloli masu wuya ta hanyar da take kama da yara suna cewa babana zai iya doke babanka fiye da neman hankali fiye da ci gaban ainihin fahimta
Menene OpenAI ta yi a zahiri
OpenAI ta sanar da cewa ɗaya daga cikin samfuranta na AI ya taimaka wajen warware ko ba da gudummawa ga wata matsala da ta daɗe a buɗe a lissafi Masana lissafi sun amsa da cakuda sha'awa da haushi
Me ya sa masana lissafi suka fusata
Ba don AI ta taimaka da lissafi ba amma saboda yadda aka sanar da sakamakon Mutane da yawa suna jin cewa tsarin da aka yi amfani da shi ya wuce gona da iri game da rawar AI ya tsallake gudummawar ɗan adam kuma ya mayar da bincike mai muhimmanci zuwa wasan talla
Shin da gaske AI ta warware matsalar lissafi da kanta
Yawanci a'a A mafi yawan lokuta irin wannan AI tana samar da ra'ayoyi masu yiwuwa ko hujjoji marasa cikawa sannan masana lissafi na ɗan adam suke tabbatarwa da gyara da kammala aikin
Shin wannan fahariya ce kawai ko akwai wani abu na gaske da ke faruwa
Dukansu AI da gaske na iya taimakawa wajen binciken lissafi amma sanarwar tana yawan wuce gona da iri kan abin da ya faru
Tambayoyin Matsakaici
Menene bambanci tsakanin hujja da hujja mai yiwuwa
Hujja cikakkiyar gardama ce ta hankali da wasu masana lissafi za su iya tabbatarwa Hujja mai yiwuwa shawara ce da har yanzu ake buƙatar dubawa tana iya samun gibi kurakurai ko zato na ɓoye
Me ya sa tabbatarwa ke da muhimmanci sosai a lissafi
An gina lissafi kan tabbaci Ba a karɓi sakamako har sai masana sun iya duba kowane mataki Fitowar AI da take kama da hujja ba ɗaya ce da hujja ba
Menene misali na gaske na wannan tsarin
Lokacin da DeepMind's AlphaGeometry da kuma tsarin da suka biyo baya suka magance matsalolin lissafi sakamakon ya kasance na gaske amma mai iyaka an horar da tsarin kan takamaiman nau'ikan matsala Kafofin watsa labarai sukan ɓata wannan bambanci
Me ya sa kamfanoni suke tsara sakamakon lissafin AI da ban mamaki haka
Saboda AI ta warware matsalar lissafi da ba a warware ba kanun labarai ne mai ƙarfi Yana jan hankalin masu zuba jari da hazaka da hankalin jama'a Tsarin da ya dace da gaskiya yana samun ɗaukar hoto kaɗan
Menene illar ɗan fahariya
Yana gurbata fahimtar jama'a game da AI da lissafi yana rufe masu binciken ɗan adam da abin ya shafa kuma yana iya yaudarar masu tsara manufofi da masu ba da kuɗi game da abin da AI za ta iya yi a zahiri
Tambayoyin Ci Gaba
