OpenAI Ngeculake 722 Manuskrip Math Saka Model Frontier sing Ora Diluncurake ing GitHub

OpenAI nerbitake 722 manuskrip matematika sing diprodhuksi dening model perbatasan internal sing durung dirilis, nempatake koleksi lengkap ing gudang GitHub umum miturut lisensi Apache-2.0. Rilis kasebut, sing diumumake ing kiriman riset kanthi irah-irahan "Nuduhake kemajuan AI ing matematika" tanggal 6 Oktober 2026, minangka salah sawijining pembuangan paling gedhe saka asil matematika sing digawe AI nganti saiki, lan teka kanthi pamriksan bukti Lean resmi, ringkesan alasan sing disingkat, lan rincian sing ora biasa babagan ngitung jumlah asil sing dikonsumsi.

Gerakane ndharat ing lapangan sing wis ana ing pinggir. New York Times nglaporake manawa rilis kasebut luwih ngganggu komunitas matematika sing wis pirang-pirang wulan berjuang karo sistem AI sing ngasilake asil riset sing serius, dene Scientific American nggambarake OpenAI minangka "ratusan asil matematika liyane ing lapangan sing wis kaget." Kanggo maca sing nelusuri perkembangan riset AI paling anyar, rilis kasebut minangka uji coba babagan cara laboratorium perbatasan nuduhake ilmu sing digawe mesin tanpa nyebabake perselisihan kredit.

Apa Nang Repositori

Koleksi kasebut manggon ing gudang openai / math ing GitHub. Miturut README, isi kasebut minangka manuskrip matematika lan ndhukung artefak bukti sing diprodhuksi dening model OpenAI internal, dirakit minangka bagean saka evaluasi pangembangan model babagan masalah riset terbuka. Katalog saiki ngemot 722 manuskrip sing disusun dadi 372 kulawarga, ing ngendi kulawarga nglumpukake makalah sing bisa uga kalebu asil utama, argumentasi pendamping, akibat, utawa bukti alternatif, saben diklasifikasikake miturut disiplin matematika.

Direktori pracetak ngemot PDF, file sumber, lan kutipan saben manuskrip lan instruksi mbangun. Perpustakaan Lean nyathet bukti resmi bebarengan karo makalah lan konfigurasi verifikasi sing gegandhengan. Ora saben manuskrip wis resmi: akeh asil nggawa formalisasi ing Lean, basa pamrograman sing digunakake kanggo ngidini komputer mriksa bukti baris demi baris, nanging README ngelingake yen sawetara asil sing ora resmi bisa ngemot masalah. OpenAI ujar manawa bakal ndandani masalah kasebut kanthi cepet, lan komitmen kanggo njaga riwayat rilis umum koleksi, ngrekam koreksi lan revisi minangka versi anyar nalika tetep bisa diakses versi sadurunge. Saben direktori manuskrip uga duwe blok BibTeX kanggo kutipan.

Carane Asil Diprodhuksi

Akèh-akèhé asil teka saka siji prosedur tetep nggunakake model OpenAI internal sing durung dirilis. Sajrone evaluasi, model kasebut ditimbulake kira-kira 4.000 masalah. OpenAI nglaporake manawa asil sing diterbitake rata-rata nggunakake kira-kira telung jam komputasi pamikiran ChatGPT Pro, tingkat transparansi sing isih langka ing industri kasebut. Perusahaan ngandika ditambahi evaluasi iki sawise kinerja ing ana benchmarks matématika kebak, lan sawetara output dibangun ing asil sadurungé diprodhuksi dening model dhewe. Mbutuhake tingkat pinunjul sing cocog lan nglumpukake output mentah menyang kulawarga lan manuskrip ngasilake katalog sing diterbitake.

Rong pangecualian sing dijenengi metu saka prosedur kasebut: kerja nggawe wilayah bebas nol kanggo fungsi Riemann zeta, kanthi nulis kalebu wilayah Re> 11/12 sing diowahi manungsa supaya bisa diwaca, lan bukti saka Konjektur Hodge kanggo varietas CM abelian. Loro-lorone minangka matématika utama sing serius, lan loro-lorone saiki bakal ngadhepi pengawasan komunitas.

Sepuluh ringkesan ringkesan saka alesan model uga diterbitake. Iki kalebu asil kalebu eksponen irasionalitas pi, konjektur Mahler simetris lan umum, isomorfisme faktor klompok bebas, wates kuasipolinomial kanggo progresi aritmetika, konjektur langsung-finiteness Kaplansky ing karakteristik loro, rumus Mezard-Parisi kanggo kaca spin sing diencerke, magnetisasi spontan ing kuantum Heigromanet. sistem relativistik Vlasov-Maxwell.

Grup Penasehat Mbantu Nggawe Rilis

OpenAI ujar manawa konsultasi karo Grup Penasihat independen babagan Matematika lan Kecerdasan Buatan ing Institut Studi Lanjut nalika ngembangake praktik paling apik kanggo nuduhake asil. Klompok kasebut nerbitake rekomendasi rilis tanggung jawab tanggal 29 September 2026, sawise nampa luwih saka 600 balesan saka komunitas matematika. Rekomendasi kasebut blak-blakan: "kita ora nyetujoni praktik iki, lan kita njaluk supaya mandheg nguji masalah matematika sing luwih maju ing model kepemilikan." Klompok kasebut njaluk laboratorium supaya nyetor asil ing repositori ilmiah sing ora ana kontrol lab AI, kanggo nemtokake pengenal citable sing terus-terusan, kanggo ngumumake jeneng model, pituduh sing digunakake, lan ringkesan rantai pertimbangan, lan ora nganggep rilis asil minangka kendaraan pemasaran.

Rilis OpenAI minangka upaya kanggo netepi kerangka kasebut tinimbang mbantah. Apa masyarakat nampa iku pitakonan liyane. Survei klompok penasehat khusus takon babagan skenario ing ngendi laboratorium ngumumake anane akeh asil tanpa menehi katrangan, lan rekomendasi sing muncul nggambarake keprihatinan sing jero babagan pengumuman sing ngluwihi verifikasi.

Beban Verifikasi Ngalih menyang Matématikawan

Tantangan praktis saiki dadi ahli matematika sing kerja. Bukti Lean Formal bisa dipriksa sacara mekanis, lan anane nyuda resiko kesalahan. Nanging manuskrip tanpa formalisasi, sing dianggep README dhewe minangka potensial cacat, mbutuhake peer review tradisional, lan 722 naskah luwih adoh tinimbang sing bisa diserep kanthi cepet dening komunitas. Ana uga pitakonan babagan prioritas lan kredit: matématikawan sing ngentekake pirang-pirang taun ing jejere masalah kasebut bakal pengin ngerti persis apa model sing ditakoni, apa sing diwenehake, lan apa asil manungsa digabung. Publikasi ringkesan pituduh lan statistik komputasi OpenAI dirancang kanggo mangsuli sawetara pitakon kasebut sadurunge.

Rilis uga nyetel saingan cithakan bisa dipencet kanggo tindakake. Anthropic, Google DeepMind, lan laboratorium liyane kanthi model wates sing bisa matématika tingkat riset saiki ngadhepi norma de facto, sing diandharake dening klompok penasihat, sing asil sing didhelikake ing model kepemilikan kudu dirilis kanthi lengkap utawa ora digoda.

Saiki, repositori kasebut urip, upaya formalisasi isih ditindakake, lan koreksi lagi diversi ing umum. Apa iki dadi playbook standar kanggo matématika sing digawe AI, utawa titik flash liyane ing konflik sing saya tambah akeh ing antarane laboratorium lan komunitas riset sing digambar, bakal gumantung kepiye sawetara minggu sabanjure.

Tetep Ahead saka Kurva AI

Ilmu sing digawe AI pindhah saka siaran pers menyang review peer. Tindakake warta AI ing aibuzzwire.news kanggo jangkoan saben rilis riset utama, peluncuran model, lan owah-owahan kebijakan.

Waca liyane warta AI →