Naħdmu mal-komunitajiet akkademiċi biex niżviluppaw l-għarfien xjentifiku
Qed inħabbru tliet skoperti ġodda fil-matematika, fix-xjenza tal-kompjuters u fil-fiżika, dwar l-analiżi armonika, it-teorija tal-kumplessità u t-teorija kwantistika tal-kampi.
Il-proċess tagħna għall-pubblikazzjoni jkompli jevolvi b’reazzjoni għall-kummenti mill-komunitajiet akkademiċi rilevanti. Fil-fehma tagħna, l-aħjar huwa li dawn il-manuskritti jitqiesu bħala forma ta’ data mhux ipproċessata tar-riċerka. Biex nibdlu din id-data mhux ipproċessata tar-riċerka f’fehim xjentifiku, f’din il-pubblikazzjoni qed nesperimentaw b’approċċ ġdid. Ikkuntattjajna esperti esterni u tlabniehom jiggwidaw il-ħidma billi jorganizzaw gruppi biex jifhmu r-riżultati l-ġodda. Huma rrakkomandaw tliet strateġiji differenti għall-pubblikazzjoni:
Għar-riżultat fil-matematika, nippubblikaw il-materjal prodott mill-IA, u nħallu lir-riċerkaturi liberi li jorganizzaw il-ħidma tagħhom stess biex jispjegaw ir-riżultat.
Għar-riżultat fix-xjenza tal-kompjuters, niffurmaw grupp estern ta’ kollaboraturi biex jispjegaw ir-riżultat, filwaqt li nagħmlu l-materjal prodott mill-IA disponibbli għall-pubbliku biex kulħadd ikun jista’ jeżaminah u jibni fuqu.
Għar-riżultat fil-fiżika, niffurmaw grupp estern ta’ kollaboraturi u nħallu f’idejhom id-deċiżjoni dwar il-pubblikazzjoni tal-materjali.
Għadna ma nafux liema minn dawn it-tliet approċċi se jkun l-aktar utli, u nilqgħu kummenti dwar x’jaħdem u x’nistgħu ntejbu.
Il-kollaborazzjonijiet esterni se jsegwu erba’ prinċipji:
Trasparenza. Aħna trasparenti dwar l-eżistenza tal-kollaborazzjonijiet tagħna. Il-parteċipanti mhux se jintalbu jiffirmaw ftehimiet ta’ kunfidenzjalità u se jkunu liberi li jiddiskutu x-xogħol, jaqsmu materjal intermedju u jippubblikaw il-konklużjonijiet tagħhom.
Ebda Mertu Akkademiku. Ma nfittxux mertu akkademiku għall-iskoperti prodotti mill-mudelli interni tagħna. Stedina lil riċerkatur biex jgħin jiggwida kollaborazzjoni lanqas ma timplika li hu jew il-grupp ta’ ħidma tiegħu għamlu l-iskoperta oriġinali.
Rikonoxximent. Dan il-grupp għandu jingħata rikonoxximent għall-fehim li jiżviluppa, għat-testi li jikteb u għall-materjali l-oħra li joħloq. Il-grupp se jgħin ukoll biex jiżgura li x-xogħol jagħti rikonoxximent xieraq lir-riċerkaturi, lit-tekniki u lill-ideat li jibbaża ruħu fuqhom.
Indipendenza. Il-parteċipazzjoni hija volontarja u bla ħlas. Il-membri tal-grupp ta’ ħidma jipparteċipaw b’mod indipendenti, u l-konklużjonijiet tagħhom huma tagħhom stess. Ma jitkellmux f’isem OpenAI, u OpenAI ma titkellimx f’isimhom.
Se ngħaddu lill-gruppi ta’ kollaborazzjoni l-materjali u l-prodotti tax-xogħol relatati ma’ dawn ir-riżultati. Għall-kollaborazzjoni fix-xjenza tal-kompjuters, il-grupp iddeċieda li jagħmel il-prova b’lingwa naturali u l-formalizzazzjoni f’Lean pubbliċi minnufih, u qed nippubblikawhom direttament fir-repożitorju tagħna fuq GitHub. Għall-kollaborazzjoni fil-fiżika, il-grupp iddeċieda li jistenna qabel jippubblika l-materjali prodotti mill-IA u minflok jaħdem fuq il-kitba tar-riżultat hu stess.
Dawn l-approċċi kollha għandhom vantaġġi u żvantaġġi. Minn naħa, il-kollaborazzjonijiet jagħtu lill-esperti l-mezzi biex jiffaċilitaw l-ispjegazzjoni tar-riżultati u jqegħduhom fil-kuntest tal-komunità akkademika usa’. Min-naħa l-oħra, l-għażla ta’ min jiggwida l-ħidma fil-bidu bilfors tinfluwenza min jinvolvi ruħu l-ewwel u toħloq żbilanċ fl-aċċess għall-informazzjoni. Nilqgħu kummenti dwar kif inwessgħu l-parteċipazzjoni u nagħmlu dan il-proċess aktar utli.
Ir-riżultat fil-matematika jikkonċerna l-analiżi armonika. Fl-1991, Sogge ppropona l-konġettura tar-regolarizzazzjoni lokali, li tikkonċerna l-imġiba tal-mewġ hekk kif jiġi ffokat. B’mod partikolari, il-konġettura tgħid li l-aktar iffokar estrem irid ikun ta’ tul qasir. Il-grad ta’ ffokar f’mument tipiku magħżul b'mod każwali huwa dejjem ferm iżgħar minn dak li jista’ jseħħ fl-agħar mument possibbli. Din hija xejra familjari fil-matematika kollha: dak li jista’ jiġri fl-agħar każ huwa aktar estrem minn dak li jiġi osservat meta tittieħed il-medja. Billi dan il-fenomenu konġetturat huwa tant fundamentali, għandu wkoll implikazzjonijiet mifruxa fl-analiżijiet matematiċi kollha. Pereżempju, minnu jsegwu l-konġettura ta’ Kakeya u l-konġettura tar-restrizzjoni ta’ Stein.
Fl-2019, Guth, Wang u Zhang(jinfetaħ f’tieqa ġdida) taw prova tal-konġettura tar-regolarizzazzjoni lokali f’żewġ dimensjonijiet spazjali. Fl-2025, Wang u Zahl(jinfetaħ f’tieqa ġdida) taw prova tal-konġettura ta’ Kakeya fi tliet dimensjonijiet. Il-mudelli tagħna pproduċew prova tal-konġettura tar-regolarizzazzjoni lokali f’kull dimensjoni u għalhekk isolvu wkoll il-konġettura ta’ Kakeya u l-konġettura tar-restrizzjoni ta’ Stein fid-dimensjonijiet kollha. Il-prova l-ġdida hija bbażata fuq ekwazzjoni differenzjali parzjali awżiljarja ġdida.
Ksibna l-materjal prodott mill-IA tagħna fit-18 ta’ Ottubru 2026, u dan ġie formalizzat f’Lean l-għada. Imbagħad ikkuntattjajna espert biex niddiskutu l-formazzjoni ta’ kollaborazzjoni madwar dan ir-riżultat. Fuq ir-rakkomandazzjoni tal-espert, iddeċidejna li nagħmlu l-materjal prodott mill-IA disponibbli għall-pubbliku, billi nsegwu l-istess strateġija għal dan ir-riżultat bħal dik tal-pubblikazzjoni tagħna tas-6 ta’ Ottubru 2026. Fir-repożitorju pubbliku tagħna fuq GitHub ippubblikajna kemm test b’lingwa naturali prodott mill-IA(jinfetaħ f’tieqa ġdida) permezz tal-mudelli tagħna kif ukoll prova f’Lean(jinfetaħ f’tieqa ġdida).
Il-kollaborazzjoni fix-xjenza tal-kompjuter se taħdem biex tifhem u tispjega riżultat dwar l-Ipoteżi taż-Żmien Esponenzjali (ETH), konġettura li ilha teżisti dwar il-kumplessità komputazzjonali tas-sodisfaċibbiltà tal-formuli Booleani, problema marbuta mill-qrib mal-problema P kontra NP. Kien hemm twemmin mifrux li l-ETH hija vera, u ntużat f’mijiet ta’ artikli biex jiġu derivati riżultati kundizzjonali dwar id-diffikultà komputazzjonali f’firxa wiesgħa ta’ oqsma, fosthom it-teorija tal-grafs, il-bijoloġija komputazzjonali, il-bażijiet tad-data, il-ġeometrija komputazzjonali u oħrajn. B’sorpriża, is-sistema tagħna reċentement ippruvat li l-ETH hija falza, riżultat li mbagħad ġie vverifikat f’Lean. Ir-refutazzjoni tal-ETH terġa’ tiftaħ mistoqsijiet dwar kemm dawn il-kompiti jistgħu jitwettqu aktar malajr, u tista’ tgħin tiggwida t-tfittxija għal algoritmi aħjar. Biex jinstabu algoritmi bħal dawn u l-avvanzi teoretiċi jinbidlu f’titjib prattiku, se tkun meħtieġa ħafna aktar riċerka.
Dan ix-xogħol se jiġi vverifikat u ggwidat minn grupp immexxi minn Russell Impagliazzo (UC San Diego), Ramamohan Paturi (UC San Diego) u Ryan Williams (MIT). It-tlieta huma esperti fit-tfassil tal-algoritmi u fit-teorija tal-kumplessità.
Impagliazzo u Paturi, flimkien ma' Francis Zane, huma l-proponenti oriġinali tal-Ipoteżi tal-Ħin Esponenzjali, u kitbu għadd(jinfetaħ f’tieqa ġdida) ta' kotba influwenti.(jinfetaħ f’tieqa ġdida) (jinfetaħ f’tieqa ġdida)dokumenti(jinfetaħ f’tieqa ġdida) dwar is- suġġett(jinfetaħ f’tieqa ġdida) matul l-aħħar 30 sena.
Williams irrifjuta b'mod qawwi(jinfetaħ f’tieqa ġdida) (jinfetaħ f’tieqa ġdida)verżjonijiet(jinfetaħ f’tieqa ġdida) tal-ETH, użaw ETH għall -ebusija(jinfetaħ f’tieqa ġdida) (jinfetaħ f’tieqa ġdida)riżultati(jinfetaħ f’tieqa ġdida), u algoritmi(jinfetaħ f’tieqa ġdida) konnessi u limiti aktar baxxi(jinfetaħ f’tieqa ġdida).
Aċċettajna t-talbiet tal-grupp biex id-data kollha mhux ipproċessata tar-riżultati ssir pubblika ħalli tiffaċilita verifika indipendenti mill-komunità, u biex OpenAI timpenja ruħha li tiffinanzja konferenza ħalli jinftiehmu l-implikazzjonijiet ta’ dan ix-xogħol għall-qasam kollu. Il-grupp jistieden lill-komunità tgħin torganizza eżami miftuħ tal-asserzjoni dwar l-ETH u tiddiskuti l-mistoqsijiet usa’ li l-iskoperti rivoluzzjonarji ġġenerati mill-IA jqajmu dwar il-verifika, l-aċċess, il-mertu u l-futur tar-riċerka.
L-AI tagħna sabet il-kontradizzjoni tal-lingwa naturali tagħha għall-ETH fis-16 ta' Ottubru 2026 u sussegwentement ifformalizzajna r-riżultat f'Lean fis-17 ta' Ottubru 2026, li wassalna biex niżviluppaw il-kollaborazzjoni deskritta hawn. Għal dan il-għan, ħriġna kemm kitba tal-output tal-lingwa naturali tal-AI(jinfetaħ f’tieqa ġdida) prodotta mill-mudelli tagħna kif ukoll prova Lean fir-(jinfetaħ f’tieqa ġdida) repożitorju pubbliku tagħna ta' GitHub.
Il-kumplessità komputazzjonali għandha ħafna mistoqsijiet miftuħa u konġetturi li x-xjenzati s’issa ma rnexxilhomx jippruvaw jew jirrifjutaw, minkejja l-aqwa sforzi tagħhom. Nittamaw li l-bnedmin, bl-għajnuna tal-IA, jistgħu jiksbu għarfien ġdid f’dan il-qasam u jitfgħu dawl fuq il-kapaċitajiet u l-limiti inerenti tal-komputazzjoni effiċjenti.
Il-kollaborazzjoni fil-fiżika se taħdem biex tifhem u tispjega riżultat li jipprovdi prova matematikament rigoruża tal-eżistenza ta’ ċerti teoriji kwantistiċi tal-kampijiet b'interazzjonijiet, li fihom kampijiet ta’ gauge u fermjoni f’erba’ dimensjonijiet. Dawn jinkludu l-Kromodinamika Kwantistika (QCD) u estensjoni unifikata li tikkompleta l-Mudell Standard tal-fiżika tal-partiċelli. Ix-xogħol tagħna jibni fuq l-approċċ ta’ Balaban(jinfetaħ f’tieqa ġdida) fit-teorija kwantistika kostruttiva tal-kampijiet. Bħala sottoproblema, dan ix-xogħol jinkludi wkoll prova tal-eżistenza tat-teorija pura ta’ Yang–Mills, li hija parti mill-problema tat-Teorija Kwantistika ta’ Yang–Mills tal-Premju tal-Millennju tal-Clay Mathematics Institute(jinfetaħ f’tieqa ġdida).
Il-Mudell Standard jiddeskrivi l-interazzjoni tal-partiċelli subatomiċi fundamentali għal tlieta mill-erba’ forzi fundamentali, bl-eċċezzjoni tal-gravità. Il-prova tal-eżistenza tirrigwarda l-aktar teorija sempliċi ta’ unifikazzjoni kbira li tinkludi l-kampijiet ta’ gauge u l-fermjoni tal-Mudell Standard (billi l-Mudell Standard innifsu ma jistax jiġi estrapolat għal distanzi arbitrarjament qosra). Il-QCD tiddeskrivi l-interazzjoni ta’ partiċelli bħall-quarks u l-gluwoni permezz tal-forza qawwija. It-teorija pura ta’ Yang–Mills tiddeskrivi biss l-interazzjonijiet tal-gluwoni, li jġorru l-forza, bejniethom, u mhux il-materja bħall-quarks.
David Gross se jmexxi grupp li jinkludi lil Michael Douglas, Arthur Jaffe, Igor Klebanov u Nikita Nekrasov, li se jiggwida dan ix-xogħol.
Ix-xogħol ta’ Gross fl-1973 dwar il-libertà asintotika fit-teoriji ta’ Yang-Mills għen biex il-QCD tiġi stabbilita bħala t-teorija tal-interazzjonijiet qawwija u wassal biex jaqsam ma’ oħrajn il-Premju Nobel għall-Fiżika tal-2004(jinfetaħ f’tieqa ġdida). Il-libertà asintotika hija wkoll il-mekkaniżmu ewlieni li fuqu tistrieħ l-eżistenza ta’ dawn it-teoriji bħala oġġetti matematikament rigorużi.
Jaffe fformula ma’ Witten il-problema tat-Teorija Kwantistika ta’ Yang-Mills tal-Premju tal-Millenju(jinfetaħ f’tieqa ġdida). Huwa ħareġ ukoll bl-idea tal-problemi tal-Premju tal-Millenju u kien kofundatur tal-Istitut tal-Matematika Clay.
Douglas ilu jsegwi u jiggwida l-ħidma fuq din il-problema għal dawn l-aħħar 20 sena: irrapporta dwar l-istat tagħha fl-2004(jinfetaħ f’tieqa ġdida) u mbagħad ipprovda aġġornament komprensiv dwar il-progress(jinfetaħ f’tieqa ġdida) fil-bidu ta’ din is-sena.
Klebanov kien fost il-pijunieri fl-applikazzjoni tad-duwalità bejn il-kampi gauge u l-kordi għall-konfinament, proprjetà importanti tal-QCD, u issa jmexxi l-Kollaborazzjoni Simons dwar il-Konfinament u l-Kordi tal-QCD(jinfetaħ f’tieqa ġdida),
Nekrasov għamel xogħol innovattiv ferm fuq metodi eżatti għal ġeneralizzazzjonijiet tat-teorija ta’ Yang–Mills u rebaħ il-Premju Dannie Heineman għall-Fiżika Matematika fl-2023.
Il-grupp jitlob li kull komunikazzjoni ma’ kwalunkwe membru tiegħu dwar din il-ħidma tintbagħat fl-indirizz elettroniku li ġej: YANGMILLS4D@gmail.com.
Il-mudelli tagħna pproduċew prova b’lingwa naturali tal-eżistenza tat-teorija ta’ Yang–Mills fid-9 ta’ Settembru 2026, u wara pproduċew prova għall-QCD fit-18 ta’ Settembru 2026. Minħabba t-tul u l-kumplessità tax-xogħol, ipposponejna l-pubblikazzjoni sakemm tlestiet il-formalizzazzjoni f’Lean. Lestejna l-formalizzazzjoni tagħna tal-eżistenza tat-teorija ta’ Yang–Mills fis-16 ta’ Ottubru 2026, u dan wassalna biex niżviluppaw il-kollaborazzjoni deskritta hawn.
Nittamaw li dawn ir-riżultati jimmarkaw il-bidu ta’ tranżizzjoni li fiha t-teorija kwantistika tal-kampi, l-aktar qafas importanti fil-fiżika teoretika moderna, issir qasam matematikament rigoruż. Aħna ħerqanin li nipprovdu riżorsi biex nappoġġaw il-progress immexxi mill-akkademiċi lejn dak l-għan.
Aħna impenjati li nappoġġaw il-ħidma usa’ biex dawn ir-riżultati jinftiehmu u jinbnew fuqhom żviluppi ġodda. Dawn il-kollaborazzjonijiet jikkomplementaw il-kontribuzzjoni tagħna ta’ $5 miljun(jinfetaħ f’tieqa ġdida), imħabbra reċentement, għal inizjattiva ġdida tal-Fondazzjoni Simons. Dan il-finanzjament, amministrat u allokat mill-Fondazzjoni Simons, se jappoġġa workshops, konferenzi u programmi speċjali biex jgħin lir-riċerkaturi jifhmu r-riżultati prodotti mill-IA u jibnu fuqhom. Aħna impenjati li niżguraw finanzjament għar-riċerkaturi biex jeżaminaw u jispjegaw b’mod indipendenti r-riżultati ta’ hawn fuq, u jibnu fuqhom.
Inkomplu nilqgħu kummenti dwar l-aħjar mod kif inħabbru r-riżultati u naħdmu max-xjenzati biex naċċelleraw l-iskoperti.
