Mwanahisabati wa Anthropic ametumia modeli ya lugha kubwa ya kampuni kukanusha dhana ya kihisabati ambayo imepinga azimio kwa miaka 87, akitoa mojawapo ya mifano ya kuvutia zaidi ya akili bandia inayoendeleza hisabati safi.
Levent Alpöge, mwanahisabati katika kampuni ya Anthropic Anthropic, alitangaza kwamba amepata mfano wa kukabiliana na dhana ya Jacobian, tatizo maarufu na la muda mrefu katika jiometri ya aljebra. Alifikia matokeo kwa kutumia mtindo wa Anthropic wa Claude Fable 5, ambao ulikuwa umetolewa kwa umma wiki chache zilizopita. Ugunduzi huo, ulioripotiwa kwa mara ya kwanza na ScienceDaily na SciTechDaily na kutoka kwa makala iliyochapishwa awali katika Mazungumzo, umeleta msisimko mkubwa kupitia jumuiya ya hisabati. Kwa wasomaji wanaofuata maendeleo ya hivi punde ya AI, matokeo yanasisitiza jinsi miundo ya mipaka inavyosonga kwa haraka kutoka kwa hila za ukumbi hadi kazi yenye tija ya kisayansi.
Mfumo Ndogo wa Kutosha kwa Chapisho Moja
Kinachofanya mafanikio hayo yawe ya kushangaza ni ushikamanifu wake. Kulingana na SciTechDaily, kielelezo kinzani ni chaguo rahisi sana cha kukokotoa chenye mwelekeo-tatu - fomula fupi ya kutosha kutoshea ndani ya chapisho moja kwenye X. Mfano pinzani unaosaidiwa na AI unakanusha dhana ya Jacobian juu ya vipimo viwili, huku ukiacha umbo la asili la dhana-mbili wazi.
Hiyo nuance ni muhimu. Matokeo hayatatui shida nzima, ambayo imesimama tangu karne ya 19. Badala yake, inafichua kikomo kisichotarajiwa: toleo la jumla, la hali ya juu zaidi la dhana ni ya uwongo, ingawa kesi ya wanahisabati walijali zaidi bado haijatatuliwa.
Historia Nyuma ya Tatizo
Dhana ya Jacobian inahusu kazi za polynomia - mashine za hisabati ambazo huchukua nambari na kutoa nambari mpya kwa kufuata sheria fulani. Katika mpangilio huu, nambari zinaweza kuwakilisha pointi katika nafasi, kama vile viwianishi kwenye ramani. Chaguo za kukokotoa huchukua viwianishi hivyo na kuzibadilisha, na kusogeza pointi kwenye nafasi tofauti. Wanahisabati wanaweza kuchunguza jinsi kazi inavyopanga upya nafasi kwa urahisi kwa kukokotoa kiambishi chake cha Kiakobu. Dhana kimsingi inauliza: ikiwa kibainishi hicho sio cha sifuri mara kwa mara, je, kitendakazi lazima kiwe na kinyume cha polinomia?
Tatizo lina historia ya hadithi. Ilielezwa kwa mara ya kwanza na mwanahisabati wa Kicheki Ludwig Kraus mwaka wa 1884, kisha ikajumlishwa kwa idadi yoyote ya vipimo na mwanahisabati Mjerumani Ott-Heinrich Keller mwaka wa 1939. Ilizingatiwa kuwa muhimu sana kwamba Mshindi wa Medali ya Mashamba Stephen Smale aliijumuisha katika orodha yake yenye ushawishi ya 1998 ya Matatizo ya Hisabati kwa Karne Ijayo.
Katika maisha yake marefu, dhana hiyo ilivutia uthibitisho mwingi uliodaiwa, ikijumuisha majaribio ya Beniamino Segre na Wolfgang Gröbner, wanahisabati wawili mashuhuri wa karne ya 20. Hakuna aliyeshikilia. Ukweli kwamba mfano wa kupinga umejitokeza sasa - kwa usaidizi kutoka kwa mtindo wa mtindo wa chatbot - unaonyesha jinsi AI inavyothibitisha kuwa muhimu kwa kugundua vitu vya hisabati visivyotarajiwa kama ilivyo kwa kuunda uthibitisho.
Kwa nini Kesi ya Hali ya Juu Ilianguka
Tofauti kuu ni kati ya vipimo viwili na vitatu (au zaidi). Dhana asili ya Jacobian yenye mwelekeo-mbili, toleo ambalo limechukua jiota za aljebra kwa vizazi, bado liko wazi. Kile ambacho Alpöge na Claude Fable 5 walipata ni mfano pinzani katika vipimo vitatu, ambao unatosha kuangusha dhana ya jumla ambayo Keller alitunga mnamo 1939.
Hayo ni matokeo ya maana katika haki yake yenyewe. Watafiti wengi walishuku kwamba ikiwa dhana hiyo ilikuwa ya kweli hata kidogo, ingekuwa kweli kila mahali. Mfano safi wa kukabiliana na vipimo vya tatu hupunguza nafasi ya uwezekano na kuweka upya swali lililobaki: je, vipimo viwili ni maalum kweli, au kuna mfano mwingine unaonyemelea hapo pia?
Ufupi wa mfano wa kupingana yenyewe ni wa kushangaza. Fortune iliripoti kwamba wanahisabati wanakabiliana na "mabadiliko ya haraka sana na ya kutatanisha" kwani zana za AI hukabiliana na matatizo ya karne moja baada ya nyingine. Fomula ndogo ya kuondosha tatizo lililoidhinishwa na Mshindi wa Medali ya Sehemu ndiyo hasa aina ya maendeleo ambayo huchochea hali ya wasiwasi - na msisimko huo.
Nafasi ya AI inayokua katika Hisabati
Wanahisabati wanaofanya kazi na miundo mikubwa ya lugha hivi majuzi wametoa matokeo kadhaa mashuhuri, na mfano wa kukisia wa Jacobian unasimama kando na maendeleo mengi ya awali. Badala ya kuchanganua utafutaji wa kutumia nguvu, ushirikiano kati ya Alpöge na Claude Fable 5 ulitoa jibu fupi, linaloweza kukaguliwa na binadamu - aina ya matokeo ambayo wanahisabati wanaweza kuthibitisha na kujenga juu yake.
Ugunduzi huo pia unaonyesha muundo mpana. Miundo ya Frontier inazidi kuwa na uwezo wa kuchunguza nafasi kubwa za ujumuishaji na kupendekeza vitu vya wagombea ambavyo binadamu hawezi kamwe kujikwaa. Wagombea hao wanapokuwa wafupi vya kutosha kuthibitisha kwa mkono, mchanganyiko wa upana wa AI na uamuzi wa kibinadamu huwa na nguvu.
Nini Maana Kwa Wakati Ujao
Nini maana ya hii kwa mustakabali wa hisabati - na kwa wanahisabati wanadamu - bado itaonekana, kama SciTechDaily ilivyobainishwa. Mfano wa kupingana hauwafanyi wanahisabati kuwa wa kizamani; kama kuna chochote, huongeza swali lililo wazi na kuwapa watafiti lengo mahususi. Lakini inasisitiza kwamba AI imehamia zaidi ya muhtasari wa vitabu vya kiada na ndani ya moyo wa kazi ya kihesabu ya ubunifu.
Matokeo yake pia ni uthibitisho wa hali ya juu kwa Anthropic. Claude Fable 5, iliyotolewa kwa umma wiki chache tu kabla ya ugunduzi huo, ilitumiwa na mmoja wa wanahisabati wa kampuni hiyo kutatua tatizo ambalo lilikuwa limezuia mawazo makubwa zaidi ya karne iliyopita. Kwa kampuni inayoendesha mbio ili kuonyesha kwamba miundo yake inaweza kusababu kwenye mipaka, mapendekezo machache yanaaminika zaidi kuliko dhana ya 1939 hatimaye kuvunjika.
Kaa Mbele ya AI
Kasi ya ugunduzi unaoendeshwa na AI inaongezeka katika sayansi, hisabati, na tasnia. Alamisha dawati letu la habari zinazochipuka za AI ili upate utangazaji endelevu wa matoleo ya miundo, mafanikio ya utafiti na mabadiliko ya sera.
Soma habari zaidi za AI →
