Mtaalamu wa hisabati Frank Calegari amechapisha tathmini isiyo na uhakika ya kile ambacho akili ya bandia imefanya kwenye uwanja wake, akibishana kwenye blogu yenye ushawishi mkubwa ya Terence Tao kwamba kutolewa kwa karatasi zaidi ya 700 za utafiti na OpenAI mnamo Oktoba 6 ilikuwa "mwaga katika historia ya hisabati." Chapisho hilo, lililopewa jina la "Hisabati imebadilika. Wacha tuifanye kama hiyo," lilipanda Jumamosi na kufikia haraka ukurasa wa mbele wa Hacker News, ambapo ilivuta mamia ya maoni. Ujumbe wa msingi wa insha ni changamoto kwa wanahisabati kama ilivyo kwa kampuni za AI - kwa habari zinazoendelea za mgongano huo, angalia habari zetu za utafiti wa AI.
"AI sasa bila shaka ina uwezo wa kutoa michango ya msingi katika maeneo mengi ya hisabati," Calegari anaandika. "Kwa hivyo kwa nini wanahisabati wengine hawana furaha?" Jibu lake sio kile unachoweza kutarajia kutoka kwa mmoja wa wakosoaji mashuhuri wa utafiti unaotokana na AI.
Uamuzi Mtupu kwa Makaratasi Yenyewe
Ukosoaji wa Calegari wa toleo la OpenAI unakasirisha maswali ya ufundi na kanuni za jamii. Makaratasi hayo, anaandika, "yameandikwa kwa ukatili na yanakiuka matarajio yetu ya jamii ya kuhusishwa. Baadhi yao ni makosa." Malalamiko sio kwamba AI haiwezi kufanya hisabati - anakubali kwamba inaweza - lakini kwamba inafanya hisabati bila kuheshimu viwango vinavyofanya fasihi ya hisabati kutumika.
Dawa yake ni ya vitendo kabisa. Wanahisabati "wana udhibiti mkubwa zaidi wa jinsi tunavyoajiri wanahisabati, kuchapisha karatasi, na kutoa mafunzo kwa wanafunzi kuliko tabia ya kampuni za dola trilioni," anahoji, na hapo ndipo nishati ya uwanja inapaswa kwenda.
'Kila Kitu Kimedaiwa Kuthibitishwa'
Kifungu kinachovutia zaidi katika insha ni cha kibinafsi. Calegari anaona kwamba hakuna hata moja ya matatizo makubwa ya wazi ambayo ametaja hadharani katika kazi yake yote - katika mazungumzo, mihadhara, makala, au mapendekezo ya ruzuku - "iliyoachwa bila kuguswa na tangazo hilo. Kila kitu kimedaiwa kuthibitishwa."
"Nilitarajia kuona wachache wao kwenye orodha," anaandika. "Lakini si wote. Si wote kwa mara moja. Si kwa vile nonchalance." Kwa mtaalamu wa hisabati anayefanya kazi, uzoefu wa kutazama kila tatizo ambalo umegusa likifagiliwa katika mzunguko wa vyombo vya habari vya shirika linavuruga kwa njia ambayo mabishano ya kufikirika kuhusu hatari ya AI sivyo.
Jedwali la Muda Sio Kemia
Calegari anasukuma nyuma kwa nguvu wazo kwamba kudai alama maarufu za uwanja kunamaanisha kuwa uwanja umekamilika. Makaratasi ya OpenAI, anabainisha, yalifanya "kasoro" juu ya matatizo ya jumla ya utendakazi na usawa katika mpango wa Langlands - mojawapo ya miundo ya kina zaidi katika nadharia ya kisasa ya nambari.
Lakini hata kama toleo hilo lingesuluhisha kila tatizo katika programu ya Langlands, anaandika, akifikiria kwamba "nadharia ya nambari" ingekuwa "iliyotatua" ingekuwa "ujinga kama kusema kwamba ujenzi wa jedwali la upimaji ulisuluhisha kemia." Ni hoja wanahisabati wanahitaji kutoa kwa umma, anapendekeza: shida kuu ni vilele tu vinavyoonekana zaidi, na safu ya milima inaenea mbali zaidi yao.
Onyo Kutoka kwa Historia ya Nadharia ya Kundi
Nakala ya kihistoria ya insha ni uainishaji wa vikundi rahisi - sakata ya Calegari anajua kutoka ndani. Mnamo 1972, Daniel Gorenstein alitangaza mpango wa uainishaji. Baada ya takriban muongo mmoja wa shughuli za wasiwasi, uainishaji ulitangazwa kuwa kamili mnamo 1983 - mapema, kama ilivyotokea, na kesi ya vikundi vya quasithin haijakamilika hadi Aschbacher na Smith walipokamilisha takriban miongo miwili baadaye.
Uainishaji huo "kwa njia nyingi ulikuwa na mafanikio makubwa," Calegari anaandika, "lakini pia haikufaulu" - tangazo kwamba shida maarufu imetoweka ilipunguza hamu ya somo hilo, na wanahisabati walielekeza umakini wao mahali pengine. Bado maswali nono yalibaki, ikijumuisha kile anachokitambulisha kama kipenzi cha John Conway: kwa nini kundi la Monster lipo? Kwa sehemu zingine, Calegari anapendekeza, dampo la OpenAI linaweza kuhisi jinsi uainishaji ulivyohisi kwa wananadharia wa kikundi.
Nini Calegari Anataka Wanahisabati Wafanye
Insha inafungwa na programu badala ya maombolezo. Uga unahitaji juhudi kama vile matibabu yaliyosahihishwa ya Gorenstein-Lyons-Solomon ya uainishaji - mgonjwa, kazi ya wingi wa kufanya matokeo yanayodaiwa kuwa thabiti. Na inahitaji kukataa kutamka somo "limefanywa," kwa sababu kwa zana mpya zinazopatikana, hisabati "imeiva kwa uchunguzi zaidi."
Njia za zamani ambazo Calegari anaziita "njia ya galaksi" ya uthibitisho unaosaidiwa na AI bado zipo, anabishana, na wanahisabati wanapaswa kuzitafuta - na, muhimu zaidi, "tunahitaji kulipa tabia hiyo linapokuja suala la kuwapa watu kazi." Insha imebeba tanbihi kutoka kwa Tao ikibainisha kuwa chapisho hilo hapo awali liliandikwa katika umbizo tofauti la faili na kubadilishwa kwa kutumia AI, kejeli ndogo ambayo inasisitiza jinsi zana zimepenya kikamilifu kazi ya kila siku ya uga.
Sehemu ya Hesabu Kubwa Zaidi
Insha inatua katikati ya mwaka wa msuguano unaoongezeka kati ya wanahisabati na maabara ya AI. AI Buzz Wire imeripoti hapo awali juu ya wanahisabati wanaodai uthibitisho kwamba wanamitindo wa OpenAI hawakufunzwa kwenye mijadala yao ya kibinafsi, kwenye washindi 25 wa medali za Nyanja akiwemo Terence Tao akitangaza "mtawaliwa mbaya" kati ya AI na hisabati, kwenye Taasisi ya Utafiti wa Hali ya Juu juu ya 377 AI inayotokana na matokeo ya hesabu ya Tao's, na onyo lisilo la hesabu la AI. hifadhi ya dunia ya matatizo mazuri ya wazi.
Kinachofanya insha mpya kujulikana ni mabadiliko ya mkao. Dokezo kuu katika majibu yaliyotangulia lilikuwa kengele; Calegari ni kukabiliana. Teknolojia, katika kueleza kwake, haiondoki, madai ya ajabu hayaendi, na kigezo pekee ambacho udhibiti wa uwanja huo ni jibu lake - jinsi inavyochapisha, jinsi inavyofunza, na inaajiri nani.
---
Kaa Mbele ya AIPata habari za hivi punde za AI, uchanganuzi na mafanikio - yote katika sehemu moja.
Soma habari zaidi za AI →
