Kampuni Mpya ya AI ya Hisabati, Axiom, Yafanikiwa Kutatua Matatizo 4 Ambayo Hayakuwahi Kutatuliwa Hapo awali

Marekani - Shirika la Habari la Ekhbary

Kampuni Mpya ya AI ya Hisabati, Axiom, Yafanikiwa Kutatua Matatizo 4 Ambayo Hayakuwahi Kutatuliwa Hapo awali

Katika maendeleo yanayolenga kufafanua upya mipaka ya ugunduzi wa kisayansi, kampuni ya akili bandia ya Axiom imefikia mafanikio ya ajabu kwa kutatua matatizo manne tata ya hisabati ambayo yamekuwa yakishinda akili za wanahisabati kwa miaka mingi. Mafanikio haya yanaangazia uwezo unaoendelea kwa kasi wa mifumo ya AI katika kukabiliana na changamoto ngumu zinazohitaji uelewa wa kina wa kinadharia na uzalishaji wa uthibitisho madhubuti.

Asili ya mafanikio haya inarudi nyuma miaka mitano iliyopita, wakati wanahisabati Dawei Chen na Quentin Gendron walipokumbana na kikwazo kikubwa walipokuwa wakichunguza eneo gumu la jiometri ya aljebra. Kazi yao ilihusisha vitofauti (differentials), dhana ya hisabati muhimu kwa kupima umbali kwenye nyusozo zenye mkao. Wakati wa kutafuta nadharia maalum, walikumbana na kizuizi kisichotarajiwa: hoja yao ilitegemea formula isiyoeleweka kutoka kwa nadharia ya nambari, formula ambayo hawakuweza kutatua wala kuhalalisha. Kwa hivyo, Chen na Gendron walichapisha matokeo yao kama dhana (conjecture), na kuacha fumbo la hisabati linaloendelea bila kutatuliwa.

Hivi karibuni, Chen alitumia muda mwingi kujaribu kutumia miundo mikuu ya lugha kama ChatGPT kupata suluhisho la tatizo hili la kudumu, lakini bila mafanikio. Mkutano wa bahati mbaya wakati wa mapokezi ya mkutano wa hisabati huko Washington, D.C., mwezi uliopita, ulimleta Chen kwa Dk Ken Ono, mwanahisabati mashuhuri ambaye hivi karibuni aliondoka Chuo Kikuu cha Virginia kujiunga na Axiom. Axiom, iliyoanzishwa na mmoja wa wanafunzi wa zamani wa Ono, Carina Hong, iko mstari wa mbele katika kutumia AI kwa nyanja za kisayansi ngumu.

Chen alishiriki tatizo linaloendelea na Ono. Kesho yake asubuhi, Ono alimpa Chen uthibitisho kamili, uliotengenezwa na AI maalum ya Axiom, AxiomProver. "Kila kitu kiliingia mahali pake kwa kawaida baada ya hapo," Chen alitoa maoni. Kwa kushirikiana na Axiom, Chen alifanya kazi ya kufomali uthibitisho huo, ambao sasa umewekwa hadharani kwenye arXiv, hifadhi kuu ya machapisho ya awali ya kitaaluma.

Nguvu ya AI ya Axiom inakaa katika uwezo wake wa kutambua miunganisho isiyotarajiwa kati ya tatizo la hisabati na jambo la nambari lililojifunzwa kwa mara ya kwanza katika karne ya 19. AxiomProver sio tu ilitengeneza uthibitisho, bali pia ilithibitisha kwa ukali matokeo yake yenyewe. "Kile ambacho AxiomProver kilipata kilikuwa kitu ambacho wanadamu wote walikuwa wamekosa," Ono alimwambia WIRED, akisisitiza mbinu mpya ya AI.

Huu sio mafanikio ya pekee kwa Axiom. Kampuni hiyo inadai kuwa mfumo wake umetoa suluhisho kwa shida zingine kadhaa za hisabati ambazo hazijatatuliwa katika wiki za hivi karibuni. Ingawa AI ya Axiom bado haijashughulikia matatizo maarufu zaidi au yenye faida zaidi katika hisabati, uwezo wake wa kutoa majibu kwa maswali ambayo yamechanganya wataalamu wa nyanja kwa miaka mingi ni ushahidi wa kuvutia wa ustadi unaoendelea wa AI katika hisabati. Hii inalingana na ripoti za hivi karibuni za wanahisabati wengine wanaotumia zana za AI kuchunguza mawazo mapya na kutatua changamoto zilizopo.

Athari za maendeleo ya Axiom zinazidi zaidi ya hisabati safi. Mbinu za msingi zinaweza kuwa na thamani kubwa katika kuendeleza programu dhabiti zaidi, hasa katika kuimarisha ulinzi dhidi ya aina fulani za vitisho vya usalama mtandao. Hii inajumuisha kutumia AI kuthibitisha kwa ukali kanuni, kuhakikisha uaminifu wake unaoweza kuthibitishwa na uaminifu, hitaji muhimu katika mazingira ya kidijitali ya leo.

Carina Hong, Mkurugenzi Mtendaji wa Axiom, anaelezea hisabati kama "sehemu kuu ya majaribio na uwanja wa kucheza kwa uhalisia," akionyesha imani katika uwezekano wa "matumizi mengi muhimu yenye thamani kubwa ya kibiashara" ambayo yanaweza kutokana na teknolojia hizi. Mbinu bunifu ya Axiom inajumuisha miundo mikuu ya lugha na mfumo wa AI wa umiliki, AxiomProver, ulioundwa mahususi ili kutafakari matatizo ya hisabati na kuzalisha suluhisho zinazoweza kuthibitishwa kuwa sahihi. Hii inafuata kazi dhahania sawa, kama vile mfumo wa AlphaProof wa Google ulioonyeshwa mwaka wa 2024, ingawa Hong anasisitiza kuwa AxiomSolver inajumuisha maendeleo makubwa na mbinu mpya zaidi.

Dk Ono anaona uthibitisho uliotengenezwa na AI kwa dhana ya Chen-Gendron kama mabadiliko ya dhana, akisema, "Hii ni dhana mpya ya kuthibitisha nadharia," ikionyesha jinsi AI sasa inaweza kuwa mshirika muhimu kwa wanahisabati wa kitaalamu.

Mfumo wa Axiom unajitofautisha kwa uwezo wake wa kuthibitisha uthibitisho kwa kutumia lugha maalum ya hisabati inayoitwa Lean. Uwezo huu unaruhusu AxiomProver kuendelea zaidi ya kutafuta tu katika fasihi zilizopo na badala yake kuendeleza mikakati ya kutatua matatizo kwa ubunifu. Mafanikio mengine muhimu ya AxiomProver ni suluhisho lake huru la Dhana ya Fel (Fel’s Conjecture), tatizo linalohusiana na syzygies – maneno ya aljebra ambapo nambari huunganishwa. Cha kushangaza, dhana hii ilihusisha fomati zilizorekodiwa kwa mara ya kwanza katika daftari za mwanahisabati mashuhuri wa India Srinivasa Ramanujan zaidi ya miaka 100 iliyopita. Katika hali hii, AxiomProver hakujaza tu pengo; ilitengeneza uthibitisho mzima kutoka mwanzo hadi mwisho.

Maendeleo haya yanamaanisha zaidi ya maendeleo ya kiteknolojia tu; yanatangaza mabadiliko yanayowezekana katika utendaji wa utafiti wa kisayansi, ikiweka AI kama mshirika wa lazima katika ugunduzi wa maarifa na utatuzi wa changamoto ngumu zaidi za kiakili za wanadamu.

Shirika la Habari la Ekhbary