OpenAI Yatoa Hati 722 za Hisabati Kutoka kwa Mfano wa Frontier ambao haujatolewa kwenye GitHub

OpenAI ilichapisha hati 722 za hisabati zilizotolewa na muundo wa mpaka wa ndani ambao haujatolewa, na kuweka mkusanyiko kamili katika hazina ya umma ya GitHub chini ya leseni ya Apache-2.0. Toleo hilo, lililotangazwa katika chapisho la utafiti linaloitwa "Kushiriki maendeleo ya AI katika hisabati" mnamo Oktoba 6, 2026, ni kati ya utupaji mkubwa zaidi wa matokeo ya hesabu yanayotokana na AI hadi sasa, na inakuja na ukaguzi rasmi wa uthibitisho wa Lean, muhtasari wa hoja zilizofupishwa, na maelezo yasiyo ya kawaida kuhusu kiasi gani cha hesabu ya kila matokeo yaliyotumiwa.

Hatua hiyo inatua kwenye uwanja ambao tayari uko ukingoni. Gazeti la New York Times liliripoti kwamba toleo hilo lilizidi kutikisa jumuiya ya hisabati ambayo imetumia miezi mingi kuhangaika na mifumo ya AI ikitoa matokeo ya utafiti mkubwa, huku Scientific American ikielezea OpenAI kama ikitoa "matokeo mamia zaidi ya hesabu kwenye uwanja ambao tayari umeshtuka." Kwa wasomaji wanaofuatilia maendeleo mapya zaidi ya utafiti wa AI, toleo ni jaribio la jinsi maabara za mipakani zinavyoshiriki sayansi inayozalishwa na mashine bila kuibua mizozo ya mikopo.

Ni Nini Ndani ya Hifadhi

Mkusanyiko unaishi katika hazina ya openai/hesabu kwenye GitHub. Kulingana na README yake, yaliyomo ni maandishi ya kihisabati na vizalia vya uthibitisho vya kuunga mkono vilivyotolewa na muundo wa ndani wa OpenAI, uliokusanywa kama sehemu ya tathmini za ukuzaji wa kielelezo juu ya shida za utafiti wazi. Katalogi ya sasa ina hati 722 zilizopangwa katika familia 372, ambapo kikundi cha familia huhusiana karatasi ambazo zinaweza kujumuisha matokeo kuu, mabishano shirikishi, matokeo, au uthibitisho mbadala, kila moja ikiainishwa kwa taaluma ya hisabati.

Saraka ya machapisho ya awali huhifadhi PDF, faili chanzo, na manukuu ya kila hati na maagizo ya muundo. Maktaba ya Lean huorodhesha uthibitisho rasmi pamoja na karatasi zao zinazohusiana na usanidi wa uthibitishaji. Si kila hati imerasimishwa: matokeo mengi yana urasimishaji unaoandamana katika Lean, lugha ya programu inayotumiwa kuruhusu kompyuta kuangalia uthibitisho mstari kwa mstari, lakini README inatahadharisha kuwa baadhi ya matokeo yasiyo rasmi yanaweza kuwa na masuala. OpenAI inasema itasuluhisha matatizo kama haya haraka, na inajitolea kuhifadhi historia ya uchapishaji wa mkusanyiko, kurekodi masahihisho na masahihisho kama matoleo mapya huku matoleo ya awali yakipatikana. Kila saraka ya maandishi pia hubeba kizuizi cha BibTeX kwa nukuu.

Jinsi Matokeo Yalivyotolewa

Idadi kubwa ya matokeo yalitoka kwa utaratibu mmoja, uliowekwa kwa kutumia mtindo wa ndani wa OpenAI ambao haujatolewa. Katika kipindi cha tathmini, mtindo huo ulitokana na takriban matatizo 4,000. OpenAI inaripoti kuwa wastani wa matokeo yaliyochapishwa yalitumia takriban saa tatu za Kokotoo ya kufikiri ya ChatGPT Pro, kiwango cha uwazi ambacho bado ni nadra katika sekta hii. Kampuni hiyo inasema ilipanua tathmini hizi baada ya utendakazi kwenye viwango vyake vya hisabati vilivyopo kujaa, na kwamba baadhi ya matokeo yanatokana na matokeo ya awali yaliyotolewa na miundo yake yenyewe. Kuhitaji kiwango kinachofaa cha umuhimu na kujumlisha mazao ghafi katika familia na hati ilizalisha katalogi iliyochapishwa.

Vighairi viwili vilivyotajwa viliondoka kwenye utaratibu huo: kazi ya kuanzisha eneo lisilo na sufuri kwa chaguo za kukokotoa za Riemann zeta, na uandishi unaojumuisha Re(s)> eneo la 11/12 lililohaririwa na binadamu ili kusomeka, na uthibitisho wa Dhana ya Hodge kwa aina za CM abelian. Zote ni hesabu kubwa za kawaida, na zote mbili sasa zitakabiliwa na uchunguzi wa jamii.

Muhtasari kumi uliofupishwa wa hoja za modeli pia huchapishwa. Zinashughulikia matokeo ikiwa ni pamoja na kipeo cha pi, ulinganifu na dhana ya jumla ya Mahler, isomorphism ya vipengele vya kikundi huru, mipaka ya quasipolynomial kwa maendeleo ya hesabu, dhana ya ukomo wa moja kwa moja ya Kaplansky katika sifa mbili, fomula ya Mezard-Parisi ya miwani ya spin iliyo diluti, inisenbergization ya sumaku na sumaku ya papo hapo. mfumo wa Vlasov-Maxwell wa relativist tatu-dimensional.

Kikundi cha Ushauri Kilisaidia Kuunda Toleo

OpenAI inasema ilishauriana na Kikundi huru cha Ushauri kuhusu Hisabati na Ushauri Bandia katika Taasisi ya Utafiti wa Hali ya Juu huku ikitengeneza mbinu bora za kushiriki matokeo. Kikundi hicho kilichapisha mapendekezo yake ya kuwajibika mnamo Septemba 29, 2026, baada ya kupokea majibu zaidi ya 600 kutoka kwa jumuiya ya hisabati. Mapendekezo ni ya wazi: "hatuidhinishi mazoezi haya, na tunawaomba waache kupima matatizo ya juu ya hisabati kwenye mifano ya wamiliki." Kikundi kinahimiza maabara kuweka matokeo katika hazina za wasomi ambazo hakuna maabara ya AI inayodhibiti, kukabidhi vitambulishi vinavyoendelea, kufichua jina la kielelezo, vidokezo vinavyotumiwa na misururu ya muhtasari wa hoja, na kuacha kushughulikia matoleo ya matokeo kama magari ya uuzaji.

Kutolewa kwa OpenAI ni jaribio dhahiri la kufuata mfumo huo badala ya kuupinga. Ikiwa jamii inakubali ni swali lingine. Utafiti wa kikundi cha washauri uliuliza haswa kuhusu hali ambapo maabara hutangaza kuwepo kwa matokeo mengi bila kutoa maelezo, na mapendekezo yaliyojitokeza yanaonyesha wasiwasi mkubwa kuhusu matangazo yanayopita uthibitishaji.

Mzigo wa Uthibitishaji Huhamishwa hadi kwa Wanahisabati

Changamoto ya vitendo sasa ni ya wanahisabati wanaofanya kazi. Uthibitisho Rasmi wa Lean unaweza kuangaliwa kimitambo, na uwepo wao hupunguza hatari ya makosa kwa kiasi kikubwa. Lakini miswada isiyo na urasimishaji, ambayo README yenyewe inatia alama kuwa inaweza kuwa na dosari, inahitaji mapitio ya kitamaduni ya rika, na miswada 722 ni zaidi ya kile ambacho jumuiya inaweza kufyonzwa haraka. Pia kuna swali la kipaumbele na mikopo: wanahisabati ambao walitumia miaka karibu na matatizo haya watataka kujua hasa mfano huo uliulizwa, ulipewa nini, na ikiwa matokeo yoyote ya kibinadamu yalijumuishwa. Uchapishaji wa OpenAI wa muhtasari wa vidokezo na takwimu za kukokotoa umeundwa kujibu baadhi ya maswali hayo mapema.

Toleo hili pia huweka washindani wa kiolezo ambao wanaweza kushinikizwa kufuata. Anthropic, Google DeepMind, na maabara zingine zilizo na miundo ya mipakani inayoweza kutumia hisabati ya kiwango cha utafiti sasa zinakabiliwa na hali halisi, iliyobainishwa na kikundi cha washauri, kwamba matokeo yaliyofichwa kwenye miundo ya wamiliki yanapaswa kutolewa kwa uthibitisho kamili au yasitaniwe kabisa.

Kwa sasa, hazina iko moja kwa moja, juhudi za kurasimisha zinaendelea, na masahihisho yanatolewa hadharani. Iwapo hiki kitakuwa kitabu cha kawaida cha kuchezea cha hisabati inayozalishwa na AI, au mahali pengine pa kutokea katika mzozo unaoongezeka kati ya maabara na jumuiya za utafiti wanazotumia, itategemea jinsi wiki chache zijazo za uchunguzi zitakavyokwenda.

Kaa Mbele ya Mkondo wa AI

Sayansi inayozalishwa na AI inahama kutoka kwa taarifa kwa vyombo vya habari hadi ukaguzi wa rika. Fuata habari muhimu kuhusu AI kwenye aibuzzwire.news ili kuangazia kila toleo kuu la utafiti, uzinduzi wa miundo na mabadiliko ya sera.

Soma habari zaidi za AI →