Kita ngumumake telung panemuan anyar ing matematika, ilmu komputer, lan fisika babagan analisis harmonik, teori kompleksitas, lan teori medan kuantum.
Proses publikasi kita terus ngrembaka kanggo nanggapi pamrayoga saka komunitas akademik sing gegayutan. Miturut kita, naskah-naskah iki luwih trep dianggep minangka salah siji wujud data panliten mentah. Kanggo ngowahi data panliten mentah iki dadi pangerten ilmiah, ing publikasi iki kita nyoba pendekatan anyar. Kita ngubungi para ahli saka njaba lan njaluk supaya dheweke dadi pamandu, kanthi mbentuk kelompok kanggo mangerteni asil anyar iki. Dheweke menehi saran telung strategi publikasi sing beda:
Kanggo asil matematika, mbabar output AI lan menehi kabebasan marang para panliti kanggo ngatur upayane dhewe njlentrehake asil kasebut.
Kanggo asil ilmu komputer, mbentuk kelompok kolaborator saka njaba kanggo njlentrehake asile, lan mbabar output AI marang umum supaya sapa wae bisa nliti lan ngembangake.
Kanggo asil fisika, mbentuk kelompok kolaborator saka njaba lan masrahake keputusan publikasi materi marang kelompok kasebut.
Kita durung ngerti endi saka telung pendekatan iki sing bakal paling migunani. Kita nampa pamrayoga babagan apa sing wis lumaku kanthi apik lan apa sing bisa kita dandani.
Kolaborasi karo pihak njaba iki bakal manut patang prinsip:
Keterbukaan. Kita blaka babagan anane kolaborasi iki. Peserta ora bakal dijaluk nandhatangani perjanjian njaga rahasia lan bebas ngrembug karya iki, nuduhake asil sauntara, lan nerbitake dudutane.
Ora Ngupaya Pangakuan Akademik. Kita ora ngupaya pangakuan akademik kanggo panemuan sing diasilake model internal kita. Ngajak panliti kanggo mbantu nuntun kolaborasi uga ora ateges dheweke utawa kelompok kerjane sing nggawe panemuan asli kasebut.
Pangakuan. Kelompok iki kudu oleh pangakuan kanggo pangerten sing dikembangake, tulisan sing disusun, lan materi liyane sing digawe. Kelompok iki uga bakal mbantu mesthekake supaya karya kasebut menehi pangakuan sing trep marang panliti, teknik, lan gagasan sing dadi dhasare.
Kamandhiren. Partisipasi iki sukarela lan tanpa bayaran. Anggota kelompok kerja melu kanthi mandhiri, lan dudutane iku duweke dhewe. Dheweke ora makili OpenAI, lan OpenAI ora makili dheweke.
Kita bakal masrahake materi lan artefak sing gegayutan karo asil iki marang kelompok kolaborasi. Kanggo kolaborasi ilmu komputer, kelompok kasebut mutusake supaya bukti nganggo basa alami lan formalisasi Lean langsung dibabar marang umum, lan kita nerbitake langsung ing gudang kode GitHub kita. Kanggo kolaborasi fisika, kelompok kasebut mutusake nundha publikasi artefak sing diasilake AI lan luwih dhisik nyusun tulisane dhewe.
Kabeh pendekatan iki duwe kaluwihan lan kekurangane dhewe. Ing sisih siji, kolaborasi iki menehi kalodhangan marang para ahli kanggo nyengkuyung panjlentrehan asil lan nempatake asil kasebut ing konteks komunitas akademik sing luwih jembar. Ing sisih liyane, pilihan pamandu wiwitan mesthi mengaruhi sapa sing melu luwih dhisik lan ndadekake akses informasi ora padha. Kita nampa pamrayoga babagan carane nggedhekake partisipasi lan ndadekake proses iki luwih migunani.
Asil ing matematika iki gegayutan karo analisis harmonik. Ing taun 1991, Sogge ngajokake konjektur pengalusan lokal, sing ngrembug prilaku gelombang nalika saya fokus. Kanthi luwih mligi, konjektur kasebut nyatakake yen pemfokusan sing paling ekstrem mesthi mung lumaku sedhela. Ing wektu sing dipilih kanthi acak, tingkat pemfokusan lumrahe mesthi adoh luwih cilik tinimbang sing bisa kedadeyan ing wektu kanthi kahanan paling ala. Iki pola sing umum ing matematika: apa sing bisa kedadeyan ing kahanan paling ala luwih ekstrem tinimbang sing katon sawise dirata-rata. Amarga fenomena sing dikonjekturake iki dhasar banget, implikasine uga jembar ing maneka bagean analisis matematis. Contone, saka konjektur iki bisa didudut konjektur Kakeya lan konjektur restriksi Stein.
Ing taun 2019, Guth, Wang, lan Zhang(mbukak ing jendhela anyar) mbuktekake konjektur pengalusan lokal ing rong dimensi ruang. Ing taun 2025, Wang lan Zahl(mbukak ing jendhela anyar) mbuktekake konjektur Kakeya ing telung dimensi. Model kita ngasilake bukti konjektur pengalusan lokal ing saben dimensi, mula uga ngrampungake konjektur Kakeya lan konjektur restriksi Stein ing kabeh dimensi. Bukti anyar iki adhedhasar persamaan diferensial parsial pambiyantu sing anyar.
Kita entuk output AI tanggal 18 Oktober 2026, sing diformalisasi ing Lean sedina sabanjure. Banjur kita ngubungi ahli kanggo ngrembug pambentukan kolaborasi babagan asil iki. Manut sarane, kita mutusake mbabar output AI marang umum, kanthi strategi sing padha karo publikasi kita tanggal 6 Oktober 2026. Kita wis nerbitake tulisan output AI nganggo basa alami(mbukak ing jendhela anyar) sing diasilake model kita lan bukti Lean(mbukak ing jendhela anyar) ing gudang kode GitHub kita sing bisa diakses umum.
Kolaborasi èlmu komputer iki bakal nyinaoni lan njlèntrèhaké asil babagan Hipotésis Wektu Èksponènsial (ETH), konjèktur sing wis suwé ana babagan komplèksitas komputasi kanggo nemtokaké apa formula Boolean bisa dicukupi. Masalah iki raket banget gegayutané karo masalah P vs. NP. ETH wis dianggep bener déning akèh wong, lan wis digunakaké ing atusan makalah kanggo nurunaké asil kang asipat kondisional babagan kangèlan komputasi ing manéka bidhang, kalebu téori graf, biologi komputasional, basis data, géomètri komputasional, lan liya-liyané. Sing nggumunaké, durung suwé iki sistem kita mbuktèkaké yèn ETH iku kliru, lan asil kasebut banjur diverifikasi ing Lean. Bukti sing mbantah ETH iki mbukak manèh pitakonan babagan sepira luwih cepeté tugas-tugas iki bisa dirampungaké, lan bisa mbantu nuntun upaya golèk algoritma sing luwih becik. Nemokaké algoritma kaya mangkono, lan ngowahi kemajuan téorètis dadi dandan praktis, bakal mbutuhaké panlitèn lanjutan sing gedhé.
Karya iki bakal diverifikasi lan dikawal déning klompok sing dipandhegani Russell Impagliazzo (UC San Diego), Ramamohan Paturi (UC San Diego), lan Ryan Williams (MIT). Telu-teluné ahli ing rancangan algoritma lan téori komplèksitas.
Impagliazzo lan Paturi, bebarengan karo Francis Zane, minangka pangusul asli Hipotesis Wektu Eksponensial, lan wis nulis sawetara(mbukak ing jendhela anyar) teori sing berpengaruh.(mbukak ing jendhela anyar) (mbukak ing jendhela anyar)makalah(mbukak ing jendhela anyar) babagan topik(mbukak ing jendhela anyar) kasebut sajrone 30 taun kepungkur.
Williams wis mbantah kanthi kuwat(mbukak ing jendhela anyar) (mbukak ing jendhela anyar)versi(mbukak ing jendhela anyar) ETH, nggunakake ETH kanggo atose(mbukak ing jendhela anyar) (mbukak ing jendhela anyar)asil(mbukak ing jendhela anyar), lan algoritma(mbukak ing jendhela anyar) sing disambungake lan wates ngisor(mbukak ing jendhela anyar).
Kita wis nyarujuki panjaluké klompok kasebut supaya kabèh data mentah saka asil iki dibukak marang umum kanggo nggampangaké verifikasi mandhiri déning komunitas, lan supaya OpenAI setya mbiayai konférènsi kanggo mangertèni implikasi karya iki tumrap sakabèhé bidhang kasebut. Klompok iki ngajak komunitas mbantu ngatur panlitèn kabukak marang pratelan babagan ETH lan ngrembug pitakonan sing luwih amba saka terobosan gawéan AI ngenani verifikasi, akses, pangakon, lan mangsa ngarepé panlitèn.
AI kita nemokake basa alami sing ora bisa digunakake kanggo ETH tanggal 16 Oktober 2026 lan banjur kita ngresmikake asil kasebut ing Lean tanggal 17 Oktober 2026, sing ndadékaké kita ngembangake kolaborasi sing diterangake ing kene. Kanggo tujuan kasebut, kita wis ngrilis tulisan output basa alami AI(mbukak ing jendhela anyar) sing diprodhuksi dening model kita lan bukti Lean(mbukak ing jendhela anyar) ing gudang kode GitHub umum kita.
Ing komplèksitas komputasi isih akèh pitakonan lan konjèktur sing durung rampung. Nganti saiki, para ilmuwan durung bisa nemokaké bukti utawa bantahané senajan wis ngupaya sabisa-bisané. Kita ngarep-arep manungsa kanthi pitulungan AI bisa ngasilaké pangertèn anyar ing bidhang iki, lan njlèntrèhaké kabisan sarta wates dhasar komputasi sing èfisièn.
Kolaborasi fisika iki bakal nyinaoni lan njlèntrèhaké asil sing mènèhi bukti kanthi rigor matématis babagan anané téori médhan kuantum interaktif tartamtu sing ngemot médhan gauge lan fermion ing patang dimènsi, kalebu Kromodinamika Kuantum (QCD) lan téori manunggal sing nglengkapi Model Standar fisika partikel. Karya kita ngembangaké pendekatan Balaban(mbukak ing jendhela anyar) ing téori médhan kuantum konstruktif. Minangka submasalah, karya iki uga nyakup bukti anané téori Yang–Mills murni, sing dadi pérangan saka masalah Bebungah Milénium Clay Mathematics Institute babagan Téori Yang–Mills Kuantum(mbukak ing jendhela anyar).
Model Standar njlèntrèhaké interaksi partikel subatom dhasar kanggo telu saka patang gaya dhasar, kejaba gravitasi. Bukti anané téori iki gegayutan karo téori panunggalan agung sing paling prasaja, sing nyakup médhan gauge lan fermion ing Model Standar (amarga Model Standar dhéwé ora bisa diekstrapolasi menyang jarak sing saya cendhak tanpa wates). QCD njlèntrèhaké interaksi partikel kayata kuark lan gluon lumantar gaya kuwat. Téori Yang–Mills murni mung njlèntrèhaké interaksi antarané gluon, yaiku partikel pambawa gaya, dudu matèri kayata kuark.
David Gross bakal mimpin klompok sing anggotané kalebu Michael Douglas, Arthur Jaffe, Igor Klebanov, lan Nikita Nekrasov kanggo ngawal karya iki.
Karya Gross ing taun 1973 babagan kabebasan asimtotik ing teori Yang-Mills mbantu netepake QCD minangka teori interaksi kuwat lan ndadekake dheweke salah siji panampa Bebungah Nobel Fisika 2004(mbukak ing jendhela anyar). Kabebasan asimtotik uga dadi mekanisme utama sing ndhasari anane teori-teori iki minangka objek sing kukuh sacara matematis.
Jaffe bebarengan karo Witten ngrumusake masalah Bebungah Milenium Teori Yang-Mills Kuantum(mbukak ing jendhela anyar). Dheweke uga nggagas masalah-masalah Bebungah Milenium lan melu ngedegake Clay Mathematics Institute.
Douglas wis ngawasi pangembangan masalah iki sajrone 20 taun pungkasan, kanthi nglaporake statuse ing taun 2004(mbukak ing jendhela anyar) banjur menehi laporan perkembangan sing jangkep(mbukak ing jendhela anyar) ing wiwitan taun iki.
Klebanov melu ngrintis panganggone dualitas gauge–string kanggo konfinemen, salah siji sipat penting QCD, lan saiki mimpin Kolaborasi Simons babagan Konfinemen lan String QCD(mbukak ing jendhela anyar),
Nekrasov wis ngasilake karya terobosan babagan metode eksak kanggo generalisasi teori Yang–Mills lan nampa Bebungah Dannie Heineman kanggo Fisika Matematis ing taun 2023.
Kelompok iki nyuwun supaya kabeh komunikasi karo sapa wae anggotane babagan upaya iki diarahake menyang akun email iki: YANGMILLS4D@gmail.com.
Model kita ngasilake bukti anane Yang–Mills nganggo basa alami tanggal 9 September 2026, banjur ngasilake bukti kanggo QCD tanggal 18 September 2026. Amarga karya iki dawa lan rumit, kita nundha publikasi nganti formalisasi ing Lean rampung. Kita ngrampungake formalisasi anane Yang–Mills tanggal 16 Oktober 2026, sing banjur ndadekake kita mbangun kolaborasi sing diandharake ing kene.
Kita ngarep-arep asil iki dadi wiwitan owah-owahan tumuju teori medan kuantum—kerangka paling penting ing fisika teoretis modern—minangka bidang sing kukuh sacara matematis. Kita antusias nyedhiyakake sumber daya kanggo ndhukung kemajuan sing dipimpin akademisi tumuju ancas kasebut.
Kita duwe komitmen kanggo ndhukung upaya sing luwih jembar kanggo mangerteni lan ngembangake asil iki. Kolaborasi iki nglengkapi sumbangan $5 yuta(mbukak ing jendhela anyar) kita kanggo inisiatif anyar Simons Foundation sing lagi wae kita umumake. Dana sing dikelola lan disalurake dening Simons Foundation kasebut bakal ndhukung lokakarya, konferensi, lan program khusus kanggo mbantu panliti mangerteni lan ngembangake asil sing diasilake AI. Kita duwe komitmen kanggo njamin anane dana kanggo panliti supaya bisa nliti, njlentrehake, lan ngembangake asil ing ndhuwur kanthi mandhiri.
Kita terus nampa pamrayoga babagan cara paling apik kanggo mbabar asil lan nyambut gawe bareng ilmuwan supaya panemuan bisa luwih cepet.
