Shida ambazo Astra ilisaidia ufa hazijaona "hakuna maendeleo kwenye matokeo yao kuu kwa angalau muongo mmoja, na katika hali nyingi, muda mrefu zaidi," OpenAI iliandika. Maeneo ya matokeo yanajumuisha jiometri ya hali ya juu, nadharia ya usimbaji, utata wa mzunguko wa hesabu, nadharia ya kikundi, uchangamano wa quantum, usimbaji fiche wa kimiani, na kombinata za hali ya juu - eneo ambalo maendeleo hupimwa kwa kawaida kwa miaka, sio utafiti mmoja unaoendeshwa.
Ushahidi Uliothibitishwa, Sio Majibu Tu
Kinachotenganisha matokeo ya Astra na kubahatisha chatbot kwenye hesabu ni uthibitishaji. OpenAI ilisema watafiti wa wanadamu walitumia modeli hiyo hiyo kuandaa hoja kama maandishi ya maandishi, na Astra kisha akarasimisha kila hoja kama cheti konda . Lean ni msaidizi wa uthibitisho wa chanzo huria ambaye anaweza kukagua hoja za hisabati kwa mashine, kumaanisha kwamba wanahisabati wengine si lazima wachukue matokeo kwa imani - wanaweza kuthibitishwa kwa kujitegemea na programu kwa sekunde.
Tofauti hiyo ni muhimu. Muundo wa lugha unaweza kutoa uthibitisho unaoonekana kuwa sawa ambao una hitilafu ya hila, mbaya. Kwa kutafsiri kila hoja kuwa Lean, OpenAI ilibadilisha dai la uuzaji kuwa vizalia vya programu vinavyoweza kuteguliwa. Kulingana na BleepingComputer, iliyoripoti maelezo hayo, maendeleo mahususi yanajumuisha uthibitisho unaothibitisha kuwepo kwa makundi yasiyo ya sofic, kutatua swali kuu la wazi katika nadharia ya kikundi; uthibitisho wa dhana ya ugumu wa Connes; mipaka mpya kwa ajili ya kufunga nyanja ya juu-dimensional; na matokeo ya kutatua matatizo kadhaa ya awali yaliyoletwa na mwanahisabati mahiri Paul Erdős.
OpenAI ilibainisha kuwa jumla ya idadi ya tokeni zinazohitajika kupata suluhu hizi zitagharimu takriban $2,000 kwa viwango vya sasa vya API - data ya kuvutia kuhusu mkondo wa kukokotoa wa ugunduzi wa kisasa wa hisabati, na ile inayoweka utafiti wa kiwango cha mpaka kufikia timu za wasomi zinazofadhiliwa vizuri badala ya maabara zenyewe.
Wanahisabati Wajibu
Thomas Bloom, mtaalamu wa hisabati katika Chuo Kikuu cha Manchester ambaye anaendesha tovuti ya marejeleo ya Erdős-problem erdosproblems.com, aliyaita matokeo "habari kubwa" kwenye X, kulingana na The Decoder. Alizitathmini kuwa muhimu zaidi kuliko mfano wa kulinganisha na dhana ya umbali wa kitengo iliyochapishwa Mei. "Labda sio kubwa kuliko uthibitisho wa umbali wa kitengo ungekuwa, lakini kwa suala la ujenzi, hii ni kubwa," Bloom aliandika.Bloom pia alirudi nyuma dhidi ya utungaji kwamba AI inachukua nafasi ya wanahisabati, akisema madai hayana mantiki kidogo wakati mfumo huo unatumia nadharia ya zaidi ya karne, ulijengwa na wanahisabati, na ulifunzwa juu ya kila kitu ambacho wanahisabati wamewahi kuandika.
Noam Brown, mtafiti nyuma ya teknolojia ya wakati wa majaribio ya Astra inayotegemea, alipimwa zaidi. "Cha kusikitisha, hakuna Matatizo ya Tuzo ya Milenia (bado)," alichapisha kwenye X, akirejelea matatizo saba maarufu ambayo Taasisi ya Hisabati ya Clay inatoa dola milioni 1 kila moja - moja tu ndiyo imetatuliwa tangu tuzo hizo zilipotangazwa mwaka wa 2000.Sio kila mtu aliyevutiwa. Mkosoaji wa AI Gary Marcus aliuita mtindo huo "wa kustaajabisha - lakini unauzwa sana" katika chapisho la Substack, safu inayojulikana ya kutilia shaka wakati wowote maabara ya mipaka inapodai hatua muhimu. Mvutano kati ya mafanikio ya kweli ya kiufundi na uundaji wa utangazaji huenda ukafafanua jinsi Astra inavyopokelewa.
Familia Mpya ya Mfano kwa Majukumu Marefu
Habari ilithibitisha kwa kujitegemea kuwa Astra ni familia mpya ya mfano iliyojengwa kwa mzigo wa kazi wa muda mrefu. OpenAI inaufafanua kama mfumo unaowaruhusu mawakala wengi wa AI kushirikiana katika sehemu tofauti za tatizo kubwa - muundo unaolenga sawia katika kazi zinazochukua saa au siku badala ya sekunde, kama vile kuthibitisha nadharia au kuweka upya msingi mkubwa wa msimbo.
BleepingComputer iliripoti kuwa OpenAI haijaamua ikiwa muundo huo utasafirishwa kama GPT-5.7, GPT-6, au chini ya jina lingine. Mkurugenzi Mtendaji Sam Altman tayari ameonyesha Astra huko Washington, D.C., The Decoder iliripoti, ikiashiria kwamba kampuni hiyo inauona mfumo kama uliokomaa vya kutosha kuweka mbele ya watunga sera.
Kikwazo cha Mapitio ya Serikali
Labda maelezo muhimu zaidi ni udhibiti. Kulingana na The Decoder, Astra itakuwa kati ya mifano ya kwanza kupitia mchakato uliopangwa wa ukaguzi wa serikali ya Merika ambao unahitaji idhini rasmi kabla ya kutolewa kwa umma. Hiyo inaongeza safu ya kutokuwa na uhakika wa kisiasa kwa ratiba ya uzinduzi ambayo miundo ya awali ya bendera haijawahi kukabiliwa nayo - na inaongeza viwango vya jinsi OpenAI inavyoangazia uwezo wa Astra.
Mechi ya kwanza pia inafika huku kukiwa na mbio kali ya uzani wa wazi. Siku zilizopita, Thinking Machines Lab ilitoa modeli yake ya uzani wa wazi ya Inkling-Small, na maabara za Kichina zinaendelea kusukuma mifumo ya uzani wazi. Astra inaashiria dau la OpenAI kwamba hoja za umiliki, za kiwango kikubwa - zilizothibitishwa na zana kama vile Lean - zinasalia kuwa njia ya mafanikio makubwa zaidi.
Kwa sasa, Astra bado haijatolewa. Lakini toleo lake la kwanza la hisabati tayari limebadilisha mazungumzo juu ya ni mifumo gani ya AI ya mipaka inaweza kuchangia katika sayansi safi, na ni kwa kiasi gani umma unapaswa kuchunguza madai ambayo yanaambatana nao.
Kaa Mbele ya AI
Je, ungependa kuendelea na maendeleo kama vile Astra na mbio pana za mifano ya mpaka? Alamisha kitovu chetu kwa maendeleo ya hivi punde ya AI.
Soma habari zaidi za AI →
